0.30
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/237932-1168352273/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.58 nbVariables=2304 nbDomainTypes=1 minDomainSize=48 maxDomainSize=48
0.59 => wckTime=0.274 cpuTime=0.19 mem=13M723
0.59
0.59 predicates being loaded...
0.59
0.59 constraints being loaded...
6.45 nbConstraints=54191 nbConvertedConstraints=54191 nbConvertConstraintsChecks=9216 nbExtensionStructures=4
6.45 nbSharedExtensionStructures=54187 nbConflictsStructures=4 nbSharedConflictsStructures=54187
6.45 nbSharedBinaryRepresentations=287 maxDegree=48 maxArity=2
6.45 => wckTime=6.143 cpuTime=5.3 mem=60M668
6.75
6.75 solver IterativeSystematicSolver being built...
7.06 => wckTime=6.748 cpuTime=5.53 mem=71M814
35.49
35.49 preprocessing
35.49 nbConstraintChecks=2169597 nbPropagations=66644 nbRevisions=69207 nbUselessRevisions=6316 nbSingletonTests=2489
35.49 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
35.49 => wckTime=28.416 cpuTime=28.22 mem=71M814
36.23
36.23 search
36.23 run=0 nbConstraintChecks=222043 nbPropagations=72448 nbRevisions=75044 nbUselessRevisions=6435
36.23 nbAssignments=156 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=175 nbRestartNogoods=0 mapSize=10
36.23 nbInferences=0 nbTooLargeKeys=0
36.23 => wckTime=29.16 cpuTime=28.94 mem=73M925
36.61
36.61 search
36.61 run=1 nbConstraintChecks=438128 nbPropagations=150658 nbRevisions=155877 nbUselessRevisions=12967
36.61 nbAssignments=321 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=366 nbRestartNogoods=3 mapSize=24
36.61 nbInferences=0 nbTooLargeKeys=0
36.61 => wckTime=29.547 cpuTime=29.32 mem=75M971
37.01
37.01 search
37.01 run=2 nbConstraintChecks=654546 nbPropagations=234692 nbRevisions=242571 nbUselessRevisions=19602
37.01 nbAssignments=498 nbFailedAssignments=41 nbBacktracks=48 nbVisitedNodes=581 nbRestartNogoods=5 mapSize=45
37.01 nbInferences=0 nbTooLargeKeys=0
37.01 => wckTime=29.941 cpuTime=29.71 mem=78M17
37.43
37.43 search
37.43 run=3 nbConstraintChecks=871196 nbPropagations=324642 nbRevisions=335218 nbUselessRevisions=26342
37.43 nbAssignments=695 nbFailedAssignments=68 nbBacktracks=81 nbVisitedNodes=833 nbRestartNogoods=9 mapSize=78
37.43 nbInferences=1 nbTooLargeKeys=0
37.43 => wckTime=30.363 cpuTime=30.13 mem=80M62
37.89
37.89 search
37.89 run=4 nbConstraintChecks=1088339 nbPropagations=420643 nbRevisions=433946 nbUselessRevisions=33186
37.89 nbAssignments=922 nbFailedAssignments=105 nbBacktracks=132 nbVisitedNodes=1139 nbRestartNogoods=13 mapSize=129
37.89 nbInferences=6 nbTooLargeKeys=0
37.89 => wckTime=30.822 cpuTime=30.59 mem=83M131
38.42
38.42 search
38.42 run=5 nbConstraintChecks=1306253 nbPropagations=522924 nbRevisions=538962 nbUselessRevisions=40136
38.42 nbAssignments=1197 nbFailedAssignments=154 nbBacktracks=207 nbVisitedNodes=1529 nbRestartNogoods=17
38.42 mapSize=204 nbInferences=23 nbTooLargeKeys=0
38.42 => wckTime=31.35 cpuTime=31.11 mem=86M199
39.05
39.05 search
39.05 run=6 nbConstraintChecks=1525121 nbPropagations=631806 nbRevisions=650579 nbUselessRevisions=47195
39.05 nbAssignments=1543 nbFailedAssignments=229 nbBacktracks=321 nbVisitedNodes=2047 nbRestartNogoods=19
39.05 mapSize=318 nbInferences=45 nbTooLargeKeys=0
39.05 => wckTime=31.978 cpuTime=31.72 mem=89M443
39.80
39.80 search
39.80 run=7 nbConstraintChecks=1745467 nbPropagations=747790 nbRevisions=769259 nbUselessRevisions=54365
39.80 nbAssignments=1998 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=2758 nbRestartNogoods=25
39.80 mapSize=488 nbInferences=87 nbTooLargeKeys=0
39.80 => wckTime=32.734 cpuTime=32.47 mem=94M557
40.79
40.79 search
40.79 run=8 nbConstraintChecks=1967844 nbPropagations=871657 nbRevisions=895704 nbUselessRevisions=61648
40.79 nbAssignments=2623 nbFailedAssignments=487 nbBacktracks=747 nbVisitedNodes=3768 nbRestartNogoods=33
40.79 mapSize=744 nbInferences=170 nbTooLargeKeys=0
40.79 => wckTime=33.727 cpuTime=33.43 mem=67M425
42.12
42.12 search
42.12 run=9 nbConstraintChecks=2193839 nbPropagations=1004691 nbRevisions=1031054 nbUselessRevisions=69047
42.12 nbAssignments=3517 nbFailedAssignments=705 nbBacktracks=1131 nbVisitedNodes=5254 nbRestartNogoods=40
42.12 mapSize=1128 nbInferences=326 nbTooLargeKeys=0
42.12 => wckTime=35.048 cpuTime=34.74 mem=78M597
44.01
44.01 search
44.01 run=10 nbConstraintChecks=2425075 nbPropagations=1148892 nbRevisions=1177024 nbUselessRevisions=76564
44.01 nbAssignments=4838 nbFailedAssignments=1015 nbBacktracks=1708 nbVisitedNodes=7496 nbRestartNogoods=45
44.01 mapSize=1705 nbInferences=627 nbTooLargeKeys=0
44.01 => wckTime=36.94 cpuTime=36.62 mem=94M848
46.93
46.93 search
46.93 run=11 nbConstraintChecks=2666430 nbPropagations=1307796 nbRevisions=1336713 nbUselessRevisions=84324
46.93 nbAssignments=6874 nbFailedAssignments=1432 nbBacktracks=2572 nbVisitedNodes=10986 nbRestartNogoods=48
46.93 mapSize=2569 nbInferences=1247 nbTooLargeKeys=0
46.93 => wckTime=39.867 cpuTime=39.47 mem=103M273
52.04
52.04 search
52.05 run=12 nbConstraintChecks=3356585 nbPropagations=1499224 nbRevisions=1526585 nbUselessRevisions=92530
52.05 nbAssignments=10427 nbFailedAssignments=1975 nbBacktracks=3869 nbVisitedNodes=16667 nbRestartNogoods=64
52.05 mapSize=3866 nbInferences=2559 nbTooLargeKeys=0
52.05 => wckTime=44.978 cpuTime=44.5 mem=125M622
59.50
59.50 search
59.50 run=13 nbConstraintChecks=3643470 nbPropagations=1720836 nbRevisions=1742536 nbUselessRevisions=101009
59.50 nbAssignments=15466 nbFailedAssignments=2739 nbBacktracks=5815 nbVisitedNodes=25429 nbRestartNogoods=66
59.50 mapSize=5812 nbInferences=4754 nbTooLargeKeys=0
59.50 => wckTime=52.437 cpuTime=51.88 mem=173M396
72.42
72.42 search
72.42 run=14 nbConstraintChecks=4215042 nbPropagations=1998392 nbRevisions=2005855 nbUselessRevisions=110041
72.42 nbAssignments=24101 nbFailedAssignments=3659 nbBacktracks=8735 nbVisitedNodes=40295 nbRestartNogoods=75
72.42 mapSize=8732 nbInferences=9280 nbTooLargeKeys=0
72.42 => wckTime=65.35 cpuTime=64.59 mem=218M348
92.43
92.43 search
92.43 run=15 nbConstraintChecks=4662282 nbPropagations=2352783 nbRevisions=2331948 nbUselessRevisions=119859
92.43 nbAssignments=37305 nbFailedAssignments=4919 nbBacktracks=13113 nbVisitedNodes=63451 nbRestartNogoods=80
92.43 mapSize=13110 nbInferences=16712 nbTooLargeKeys=0
92.43 => wckTime=85.363 cpuTime=84.35 mem=299M898
107.67
107.67 search
107.67 run=16 nbConstraintChecks=6423876 nbPropagations=2828124 nbRevisions=2769403 nbUselessRevisions=133633
107.67 nbAssignments=54142 nbFailedAssignments=7912 nbBacktracks=19681 nbVisitedNodes=92711 nbRestartNogoods=98
107.67 mapSize=19505 nbInferences=23547 nbTooLargeKeys=0
107.67 => wckTime=100.603 cpuTime=99.46 mem=327M373
130.02
130.02 search
130.02 run=17 nbConstraintChecks=6998238 nbPropagations=3409529 nbRevisions=3301371 nbUselessRevisions=147724
130.02 nbAssignments=75186 nbFailedAssignments=13084 nbBacktracks=29534 nbVisitedNodes=129892 nbRestartNogoods=106
130.02 mapSize=29317 nbInferences=29427 nbTooLargeKeys=0
130.02 => wckTime=122.952 cpuTime=121.48 mem=429M113
171.58
171.58 INFO : Stopping hyperNogood (mapSize=40784, nbTooLargekeys=0, mem=600M240)
175.24
175.24 search
175.24 run=18 nbConstraintChecks=8112533 nbPropagations=4194187 nbRevisions=4007819 nbUselessRevisions=163601
175.24 nbAssignments=112106 nbFailedAssignments=19639 nbBacktracks=44312 nbVisitedNodes=195222 nbRestartNogoods=114
175.24 => wckTime=168.17 cpuTime=166.06 mem=600M240
198.49
198.49 search
198.49 run=19 nbConstraintChecks=9246878 nbPropagations=5162031 nbRevisions=4898827 nbUselessRevisions=180829
198.49 nbAssignments=149578 nbFailedAssignments=34762 nbBacktracks=66482 nbVisitedNodes=262939 nbRestartNogoods=130
198.49 => wckTime=191.423 cpuTime=189.2 mem=600M240
234.44
234.44 search
234.44 run=20 nbConstraintChecks=10451164 nbPropagations=6394741 nbRevisions=6055478 nbUselessRevisions=198857
234.44 nbAssignments=205904 nbFailedAssignments=57549 nbBacktracks=99735 nbVisitedNodes=364731 nbRestartNogoods=145
234.44 => wckTime=227.375 cpuTime=224.95 mem=600M240
288.52
288.52 search
288.52 run=21 nbConstraintChecks=11978749 nbPropagations=8018383 nbRevisions=7603850 nbUselessRevisions=217718
288.52 nbAssignments=290440 nbFailedAssignments=91911 nbBacktracks=149613 nbVisitedNodes=517875 nbRestartNogoods=158
288.52 => wckTime=281.454 cpuTime=278.74 mem=600M240
369.99
369.99 search
369.99 run=22 nbConstraintChecks=13775913 nbPropagations=10217371 nbRevisions=9727943 nbUselessRevisions=237080
369.99 nbAssignments=417297 nbFailedAssignments=143652 nbBacktracks=224431 nbVisitedNodes=748095 nbRestartNogoods=177
369.99 => wckTime=362.921 cpuTime=359.73 mem=600M240
493.64
493.64 search
493.64 run=23 nbConstraintChecks=16357335 nbPropagations=13275356 nbRevisions=12711942 nbUselessRevisions=257281
493.64 nbAssignments=607433 nbFailedAssignments=221381 nbBacktracks=336659 nbVisitedNodes=1093688 nbRestartNogoods=194
493.64 => wckTime=486.574 cpuTime=482.71 mem=600M240
679.01
679.01 search
679.01 run=24 nbConstraintChecks=20165499 nbPropagations=17620004 nbRevisions=16986359 nbUselessRevisions=281280
679.01 nbAssignments=892552 nbFailedAssignments=337864 nbBacktracks=505000 nbVisitedNodes=1611657 nbRestartNogoods=208
679.01 => wckTime=671.94 cpuTime=667.05 mem=600M240
923.95
923.95 search
923.95 run=25 nbConstraintChecks=25729225 nbPropagations=23893269 nbRevisions=23193833 nbUselessRevisions=309583
923.95 nbAssignments=1320694 nbFailedAssignments=513157 nbBacktracks=757511 nbVisitedNodes=2390273
923.95 nbRestartNogoods=227
923.95 => wckTime=916.885 cpuTime=910.69 mem=600M240
1295.22
1295.22 search
1295.22 run=26 nbConstraintChecks=33998636 nbPropagations=33056223 nbRevisions=32293136 nbUselessRevisions=340354
1295.22 nbAssignments=1962307 nbFailedAssignments=775307 nbBacktracks=1136278 nbVisitedNodes=3555714
1295.22 nbRestartNogoods=244
1295.22 => wckTime=1288.153 cpuTime=1279.97 mem=600M240
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-237932-1168352273 -o ROOT/results/node7/solver-237932-1168352273 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237932-1168352273/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 1.99 1.99 4/81 7786
/proc/meminfo: memFree=1747272/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=18540 CPUtime=0
/proc/7785/stat : 7785 (runsolver) R 7783 7785 7715 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183622791 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/7785/statm: 4635 279 244 17 0 2626 0
[startup+0.103877 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 7786
/proc/meminfo: memFree=1747272/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=914988 CPUtime=0.08
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 2994 0 1 0 7 1 0 0 23 0 8 0 183622791 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511966 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 7786
/proc/meminfo: memFree=1747272/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915328 CPUtime=0.49
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 6815 0 1 0 45 4 0 0 17 0 8 0 183622791 937295872 6554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7785/statm: 228832 6555 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33301 s]
/proc/loadavg: 1.93 1.99 1.99 3/101 7852
/proc/meminfo: memFree=1663400/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915644 CPUtime=1.3
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 18416 0 1 0 119 11 0 0 22 0 8 0 183622791 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637373 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228911 18154 2160 14 0 215381 0
[pid=7785/tid=7787] ppid=7783 vsize=915644 CPUtime=0.05
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 1878 0 0 0 5 0 0 0 17 0 8 0 183622796 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 183622796 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915644 CPUtime=0.16
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 406 0 0 0 16 0 0 0 16 0 8 0 183622799 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937619456 18154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.98519 s]
/proc/loadavg: 1.93 1.99 1.99 4/101 7852
/proc/meminfo: memFree=1640808/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915648 CPUtime=2.94
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 23063 0 1 0 251 43 0 0 25 0 8 0 183622791 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228912 22798 2180 14 0 215382 0
[pid=7785/tid=7787] ppid=7783 vsize=915648 CPUtime=0.27
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 6438 0 0 0 24 3 0 0 16 0 8 0 183622796 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915648 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 183622796 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915648 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915648 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915648 CPUtime=0.19
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 183622799 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915648 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915648 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937623552 22798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.18751 s]
/proc/loadavg: 2.02 2.01 2.00 4/101 7852
/proc/meminfo: memFree=1614440/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915644 CPUtime=6.13
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 28973 0 1 0 400 213 0 0 25 0 8 0 183622791 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228911 28705 2180 14 0 215381 0
[pid=7785/tid=7787] ppid=7783 vsize=915644 CPUtime=0.62
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 12343 0 0 0 57 5 0 0 18 0 8 0 183622796 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 183622796 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915644 CPUtime=0.2
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 432 0 0 0 20 0 0 0 16 0 8 0 183622799 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915644 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937619456 28705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915644
[startup+12.6662 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 7852
/proc/meminfo: memFree=1573992/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=12.58
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 31483 0 1 0 1033 225 0 0 25 0 8 0 183622791 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 31157 2544 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=0.92
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 14296 0 0 0 86 6 0 0 16 0 8 0 183622796 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.32
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 540 0 0 0 31 1 0 0 16 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915904
[startup+25.5226 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 7852
/proc/meminfo: memFree=1552744/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=25.38
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 31483 0 1 0 2313 225 0 0 25 0 8 0 183622791 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 31157 2544 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=0.92
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 14296 0 0 0 86 6 0 0 16 0 8 0 183622796 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.32
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 540 0 0 0 31 1 0 0 16 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 31157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915904
[startup+51.1502 s]
/proc/loadavg: 2.06 2.02 2.00 3/101 7852
/proc/meminfo: memFree=1460904/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=50.84
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 46547 0 1 0 4853 231 0 0 25 0 8 0 183622791 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074126411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 46207 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=1.05
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 29311 0 0 0 94 11 0 0 16 0 8 0 183622796 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 574 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 46207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915904
[startup+102.389 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 7854
/proc/meminfo: memFree=1242344/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=101.8
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 90197 0 1 0 9932 248 0 0 25 0 8 0 183622791 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 89848 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=1.42
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 72952 0 0 0 114 28 0 0 16 0 8 0 183622796 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 574 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 89848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915904
[startup+162.467 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 7854
/proc/meminfo: memFree=971944/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=161.55
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 147653 0 1 0 15881 274 0 0 25 0 8 0 183622791 937885696 147295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074176344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.89
Current children cumulated vsize (KiB) 915904
[startup+1483.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8650
/proc/meminfo: memFree=1131352/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1475.63
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 147276 287 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212539 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.63
Current children cumulated vsize (KiB) 915904
[startup+1543.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8650
/proc/meminfo: memFree=1131288/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1535.37
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 153250 287 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074213192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.37
Current children cumulated vsize (KiB) 915904
[startup+1603.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 8651
/proc/meminfo: memFree=1131344/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1595.09
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 159222 287 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.09
Current children cumulated vsize (KiB) 915904
[startup+1663.87 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 8651
/proc/meminfo: memFree=1131280/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1654.84
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 165196 288 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074145784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.84
Current children cumulated vsize (KiB) 915904
[startup+1723.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 8651
/proc/meminfo: memFree=1131280/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1714.58
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 171170 288 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212539 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.58
Current children cumulated vsize (KiB) 915904
[startup+1783.98 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 8651
/proc/meminfo: memFree=1131216/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1774.29
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 177141 288 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) R 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.29
Current children cumulated vsize (KiB) 915904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 8651
/proc/meminfo: memFree=1131216/2055920 swapFree=4192812/4192956
[pid=7785] ppid=7783 vsize=915904 CPUtime=1800.09
/proc/7785/stat : 7785 (java) R 7783 7785 7715 0 -1 0 155220 0 1 0 179720 289 0 0 25 0 8 0 183622791 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7785/statm: 228976 154859 2546 14 0 215446 0
[pid=7785/tid=7787] ppid=7783 vsize=915904 CPUtime=2
/proc/7785/task/7787/stat : 7787 (java) S 7783 7785 7715 0 -1 64 137961 0 0 0 143 57 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7788] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7788/stat : 7788 (java) S 7783 7785 7715 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7789] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7789/stat : 7789 (java) S 7783 7785 7715 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183622796 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7790] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7790/stat : 7790 (java) S 7783 7785 7715 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7791] ppid=7783 vsize=915904 CPUtime=0.38
/proc/7785/task/7791/stat : 7791 (java) S 7783 7785 7715 0 -1 64 576 0 0 0 37 1 0 0 16 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7792] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7792/stat : 7792 (java) S 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7785/tid=7793] ppid=7783 vsize=915904 CPUtime=0
/proc/7785/task/7793/stat : 7793 (java) R 7783 7785 7715 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183622799 937885696 154859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.04
CPU time (s): 1800.24
CPU user time (s): 1797.26
CPU system time (s): 2.97955
CPU usage (%): 99.4585
Max. virtual memory (cumulated for all children) (KiB): 915904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.26
system time used= 2.97955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155237
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38470
involuntary context switches= 68919
runsolver used 2.27965 s user time and 5.58615 s system time
The end
Begin job on node7 on Tue Jan 9 14:17:54 UTC 2007
IDJOB= 237932
IDBENCH= 6972
FILE ID= node7/237932-1168352273
PBS_JOBID= 3503691
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_48.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237932-1168352273/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-237932-1168352273 -o ROOT/results/node7/solver-237932-1168352273 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237932-1168352273/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 97768f59c8f137e8599a77c7fedbfffc
RANDOM SEED= 965158585
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1747944 kB
Buffers: 34820 kB
Cached: 162584 kB
SwapCached: 0 kB
Active: 181036 kB
Inactive: 76972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1747944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8628 kB
Writeback: 0 kB
Mapped: 79576 kB
Slab: 35000 kB
Committed_AS: 5856692 kB
PageTables: 2196 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66554 MiB
End job on node7 on Tue Jan 9 14:48:04 UTC 2007