0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/196091-1168118923/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.45 => wckTime=0.12 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
1.07
1.07 constraints being loaded...
1.34 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.34 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.34 => wckTime=1.007 cpuTime=0.85 mem=50M819
1.46
1.46 solver IterativeSystematicSolver being built...
1.62 => wckTime=1.294 cpuTime=0.99 mem=35M601
1.74
1.74 preprocessing
1.74 nbConstraintChecks=38209 nbValidityChecks=60996 nbPropagations=239 nbRevisions=2565 nbUselessRevisions=2219
1.74 nbSingletonTests=34 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.74 => wckTime=0.112 cpuTime=0.08 mem=35M601
1.82
1.82 search
1.82 run=0 nbConstraintChecks=38852 nbValidityChecks=78487 nbPropagations=630 nbRevisions=7327
1.82 nbUselessRevisions=6112 nbAssignments=37 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=66
1.82 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.188 cpuTime=0.15 mem=35M601
1.95
1.95 search
1.95 run=1 nbConstraintChecks=118831 nbValidityChecks=256643 nbPropagations=2110 nbRevisions=24519
1.95 nbUselessRevisions=20372 nbAssignments=132 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=130
1.95 nbRestartNogoods=8 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.326 cpuTime=0.28 mem=35M601
2.08
2.08 search
2.09 run=2 nbConstraintChecks=194677 nbValidityChecks=422760 nbPropagations=4361 nbRevisions=50591
2.09 nbUselessRevisions=41781 nbAssignments=212 nbFailedAssignments=55 nbBacktracks=47 nbVisitedNodes=213
2.09 nbRestartNogoods=14 mapSize=40 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=0.458 cpuTime=0.41 mem=35M601
2.23
2.23 search
2.23 run=3 nbConstraintChecks=291100 nbValidityChecks=621393 nbPropagations=7654 nbRevisions=90069
2.23 nbUselessRevisions=74118 nbAssignments=309 nbFailedAssignments=103 nbBacktracks=81 nbVisitedNodes=372
2.23 nbRestartNogoods=19 mapSize=72 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=0.603 cpuTime=0.55 mem=35M601
2.41
2.41 search
2.41 run=4 nbConstraintChecks=405179 nbValidityChecks=847850 nbPropagations=12124 nbRevisions=143423
2.41 nbUselessRevisions=117391 nbAssignments=425 nbFailedAssignments=161 nbBacktracks=131 nbVisitedNodes=573
2.41 nbRestartNogoods=21 mapSize=108 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=0.781 cpuTime=0.72 mem=35M601
2.71
2.71 search
2.71 run=5 nbConstraintChecks=584680 nbValidityChecks=1235392 nbPropagations=18811 nbRevisions=221272
2.71 nbUselessRevisions=179606 nbAssignments=615 nbFailedAssignments=262 nbBacktracks=206 nbVisitedNodes=903
2.71 nbRestartNogoods=30 mapSize=174 nbInferences=0 nbTooLargeKeys=0
2.71 => wckTime=1.079 cpuTime=1.01 mem=35M601
3.06
3.06 search
3.06 run=6 nbConstraintChecks=821769 nbValidityChecks=1728113 nbPropagations=28327 nbRevisions=334651
3.06 nbUselessRevisions=270382 nbAssignments=873 nbFailedAssignments=400 nbBacktracks=319 nbVisitedNodes=1369
3.06 nbRestartNogoods=36 mapSize=271 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=1.437 cpuTime=1.36 mem=35M601
4.00
4.00 search
4.00 run=7 nbConstraintChecks=1419951 nbValidityChecks=2972396 nbPropagations=45145 nbRevisions=532939
4.00 nbUselessRevisions=426995 nbAssignments=1455 nbFailedAssignments=797 nbBacktracks=489 nbVisitedNodes=2471
4.00 nbRestartNogoods=47 mapSize=432 nbInferences=0 nbTooLargeKeys=0
4.00 => wckTime=2.371 cpuTime=2.28 mem=35M601
4.83
4.83 search
4.83 run=8 nbConstraintChecks=1994299 nbValidityChecks=4103337 nbPropagations=68241 nbRevisions=808954
4.83 nbUselessRevisions=645636 nbAssignments=2021 nbFailedAssignments=1101 nbBacktracks=745 nbVisitedNodes=3496
4.83 nbRestartNogoods=58 mapSize=656 nbInferences=0 nbTooLargeKeys=0
4.83 => wckTime=3.203 cpuTime=3.08 mem=35M601
6.23
6.23 search
6.23 run=9 nbConstraintChecks=2899435 nbValidityChecks=6018452 nbPropagations=101860 nbRevisions=1214502
6.23 nbUselessRevisions=967994 nbAssignments=2945 nbFailedAssignments=1611 nbBacktracks=1130 nbVisitedNodes=5154
6.23 nbRestartNogoods=65 mapSize=1001 nbInferences=0 nbTooLargeKeys=0
6.23 => wckTime=4.598 cpuTime=4.46 mem=35M601
6.29
6.29 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=35M601)
8.34
8.34 search
8.34 run=10 nbConstraintChecks=4268839 nbValidityChecks=8815837 nbPropagations=150794 nbRevisions=1794765
8.34 nbUselessRevisions=1425520 nbAssignments=4249 nbFailedAssignments=2333 nbBacktracks=1706 nbVisitedNodes=7519
8.34 nbRestartNogoods=67
8.34 => wckTime=6.714 cpuTime=6.55 mem=35M601
11.49
11.49 search
11.49 run=11 nbConstraintChecks=6357927 nbValidityChecks=13081628 nbPropagations=223614 nbRevisions=2671497
11.49 nbUselessRevisions=2119184 nbAssignments=6267 nbFailedAssignments=3457 nbBacktracks=2572 nbVisitedNodes=11184
11.49 nbRestartNogoods=84
11.49 => wckTime=9.862 cpuTime=9.67 mem=35M601
16.82
16.82 search
16.82 run=12 nbConstraintChecks=9899876 nbValidityChecks=20349279 nbPropagations=340243 nbRevisions=4046589
16.82 nbUselessRevisions=3199821 nbAssignments=9839 nbFailedAssignments=5704 nbBacktracks=3870 nbVisitedNodes=17913
16.82 nbRestartNogoods=100
16.82 => wckTime=15.192 cpuTime=14.95 mem=35M601
25.82
25.82 search
25.82 run=13 nbConstraintChecks=15881596 nbValidityChecks=32047596 nbPropagations=513242 nbRevisions=6148739
25.82 nbUselessRevisions=4856114 nbAssignments=14956 nbFailedAssignments=8848 nbBacktracks=5816 nbVisitedNodes=27401
25.82 nbRestartNogoods=115
25.82 => wckTime=24.191 cpuTime=23.86 mem=35M601
35.17
35.17 search
35.17 run=14 nbConstraintChecks=22179750 nbValidityChecks=45156810 nbPropagations=762835 nbRevisions=9161153
35.17 nbUselessRevisions=7234158 nbAssignments=21662 nbFailedAssignments=12612 nbBacktracks=8737 nbVisitedNodes=39598
35.17 nbRestartNogoods=128
35.17 => wckTime=33.546 cpuTime=33.12 mem=35M601
55.77
55.77 search
55.77 run=15 nbConstraintChecks=35999355 nbValidityChecks=73198020 nbPropagations=1171709 nbRevisions=14057729
55.77 nbUselessRevisions=11082563 nbAssignments=34525 nbFailedAssignments=21090 nbBacktracks=13117
55.77 nbVisitedNodes=64401 nbRestartNogoods=145
55.77 => wckTime=54.146 cpuTime=53.48 mem=35M601
79.36
79.36 search
79.36 run=16 nbConstraintChecks=52337210 nbValidityChecks=106316707 nbPropagations=1764168 nbRevisions=21253431
79.36 nbUselessRevisions=16761570 nbAssignments=50939 nbFailedAssignments=30929 nbBacktracks=19685
79.36 nbVisitedNodes=94967 nbRestartNogoods=160
79.36 => wckTime=77.736 cpuTime=76.83 mem=35M601
127.35
127.35 search
127.35 run=17 nbConstraintChecks=84903641 nbValidityChecks=170787962 nbPropagations=2693381 nbRevisions=32567571
127.35 nbUselessRevisions=25664116 nbAssignments=79806 nbFailedAssignments=49938 nbBacktracks=29537
127.35 nbVisitedNodes=150361 nbRestartNogoods=170
127.35 => wckTime=125.724 cpuTime=124.35 mem=35M601
175.61
175.61 search
175.61 run=18 nbConstraintChecks=118267600 nbValidityChecks=238093776 nbPropagations=3987430 nbRevisions=48542851
175.61 nbUselessRevisions=38305126 nbAssignments=113249 nbFailedAssignments=68596 nbBacktracks=44315
175.61 nbVisitedNodes=211266 nbRestartNogoods=194
175.61 => wckTime=173.979 cpuTime=172.14 mem=35M601
260.17
260.17 search
260.17 run=19 nbConstraintChecks=175311340 nbValidityChecks=355257850 nbPropagations=5918812 nbRevisions=72277166
260.17 nbUselessRevisions=57115086 nbAssignments=168615 nbFailedAssignments=101787 nbBacktracks=66485
260.17 nbVisitedNodes=314479 nbRestartNogoods=214
260.17 => wckTime=258.543 cpuTime=255.87 mem=35M601
388.80
388.80 search
388.80 run=20 nbConstraintChecks=261298689 nbValidityChecks=527346236 nbPropagations=8722891 nbRevisions=106847886
388.80 nbUselessRevisions=84478952 nbAssignments=249667 nbFailedAssignments=149582 nbBacktracks=99737
388.80 nbVisitedNodes=463013 nbRestartNogoods=244
388.80 => wckTime=387.171 cpuTime=383.22 mem=35M601
565.04
565.04 search
565.04 run=21 nbConstraintChecks=379664666 nbValidityChecks=772901524 nbPropagations=12869994 nbRevisions=158262603
565.04 nbUselessRevisions=125320165 nbAssignments=364157 nbFailedAssignments=214188 nbBacktracks=149615
565.04 nbVisitedNodes=673004 nbRestartNogoods=277
565.04 => wckTime=563.416 cpuTime=557.76 mem=35M601
851.40
851.40 search
851.40 run=22 nbConstraintChecks=571787216 nbValidityChecks=1159195525 nbPropagations=19031551 nbRevisions=234300963
851.40 nbUselessRevisions=185528559 nbAssignments=547377 nbFailedAssignments=322584 nbBacktracks=224433
851.40 nbVisitedNodes=1009900 nbRestartNogoods=305
851.40 => wckTime=849.774 cpuTime=841.33 mem=35M601
1237.09
1237.09 search
1237.09 run=23 nbConstraintChecks=829131062 nbValidityChecks=1688394475 nbPropagations=27972333 nbRevisions=344318106
1237.09 nbUselessRevisions=272651411 nbAssignments=807543 nbFailedAssignments=470518 nbBacktracks=336662
1237.09 nbVisitedNodes=1481448 nbRestartNogoods=347
1237.09 => wckTime=1235.468 cpuTime=1223.31 mem=35M601
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-196091-1168118923 -o ROOT/results/node41/solver-196091-1168118923 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196091-1168118923/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.12 2.20 2.24 4/81 19507
/proc/meminfo: memFree=1542920/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=18540 CPUtime=0
/proc/19506/stat : 19506 (runsolver) R 19504 19506 19032 0 -1 4194368 17 0 0 0 0 0 0 0 23 0 1 0 160291591 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19506/statm: 4635 279 244 17 0 2626 0
[startup+0.107465 s]
/proc/loadavg: 2.12 2.20 2.24 4/81 19507
/proc/meminfo: memFree=1542920/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916012 CPUtime=0.08
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 3059 0 1 0 7 1 0 0 22 0 8 0 160291591 937996288 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153548491 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229003 2805 1449 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012
[startup+0.515499 s]
/proc/loadavg: 2.12 2.20 2.24 4/81 19507
/proc/meminfo: memFree=1542920/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916352 CPUtime=0.43
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 6959 0 12 0 38 5 0 0 22 0 8 0 160291591 938344448 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229088 6709 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 916352
[startup+1.33657 s]
/proc/loadavg: 2.11 2.20 2.24 3/88 19514
/proc/meminfo: memFree=1450192/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916352 CPUtime=1.24
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 19106 0 12 0 114 10 0 0 25 0 8 0 160291591 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155240800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229088 18855 2161 14 0 215558 0
[pid=19506/tid=19508] ppid=19504 vsize=916352 CPUtime=0.05
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 2650 0 0 0 5 0 0 0 17 0 8 0 160291595 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916352 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916352 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160291596 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916352 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916352 CPUtime=0.1
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 160291599 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916352 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916352 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938344448 18855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 916352
[startup+2.97372 s]
/proc/loadavg: 2.11 2.20 2.24 4/88 19514
/proc/meminfo: memFree=1414480/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=2.88
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23558 0 13 0 274 14 0 0 25 0 8 0 160291591 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23306 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 160291595 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.18
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 160291599 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 916440
[startup+6.27101 s]
/proc/loadavg: 2.11 2.20 2.24 3/88 19514
/proc/meminfo: memFree=1367440/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=6.14
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23575 0 13 0 600 14 0 0 25 0 8 0 160291591 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23320 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 160291595 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.22
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 160291599 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) R 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 916440
[startup+12.7476 s]
/proc/loadavg: 2.25 2.23 2.25 4/88 19514
/proc/meminfo: memFree=1178968/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=12.55
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23579 0 13 0 1241 14 0 0 25 0 8 0 160291591 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23323 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 916440
[startup+25.6297 s]
/proc/loadavg: 2.28 2.23 2.25 4/88 19514
/proc/meminfo: memFree=1175896/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=25.3
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23580 0 13 0 2516 14 0 0 25 0 8 0 160291591 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23324 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 916440
[startup+51.2775 s]
/proc/loadavg: 2.39 2.26 2.25 4/88 19514
/proc/meminfo: memFree=1171544/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=50.67
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23581 0 13 0 5052 15 0 0 25 0 8 0 160291591 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23324 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 916440
[startup+102.543 s]
/proc/loadavg: 2.60 2.34 2.28 4/88 19514
/proc/meminfo: memFree=1165464/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=101.42
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23581 0 13 0 10126 16 0 0 25 0 8 0 160291591 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23324 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 916440
[startup+162.634 s]
/proc/loadavg: 2.81 2.44 2.32 4/88 19514
/proc/meminfo: memFree=1165464/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=160.93
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23581 0 13 0 16077 16 0 0 25 0 8 0 160291591 938434560 23324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754314 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.19
Current children cumulated vsize (KiB) 916440
[startup+1484.22 s]
/proc/loadavg: 2.88 2.85 2.70 4/88 19514
/proc/meminfo: memFree=1163480/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1469.73
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 146951 22 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.73
Current children cumulated vsize (KiB) 916440
[startup+1544.31 s]
/proc/loadavg: 2.75 2.81 2.70 4/88 19514
/proc/meminfo: memFree=1163480/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1529.22
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 152900 22 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.22
Current children cumulated vsize (KiB) 916440
[startup+1604.4 s]
/proc/loadavg: 2.97 2.84 2.71 4/88 19514
/proc/meminfo: memFree=1163480/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1588.76
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 158853 23 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.76
Current children cumulated vsize (KiB) 916440
[startup+1664.45 s]
/proc/loadavg: 2.99 2.86 2.73 3/88 19514
/proc/meminfo: memFree=1163416/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1648.19
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 164796 23 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.19
Current children cumulated vsize (KiB) 916440
[startup+1724.49 s]
/proc/loadavg: 2.86 2.85 2.73 4/88 19514
/proc/meminfo: memFree=1163352/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1707.63
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 170740 23 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.63
Current children cumulated vsize (KiB) 916440
[startup+1784.52 s]
/proc/loadavg: 2.87 2.86 2.74 4/88 19588
/proc/meminfo: memFree=1751056/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1767.07
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 176678 29 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.07
Current children cumulated vsize (KiB) 916440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.65 s]
/proc/loadavg: 2.49 2.77 2.71 3/88 19588
/proc/meminfo: memFree=1549720/2055920 swapFree=4191892/4192956
[pid=19506] ppid=19504 vsize=916440 CPUtime=1800
/proc/19506/stat : 19506 (java) R 19504 19506 19032 0 -1 0 23583 0 13 0 179971 29 0 0 25 0 8 0 160291591 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19506/statm: 229110 23326 2532 14 0 215580 0
[pid=19506/tid=19508] ppid=19504 vsize=916440 CPUtime=0.16
/proc/19506/task/19508/stat : 19508 (java) S 19504 19506 19032 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 160291595 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 19032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 19032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160291596 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 19032 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=916440 CPUtime=0.23
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 19032 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 19032 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=916440 CPUtime=0
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 19032 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160291599 938434560 23326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 916440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1817.7
CPU time (s): 1800.06
CPU user time (s): 1799.75
CPU system time (s): 0.311952
CPU usage (%): 99.0298
Max. virtual memory (cumulated for all children) (KiB): 916440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23600
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37885
involuntary context switches= 87777
runsolver used 2.24266 s user time and 5.74313 s system time
The end
Begin job on node41 on Sat Jan 6 21:28:43 UTC 2007
IDJOB= 196091
IDBENCH= 3325
FILE ID= node41/196091-1168118923
PBS_JOBID= 3477441
Free space on /tmp= 66508 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196091-1168118923/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-196091-1168118923 -o ROOT/results/node41/solver-196091-1168118923 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196091-1168118923/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5f7d365bd388718d753166b5efce5d4f
RANDOM SEED= 441710355
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.234
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.234
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: 1543400 kB
Buffers: 35392 kB
Cached: 90420 kB
SwapCached: 396 kB
Active: 385300 kB
Inactive: 70120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1543400 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 25276 kB
Writeback: 0 kB
Mapped: 344976 kB
Slab: 41688 kB
Committed_AS: 3117080 kB
PageTables: 2552 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= 66511 MiB
End job on node41 on Sat Jan 6 21:59:01 UTC 2007