0.31
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/198923-1168131234/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.48 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=43
0.48 => wckTime=0.167 cpuTime=0.14 mem=8M837
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
1.25 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=227251 nbExtensionStructures=173
1.25 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.25 nbSharedBinaryRepresentations=11998 maxDegree=62 maxArity=2
1.25 => wckTime=0.937 cpuTime=0.77 mem=29M316
1.32
1.32 solver IterativeSystematicSolver being built...
1.52 => wckTime=1.213 cpuTime=0.93 mem=20M511
1.73
1.73 preprocessing
1.73 nbConstraintChecks=325319 nbPropagations=4694 nbRevisions=11050 nbUselessRevisions=5528 nbSingletonTests=758
1.73 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=332 detectedInconsistency=no
1.73 => wckTime=0.206 cpuTime=0.17 mem=20M511
1.80
1.80 search
1.80 run=0 nbConstraintChecks=54298 nbPropagations=5268 nbRevisions=13613 nbUselessRevisions=6900 nbAssignments=46
1.80 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.80 nbTooLargeKeys=0
1.80 => wckTime=0.274 cpuTime=0.22 mem=20M511
1.83
1.83 search
1.83 run=1 nbConstraintChecks=131615 nbPropagations=11258 nbRevisions=31351 nbUselessRevisions=16103
1.83 nbAssignments=112 nbFailedAssignments=30 nbBacktracks=26 nbVisitedNodes=155 nbRestartNogoods=2 mapSize=13
1.83 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.307 cpuTime=0.25 mem=21M485
1.86
1.86 search
1.86 run=2 nbConstraintChecks=204449 nbPropagations=17916 nbRevisions=53415 nbUselessRevisions=27687
1.86 nbAssignments=184 nbFailedAssignments=62 nbBacktracks=48 nbVisitedNodes=270 nbRestartNogoods=10 mapSize=24
1.86 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.338 cpuTime=0.28 mem=21M485
1.91
1.91 search
1.92 run=3 nbConstraintChecks=333910 nbPropagations=25597 nbRevisions=83531 nbUselessRevisions=43595
1.92 nbAssignments=300 nbFailedAssignments=126 nbBacktracks=82 nbVisitedNodes=466 nbRestartNogoods=17 mapSize=41
1.92 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.388 cpuTime=0.33 mem=21M485
1.98
1.98 search
1.98 run=4 nbConstraintChecks=532609 nbPropagations=34927 nbRevisions=125899 nbUselessRevisions=66406
1.98 nbAssignments=461 nbFailedAssignments=219 nbBacktracks=132 nbVisitedNodes=744 nbRestartNogoods=19 mapSize=66
1.98 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.456 cpuTime=0.4 mem=21M485
2.07
2.07 search
2.07 run=5 nbConstraintChecks=753786 nbPropagations=46146 nbRevisions=182394 nbUselessRevisions=96971
2.07 nbAssignments=674 nbFailedAssignments=324 nbBacktracks=208 nbVisitedNodes=1087 nbRestartNogoods=25 mapSize=104
2.07 nbInferences=3 nbTooLargeKeys=0
2.07 => wckTime=0.544 cpuTime=0.48 mem=21M485
2.19
2.19 search
2.19 run=6 nbConstraintChecks=1074364 nbPropagations=60052 nbRevisions=259955 nbUselessRevisions=138673
2.19 nbAssignments=991 nbFailedAssignments=510 nbBacktracks=322 nbVisitedNodes=1644 nbRestartNogoods=28 mapSize=161
2.20 nbInferences=6 nbTooLargeKeys=0
2.20 => wckTime=0.668 cpuTime=0.6 mem=22M459
2.42
2.42 search
2.42 run=7 nbConstraintChecks=1803978 nbPropagations=79521 nbRevisions=386647 nbUselessRevisions=207840
2.42 nbAssignments=1578 nbFailedAssignments=871 nbBacktracks=493 nbVisitedNodes=2627 nbRestartNogoods=43
2.42 mapSize=247 nbInferences=6 nbTooLargeKeys=0
2.42 => wckTime=0.896 cpuTime=0.81 mem=22M459
2.64
2.64 search
2.64 run=8 nbConstraintChecks=2473755 nbPropagations=104691 nbRevisions=559591 nbUselessRevisions=303906
2.64 nbAssignments=2190 nbFailedAssignments=1207 nbBacktracks=750 nbVisitedNodes=3709 nbRestartNogoods=51
2.64 mapSize=376 nbInferences=17 nbTooLargeKeys=0
2.64 => wckTime=1.114 cpuTime=1.02 mem=23M433
2.95
2.95 search
2.95 run=9 nbConstraintChecks=3409057 nbPropagations=138335 nbRevisions=804255 nbUselessRevisions=442373
2.95 nbAssignments=3169 nbFailedAssignments=1773 nbBacktracks=1136 nbVisitedNodes=5445 nbRestartNogoods=56
2.95 mapSize=564 nbInferences=34 nbTooLargeKeys=0
2.95 => wckTime=1.425 cpuTime=1.33 mem=24M408
3.52
3.52 search
3.52 run=10 nbConstraintChecks=5312829 nbPropagations=187245 nbRevisions=1190947 nbUselessRevisions=662888
3.52 nbAssignments=4818 nbFailedAssignments=2827 nbBacktracks=1713 nbVisitedNodes=8422 nbRestartNogoods=66
3.52 mapSize=855 nbInferences=42 nbTooLargeKeys=0
3.52 => wckTime=1.994 cpuTime=1.88 mem=26M356
4.27
4.27 search
4.27 run=11 nbConstraintChecks=7656656 nbPropagations=258917 nbRevisions=1761846 nbUselessRevisions=994128
4.27 nbAssignments=7239 nbFailedAssignments=4279 nbBacktracks=2577 nbVisitedNodes=12726 nbRestartNogoods=78
4.27 mapSize=1323 nbInferences=92 nbTooLargeKeys=0
4.27 => wckTime=2.747 cpuTime=2.63 mem=28M304
5.40
5.40 search
5.40 run=12 nbConstraintChecks=11119247 nbPropagations=363740 nbRevisions=2604575 nbUselessRevisions=1490001
5.40 nbAssignments=10688 nbFailedAssignments=6343 nbBacktracks=3874 nbVisitedNodes=18911 nbRestartNogoods=92
5.40 mapSize=2028 nbInferences=160 nbTooLargeKeys=0
5.40 => wckTime=3.871 cpuTime=3.74 mem=32M201
7.38
7.38 search
7.38 run=13 nbConstraintChecks=18121117 nbPropagations=526412 nbRevisions=3973375 nbUselessRevisions=2302803
7.38 nbAssignments=16667 nbFailedAssignments=10220 nbBacktracks=5821 nbVisitedNodes=29814 nbRestartNogoods=104
7.38 mapSize=3159 nbInferences=260 nbTooLargeKeys=0
7.38 => wckTime=5.85 cpuTime=5.7 mem=38M46
9.89
9.89 search
9.89 run=14 nbConstraintChecks=25418397 nbPropagations=759894 nbRevisions=5934398 nbUselessRevisions=3471791
9.89 nbAssignments=24414 nbFailedAssignments=14859 nbBacktracks=8740 nbVisitedNodes=43712 nbRestartNogoods=116
9.89 mapSize=4701 nbInferences=420 nbTooLargeKeys=0
9.89 => wckTime=8.367 cpuTime=8.2 mem=45M840
13.75
13.75 search
13.75 run=15 nbConstraintChecks=36559255 nbPropagations=1107120 nbRevisions=8799876 nbUselessRevisions=5189536
13.75 nbAssignments=35860 nbFailedAssignments=21255 nbBacktracks=13119 nbVisitedNodes=64060 nbRestartNogoods=140
13.75 mapSize=7038 nbInferences=1026 nbTooLargeKeys=0
13.75 => wckTime=12.228 cpuTime=11.98 mem=28M339
19.01
19.01 search
19.01 run=16 nbConstraintChecks=51967937 nbPropagations=1603059 nbRevisions=13020569 nbUselessRevisions=7771760
19.01 nbAssignments=51976 nbFailedAssignments=30240 nbBacktracks=19688 nbVisitedNodes=92611 nbRestartNogoods=162
19.01 mapSize=10472 nbInferences=1579 nbTooLargeKeys=0
19.01 => wckTime=17.48 cpuTime=17.19 mem=47M108
28.65
28.65 search
28.65 run=17 nbConstraintChecks=85191040 nbPropagations=2404379 nbRevisions=19864284 nbUselessRevisions=11973038
28.65 nbAssignments=79065 nbFailedAssignments=46312 nbBacktracks=29540 nbVisitedNodes=141978 nbRestartNogoods=202
28.65 mapSize=16435 nbInferences=2725 nbTooLargeKeys=0
28.65 => wckTime=27.123 cpuTime=26.68 mem=52M222
42.30
42.30 search
42.30 run=18 nbConstraintChecks=131360534 nbPropagations=3629610 nbRevisions=30375129 nbUselessRevisions=18501013
42.30 nbAssignments=118740 nbFailedAssignments=69562 nbBacktracks=44321 nbVisitedNodes=213489 nbRestartNogoods=236
42.30 mapSize=24857 nbInferences=4305 nbTooLargeKeys=0
42.30 => wckTime=40.769 cpuTime=40.14 mem=72M127
62.23
62.23 search
62.23 run=19 nbConstraintChecks=194719680 nbPropagations=5417349 nbRevisions=45714011 nbUselessRevisions=27934287
62.23 nbAssignments=179473 nbFailedAssignments=105670 nbBacktracks=66489 nbVisitedNodes=322334 nbRestartNogoods=249
62.23 mapSize=36233 nbInferences=6752 nbTooLargeKeys=0
62.23 => wckTime=60.705 cpuTime=59.84 mem=112M114
92.79
92.79 search
92.79 run=20 nbConstraintChecks=293757011 nbPropagations=8093611 nbRevisions=68402120 nbUselessRevisions=41804598
92.79 nbAssignments=270339 nbFailedAssignments=158833 nbBacktracks=99741 nbVisitedNodes=484748 nbRestartNogoods=288
92.79 mapSize=53207 nbInferences=11166 nbTooLargeKeys=0
92.79 => wckTime=91.261 cpuTime=90.0 mem=160M38
138.71
138.71 search
138.71 run=21 nbConstraintChecks=443222981 nbPropagations=12169520 nbRevisions=102560640 nbUselessRevisions=62801382
138.71 nbAssignments=405406 nbFailedAssignments=235582 nbBacktracks=149620 nbVisitedNodes=726645 nbRestartNogoods=321
138.71 mapSize=79553 nbInferences=19585 nbTooLargeKeys=0
138.71 => wckTime=137.181 cpuTime=135.36 mem=234M995
199.02
199.02 search
199.02 run=22 nbConstraintChecks=621483955 nbPropagations=18004493 nbRevisions=152218669 nbUselessRevisions=93843912
199.02 nbAssignments=585547 nbFailedAssignments=333751 nbBacktracks=224439 nbVisitedNodes=1043732 nbRestartNogoods=352
199.02 mapSize=117702 nbInferences=26730 nbTooLargeKeys=0
199.02 => wckTime=197.498 cpuTime=194.84 mem=323M184
307.04
307.04 search
307.04 run=23 nbConstraintChecks=1000760951 nbPropagations=27281227 nbRevisions=229156591 nbUselessRevisions=141972821
307.04 nbAssignments=884651 nbFailedAssignments=494554 nbBacktracks=336667 nbVisitedNodes=1578308 nbRestartNogoods=399
307.04 mapSize=176160 nbInferences=52759 nbTooLargeKeys=0
307.04 => wckTime=305.518 cpuTime=301.52 mem=492M551
367.40
367.40 INFO : Stopping hyperNogood (mapSize=211217, nbTooLargekeys=0, mem=600M191)
432.39
432.39 search
432.39 run=24 nbConstraintChecks=1435778075 nbPropagations=40477553 nbRevisions=340744553 nbUselessRevisions=212113047
432.39 nbAssignments=1311849 nbFailedAssignments=744472 nbBacktracks=505008 nbVisitedNodes=2338487
432.39 nbRestartNogoods=442
432.39 => wckTime=430.865 cpuTime=425.44 mem=600M191
598.51
598.51 search
598.51 run=25 nbConstraintChecks=2043811205 nbPropagations=59282305 nbRevisions=501859633 nbUselessRevisions=313382081
598.51 nbAssignments=1924998 nbFailedAssignments=1105090 nbBacktracks=757520 nbVisitedNodes=3421665
598.51 nbRestartNogoods=487
598.51 => wckTime=596.986 cpuTime=589.95 mem=600M191
858.34
858.34 search
858.34 run=26 nbConstraintChecks=3033669826 nbPropagations=86932658 nbRevisions=740990432 nbUselessRevisions=462884114
858.34 nbAssignments=2871477 nbFailedAssignments=1672794 nbBacktracks=1136287 nbVisitedNodes=5105474
858.34 nbRestartNogoods=506
858.35 => wckTime=856.818 cpuTime=847.49 mem=600M191
1240.64
1240.64 search
1240.64 run=27 nbConstraintChecks=4470531769 nbPropagations=127420517 nbRevisions=1096665868
1240.64 nbUselessRevisions=685256810 nbAssignments=4284614 nbFailedAssignments=2517758 nbBacktracks=1704441
1240.64 nbVisitedNodes=7621571 nbRestartNogoods=556
1240.64 => wckTime=1239.112 cpuTime=1226.56 mem=600M191
1803.47
1803.47 search
1803.47 run=28 nbConstraintChecks=6490132712 nbPropagations=186653409 nbRevisions=1625328186
1803.47 nbUselessRevisions=1017379420 nbAssignments=6392103 nbFailedAssignments=3773013 nbBacktracks=2556667
1803.47 nbVisitedNodes=11350332 nbRestartNogoods=584
1803.47 => wckTime=1801.945 cpuTime=1784.66 mem=600M191
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-198923-1168131234 -o ROOT/results/node16/solver-198923-1168131234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198923-1168131234/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: 2.00 1.99 1.91 4/88 5865
/proc/meminfo: memFree=1507664/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=906644 CPUtime=0.01
/proc/5864/stat : 5864 (java) S 5862 5864 4818 0 -1 0 2068 0 1 0 1 0 0 0 18 0 2 0 161518289 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 226661 1817 1036 14 0 214244 0
[pid=5864/tid=5866] ppid=5862 vsize=906644 CPUtime=0
/proc/5864/task/5866/stat : 5866 (java) R 5862 5864 4818 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 161518292 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102725 s]
/proc/loadavg: 2.00 1.99 1.91 4/88 5865
/proc/meminfo: memFree=1507664/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=914988 CPUtime=0.09
/proc/5864/stat : 5864 (java) D 5862 5864 4818 0 -1 0 2988 0 1 0 7 2 0 0 18 0 8 0 161518289 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228747 2734 1426 14 0 215242 0
[pid=5864/tid=5866] ppid=5862 vsize=914988 CPUtime=0
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 161518292 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510646 s]
/proc/loadavg: 2.00 1.99 1.91 4/88 5865
/proc/meminfo: memFree=1507664/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915328 CPUtime=0.49
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 6515 0 1 0 44 5 0 0 19 0 8 0 161518289 937295872 6254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228832 6254 2147 14 0 215302 0
[pid=5864/tid=5866] ppid=5862 vsize=915328 CPUtime=0
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 161518292 937295872 6254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3315 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1471832/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1.3
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 12876 0 1 0 103 27 0 0 24 0 8 0 161518289 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 12613 2265 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.05
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 897 0 0 0 5 0 0 0 16 0 8 0 161518292 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.19
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 435 0 0 0 19 0 0 0 16 0 8 0 161518296 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 12613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915720
[startup+2.9792 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1465432/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=2.93
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 13281 0 1 0 265 28 0 0 25 0 8 0 161518289 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074006129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 13017 2541 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.05
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 897 0 0 0 5 0 0 0 17 0 8 0 161518292 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.31
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 499 0 0 0 30 1 0 0 15 0 8 0 161518296 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 13017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915720
[startup+6.18161 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1465304/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=6.11
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 13494 0 1 0 582 29 0 0 25 0 8 0 161518289 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074006379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 13229 2541 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.05
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 897 0 0 0 5 0 0 0 16 0 8 0 161518292 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.32
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 503 0 0 0 31 1 0 0 16 0 8 0 161518296 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 13229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915720
[startup+12.6544 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1429720/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=12.52
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 22172 0 1 0 1220 32 0 0 25 0 8 0 161518289 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 21905 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.09
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 5034 0 0 0 8 1 0 0 16 0 8 0 161518292 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915720
[startup+25.5071 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1429784/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=25.26
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 22172 0 1 0 2494 32 0 0 25 0 8 0 161518289 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 21905 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.09
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 5034 0 0 0 8 1 0 0 16 0 8 0 161518292 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 21905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915720
[startup+51.1145 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1375128/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=50.63
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 35813 0 1 0 5025 38 0 0 25 0 8 0 161518289 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 35543 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.22
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 18671 0 0 0 15 7 0 0 16 0 8 0 161518292 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 35543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915720
[startup+102.327 s]
/proc/loadavg: 2.00 1.99 1.91 3/95 5872
/proc/meminfo: memFree=1287064/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=101.4
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 57792 0 1 0 10094 46 0 0 25 0 8 0 161518289 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 57518 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=0.44
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 40646 0 0 0 30 14 0 0 16 0 8 0 161518292 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 57518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915720
################
# More data... #
################
Current children cumulated CPU time (s) 1410.81
Current children cumulated vsize (KiB) 915720
[startup+1483.38 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 6337
/proc/meminfo: memFree=967592/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1470.37
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 146949 88 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.37
Current children cumulated vsize (KiB) 915720
[startup+1543.42 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 6337
/proc/meminfo: memFree=967528/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1529.88
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 152900 88 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.88
Current children cumulated vsize (KiB) 915720
[startup+1603.46 s]
/proc/loadavg: 2.03 2.01 1.95 3/93 6337
/proc/meminfo: memFree=967464/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1589.42
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 158854 88 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.42
Current children cumulated vsize (KiB) 915720
[startup+1663.5 s]
/proc/loadavg: 2.01 2.01 1.95 3/93 6337
/proc/meminfo: memFree=967464/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1648.94
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 164805 89 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074058046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.94
Current children cumulated vsize (KiB) 915720
[startup+1723.55 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 6337
/proc/meminfo: memFree=967400/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1708.45
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 170756 89 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.45
Current children cumulated vsize (KiB) 915720
[startup+1783.58 s]
/proc/loadavg: 2.03 2.01 1.96 3/93 6337
/proc/meminfo: memFree=967336/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1767.96
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 176707 89 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.96
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.96 s]
/proc/loadavg: 2.02 2.01 1.96 3/93 6337
/proc/meminfo: memFree=967272/2055920 swapFree=4191880/4192956
[pid=5864] ppid=5862 vsize=915720 CPUtime=1800.08
/proc/5864/stat : 5864 (java) R 5862 5864 4818 0 -1 0 153909 0 1 0 179919 89 0 0 25 0 8 0 161518289 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074036489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5864/statm: 228930 153616 2545 14 0 215400 0
[pid=5864/tid=5866] ppid=5862 vsize=915720 CPUtime=1.49
/proc/5864/task/5866/stat : 5866 (java) S 5862 5864 4818 0 -1 64 136744 0 0 0 102 47 0 0 16 0 8 0 161518292 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5867] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5867/stat : 5867 (java) S 5862 5864 4818 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5868] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5868/stat : 5868 (java) S 5862 5864 4818 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161518293 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5869] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5869/stat : 5869 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5870] ppid=5862 vsize=915720 CPUtime=0.33
/proc/5864/task/5870/stat : 5870 (java) S 5862 5864 4818 0 -1 64 505 0 0 0 32 1 0 0 16 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5871] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5871/stat : 5871 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5864/tid=5872] ppid=5862 vsize=915720 CPUtime=0
/proc/5864/task/5872/stat : 5872 (java) S 5862 5864 4818 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161518296 937697280 153616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.12
CPU time (s): 1800.24
CPU user time (s): 1799.24
CPU system time (s): 0.995848
CPU usage (%): 99.1256
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.995848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153925
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= 38377
involuntary context switches= 68929
runsolver used 2.76358 s user time and 5.29019 s system time
The end
Begin job on node16 on Sun Jan 7 00:53:54 UTC 2007
IDJOB= 198923
IDBENCH= 3582
FILE ID= node16/198923-1168131234
PBS_JOBID= 3477714
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198923-1168131234/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-198923-1168131234 -o ROOT/results/node16/solver-198923-1168131234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198923-1168131234/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a9ee5762bd9cc960c2c3327ea9b7951e
RANDOM SEED= 906424090
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: 1508080 kB
Buffers: 54632 kB
Cached: 318376 kB
SwapCached: 448 kB
Active: 198760 kB
Inactive: 291848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1508080 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2268 kB
Writeback: 0 kB
Mapped: 137064 kB
Slab: 41740 kB
Committed_AS: 4280892 kB
PageTables: 2584 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= 66499 MiB
End job on node16 on Sun Jan 7 01:24:11 UTC 2007