0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/196117-1168119110/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.48 => wckTime=0.12 cpuTime=0.08 mem=6M951
0.48
0.48 relations being loaded...
1.11
1.11 constraints being loaded...
1.36 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.36 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.36 => wckTime=0.998 cpuTime=0.85 mem=48M683
1.47
1.47 solver IterativeSystematicSolver being built...
1.63 => wckTime=1.267 cpuTime=0.99 mem=34M526
1.71
1.71 preprocessing
1.71 nbConstraintChecks=27557 nbValidityChecks=41383 nbPropagations=167 nbRevisions=1607 nbUselessRevisions=1413
1.71 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.71 => wckTime=0.083 cpuTime=0.05 mem=34M526
1.80
1.80 search
1.80 run=0 nbConstraintChecks=49050 nbValidityChecks=88829 nbPropagations=599 nbRevisions=6547
1.80 nbUselessRevisions=5379 nbAssignments=38 nbFailedAssignments=20 nbBacktracks=13 nbVisitedNodes=66
1.80 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.168 cpuTime=0.13 mem=35M529
1.87
1.87 search
1.87 run=1 nbConstraintChecks=93759 nbValidityChecks=167704 nbPropagations=1585 nbRevisions=17567
1.87 nbUselessRevisions=14309 nbAssignments=74 nbFailedAssignments=34 nbBacktracks=31 nbVisitedNodes=124
1.87 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.236 cpuTime=0.2 mem=35M529
1.98
1.98 search
1.98 run=2 nbConstraintChecks=168598 nbValidityChecks=309373 nbPropagations=3291 nbRevisions=37412
1.98 nbUselessRevisions=30147 nbAssignments=134 nbFailedAssignments=66 nbBacktracks=53 nbVisitedNodes=229
1.98 nbRestartNogoods=5 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.354 cpuTime=0.3 mem=35M529
2.17
2.17 search
2.17 run=3 nbConstraintChecks=302936 nbValidityChecks=591871 nbPropagations=6438 nbRevisions=74183
2.17 nbUselessRevisions=59026 nbAssignments=264 nbFailedAssignments=149 nbBacktracks=86 nbVisitedNodes=460
2.17 nbRestartNogoods=8 mapSize=76 nbInferences=0 nbTooLargeKeys=0
2.17 => wckTime=0.539 cpuTime=0.49 mem=35M529
2.36
2.36 search
2.36 run=4 nbConstraintChecks=438797 nbValidityChecks=850546 nbPropagations=10891 nbRevisions=125256
2.36 nbUselessRevisions=99358 nbAssignments=406 nbFailedAssignments=223 nbBacktracks=139 nbVisitedNodes=693
2.36 nbRestartNogoods=15 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.36 => wckTime=0.729 cpuTime=0.67 mem=35M529
2.61
2.61 search
2.61 run=5 nbConstraintChecks=610844 nbValidityChecks=1167295 nbPropagations=16943 nbRevisions=195635
2.61 nbUselessRevisions=155043 nbAssignments=554 nbFailedAssignments=292 nbBacktracks=214 nbVisitedNodes=941
2.61 nbRestartNogoods=17 mapSize=167 nbInferences=0 nbTooLargeKeys=0
2.61 => wckTime=0.978 cpuTime=0.91 mem=35M529
2.99
2.99 search
2.99 run=6 nbConstraintChecks=876378 nbValidityChecks=1677489 nbPropagations=25621 nbRevisions=295748
2.99 nbUselessRevisions=234250 nbAssignments=789 nbFailedAssignments=381 nbBacktracks=328 nbVisitedNodes=1297
2.99 nbRestartNogoods=24 mapSize=255 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=1.358 cpuTime=1.29 mem=35M529
3.62
3.63 search
3.63 run=7 nbConstraintChecks=1346414 nbValidityChecks=2526067 nbPropagations=38602 nbRevisions=444131
3.63 nbUselessRevisions=350400 nbAssignments=1147 nbFailedAssignments=565 nbBacktracks=498 nbVisitedNodes=1935
3.63 nbRestartNogoods=29 mapSize=380 nbInferences=0 nbTooLargeKeys=0
3.63 => wckTime=1.996 cpuTime=1.92 mem=35M529
4.41
4.41 search
4.41 run=8 nbConstraintChecks=1895096 nbValidityChecks=3716410 nbPropagations=58512 nbRevisions=678359
4.41 nbUselessRevisions=535491 nbAssignments=1784 nbFailedAssignments=932 nbBacktracks=754 nbVisitedNodes=3076
4.41 nbRestartNogoods=36 mapSize=587 nbInferences=0 nbTooLargeKeys=0
4.41 => wckTime=2.782 cpuTime=2.69 mem=35M529
5.61
5.61 search
5.61 run=9 nbConstraintChecks=2767306 nbValidityChecks=5338310 nbPropagations=87280 nbRevisions=1011691
5.61 nbUselessRevisions=797503 nbAssignments=2493 nbFailedAssignments=1252 nbBacktracks=1139 nbVisitedNodes=4309
5.61 nbRestartNogoods=42 mapSize=892 nbInferences=0 nbTooLargeKeys=0
5.61 => wckTime=3.979 cpuTime=3.88 mem=35M529
6.10
6.10 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=35M529)
7.63
7.63 search
7.63 run=10 nbConstraintChecks=4323232 nbValidityChecks=8246808 nbPropagations=131126 nbRevisions=1514232
7.63 nbUselessRevisions=1189812 nbAssignments=3715 nbFailedAssignments=1893 nbBacktracks=1715 nbVisitedNodes=6528
7.63 nbRestartNogoods=53
7.63 => wckTime=6.006 cpuTime=5.89 mem=35M529
10.50
10.50 search
10.50 run=11 nbConstraintChecks=6491915 nbValidityChecks=12308592 nbPropagations=196349 nbRevisions=2267093
10.50 nbUselessRevisions=1781365 nbAssignments=5605 nbFailedAssignments=2915 nbBacktracks=2579 nbVisitedNodes=9972
10.50 nbRestartNogoods=70
10.50 => wckTime=8.867 cpuTime=8.75 mem=35M529
14.80
14.80 search
14.80 run=12 nbConstraintChecks=9679802 nbValidityChecks=18273675 nbPropagations=293309 nbRevisions=3378081
14.80 nbUselessRevisions=2650927 nbAssignments=8160 nbFailedAssignments=4161 nbBacktracks=3878 nbVisitedNodes=14507
14.80 nbRestartNogoods=81
14.80 => wckTime=13.167 cpuTime=13.04 mem=35M529
22.21
22.21 search
22.21 run=13 nbConstraintChecks=15453253 nbValidityChecks=28895079 nbPropagations=443640 nbRevisions=5087662
22.21 nbUselessRevisions=3981752 nbAssignments=12428 nbFailedAssignments=6476 nbBacktracks=5826 nbVisitedNodes=22310
22.21 nbRestartNogoods=95
22.21 => wckTime=20.586 cpuTime=20.45 mem=35M529
31.79
31.79 search
31.79 run=14 nbConstraintChecks=22370969 nbValidityChecks=43589464 nbPropagations=678138 nbRevisions=7813689
31.79 nbUselessRevisions=6118381 nbAssignments=19819 nbFailedAssignments=10935 nbBacktracks=8746 nbVisitedNodes=36074
31.79 nbRestartNogoods=114
31.79 => wckTime=30.157 cpuTime=30.02 mem=35M529
46.54
46.54 search
46.54 run=15 nbConstraintChecks=33606060 nbValidityChecks=64442825 nbPropagations=1019216 nbRevisions=11741970
46.54 nbUselessRevisions=9184598 nbAssignments=28598 nbFailedAssignments=15322 nbBacktracks=13124
46.54 nbVisitedNodes=51818 nbRestartNogoods=129
46.54 => wckTime=44.913 cpuTime=44.77 mem=35M529
68.61
68.61 search
68.61 run=16 nbConstraintChecks=50238306 nbValidityChecks=95611650 nbPropagations=1527532 nbRevisions=17519379
68.61 nbUselessRevisions=13694935 nbAssignments=42568 nbFailedAssignments=22697 nbBacktracks=19695
68.61 nbVisitedNodes=76928 nbRestartNogoods=154
68.61 => wckTime=66.983 cpuTime=66.83 mem=35M529
104.17
104.17 search
104.17 run=17 nbConstraintChecks=77367688 nbValidityChecks=145884374 nbPropagations=2291822 nbRevisions=26174480
104.17 nbUselessRevisions=20419948 nbAssignments=63457 nbFailedAssignments=33721 nbBacktracks=29547
104.17 nbVisitedNodes=114815 nbRestartNogoods=171
104.17 => wckTime=102.546 cpuTime=102.38 mem=35M529
149.07
149.07 search
149.07 run=18 nbConstraintChecks=110326964 nbValidityChecks=211529344 nbPropagations=3418965 nbRevisions=39143622
149.07 nbUselessRevisions=30564435 nbAssignments=95772 nbFailedAssignments=51254 nbBacktracks=44325
149.07 nbVisitedNodes=172849 nbRestartNogoods=182
149.07 => wckTime=147.441 cpuTime=147.27 mem=35M529
230.01
230.01 search
230.01 run=19 nbConstraintChecks=172589147 nbValidityChecks=326432083 nbPropagations=5124868 nbRevisions=58610558
230.01 nbUselessRevisions=45707797 nbAssignments=143492 nbFailedAssignments=76792 nbBacktracks=66493
230.01 nbVisitedNodes=259729 nbRestartNogoods=200
230.01 => wckTime=228.386 cpuTime=228.18 mem=35M529
363.55
363.55 search
363.55 run=20 nbConstraintChecks=271423989 nbValidityChecks=525726617 nbPropagations=7901676 nbRevisions=91105162
363.55 nbUselessRevisions=71122308 nbAssignments=234223 nbFailedAssignments=134255 nbBacktracks=99746
363.55 nbVisitedNodes=430959 nbRestartNogoods=216
363.55 => wckTime=361.918 cpuTime=361.67 mem=35M529
538.99
538.99 search
538.99 run=21 nbConstraintChecks=404552710 nbValidityChecks=772964381 nbPropagations=11952352 nbRevisions=137983132
538.99 nbUselessRevisions=107687620 nbAssignments=336300 nbFailedAssignments=186421 nbBacktracks=149624
538.99 nbVisitedNodes=615069 nbRestartNogoods=244
538.99 => wckTime=537.358 cpuTime=537.04 mem=35M529
787.22
787.22 search
787.22 run=22 nbConstraintChecks=591142017 nbValidityChecks=1125122295 nbPropagations=17893183 nbRevisions=205651632
787.22 nbUselessRevisions=160605544 nbAssignments=497110 nbFailedAssignments=272406 nbBacktracks=224443
787.22 nbVisitedNodes=905436 nbRestartNogoods=262
787.22 => wckTime=785.596 cpuTime=785.19 mem=35M529
1185.18
1185.18 search
1185.18 run=23 nbConstraintChecks=889793101 nbValidityChecks=1684530707 nbPropagations=26719011 nbRevisions=306559750
1185.18 nbUselessRevisions=239387818 nbAssignments=728065 nbFailedAssignments=391129 nbBacktracks=336670
1185.18 nbVisitedNodes=1320946 nbRestartNogoods=272
1185.18 => wckTime=1183.554 cpuTime=1183.02 mem=35M529
1800.22
1800.22 search
1800.22 run=24 nbConstraintChecks=1351470090 nbValidityChecks=2562164553 nbPropagations=40140216 nbRevisions=459555106
1800.22 nbUselessRevisions=358797402 nbAssignments=1107462 nbFailedAssignments=602181 nbBacktracks=505011
1800.22 nbVisitedNodes=2014078 nbRestartNogoods=283
1800.22 => wckTime=1798.591 cpuTime=1797.78 mem=35M529
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-196117-1168119110 -o ROOT/results/node43/solver-196117-1168119110 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196117-1168119110/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: 0.92 0.98 1.14 3/65 22006
/proc/meminfo: memFree=1879392/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=1784 CPUtime=0
/proc/22005/stat : 22005 (java) D 22003 22005 20395 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 160310142 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22005/statm: 446 140 106 14 0 91 0
[startup+0.103206 s]
/proc/loadavg: 0.92 0.98 1.14 3/65 22006
/proc/meminfo: memFree=1879392/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=914988 CPUtime=0.08
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 3001 0 1 0 7 1 0 0 16 0 8 0 160310142 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516273 s]
/proc/loadavg: 0.92 0.98 1.14 3/65 22006
/proc/meminfo: memFree=1879392/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915328 CPUtime=0.41
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 6382 0 15 0 38 3 0 0 16 0 8 0 160310142 937295872 6135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228832 6136 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33841 s]
/proc/loadavg: 0.92 0.98 1.14 2/72 22013
/proc/meminfo: memFree=1808232/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915328 CPUtime=1.24
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 19093 0 15 0 113 11 0 0 17 0 8 0 160310142 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473394 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22005/statm: 228832 18845 2160 14 0 215302 0
[pid=22005/tid=22007] ppid=22003 vsize=915328 CPUtime=0.05
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 2645 0 0 0 4 1 0 0 17 0 8 0 160310146 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915328 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160310146 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915328 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160310146 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915328 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915328 CPUtime=0.08
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 320 0 0 0 8 0 0 0 16 0 8 0 160310150 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915328 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937295872 18845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915328 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937295872 18845 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) 915328
[startup+2.97468 s]
/proc/loadavg: 0.92 0.98 1.14 2/72 22013
/proc/meminfo: memFree=1792104/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=2.86
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23463 0 15 0 273 13 0 0 17 0 8 0 160310142 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23213 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.18
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 371 0 0 0 17 1 0 0 15 0 8 0 160310150 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915416
[startup+6.26923 s]
/proc/loadavg: 0.93 0.98 1.14 2/72 22013
/proc/meminfo: memFree=1791848/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=6.16
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23479 0 15 0 602 14 0 0 17 0 8 0 160310142 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23226 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.2
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 160310150 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915416
[startup+12.7383 s]
/proc/loadavg: 0.93 0.98 1.14 2/72 22013
/proc/meminfo: memFree=1791928/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=12.62
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23484 0 15 0 1248 14 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.21
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416
[startup+25.5794 s]
/proc/loadavg: 0.95 0.98 1.13 2/72 22013
/proc/meminfo: memFree=1792120/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=25.45
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 2531 14 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915416
[startup+51.2607 s]
/proc/loadavg: 0.96 0.98 1.13 2/72 22013
/proc/meminfo: memFree=1792184/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=51.11
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 5097 14 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915416
[startup+102.513 s]
/proc/loadavg: 0.98 0.98 1.12 2/72 22013
/proc/meminfo: memFree=1792248/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=102.35
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 10221 14 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915416
[startup+162.591 s]
/proc/loadavg: 0.99 0.98 1.11 2/72 22013
/proc/meminfo: memFree=1792248/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=162.4
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 16226 14 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.76
Current children cumulated vsize (KiB) 915416
[startup+1484.47 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 22013
/proc/meminfo: memFree=1791736/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1483.83
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 148367 16 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 915416
[startup+1544.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 22013
/proc/meminfo: memFree=1791800/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1543.89
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 154373 16 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.89
Current children cumulated vsize (KiB) 915416
[startup+1604.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 22013
/proc/meminfo: memFree=1791736/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1603.95
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 160379 16 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.95
Current children cumulated vsize (KiB) 915416
[startup+1664.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 22013
/proc/meminfo: memFree=1791736/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1664.01
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 166385 16 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.01
Current children cumulated vsize (KiB) 915416
[startup+1724.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 22013
/proc/meminfo: memFree=1791736/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1724.08
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 172392 16 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.08
Current children cumulated vsize (KiB) 915416
[startup+1784.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22137
/proc/meminfo: memFree=1790400/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1784.01
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 178383 18 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.01
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22157
/proc/meminfo: memFree=1790400/2055920 swapFree=4192812/4192956
[pid=22005] ppid=22003 vsize=915416 CPUtime=1800.03
/proc/22005/stat : 22005 (java) R 22003 22005 20395 0 -1 0 23485 0 15 0 179985 18 0 0 25 0 8 0 160310142 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22005/statm: 228854 23230 2531 14 0 215324 0
[pid=22005/tid=22007] ppid=22003 vsize=915416 CPUtime=0.15
/proc/22005/task/22007/stat : 22007 (java) S 22003 22005 20395 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22008] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22008/stat : 22008 (java) S 22003 22005 20395 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22009] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22009/stat : 22009 (java) S 22003 22005 20395 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160310146 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22010] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22010/stat : 22010 (java) S 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22011] ppid=22003 vsize=915416 CPUtime=0.22
/proc/22005/task/22011/stat : 22011 (java) S 22003 22005 20395 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22005/tid=22012] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22012/stat : 22012 (java) S 22003 22005 20395 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22005/tid=22013] ppid=22003 vsize=915416 CPUtime=0
/proc/22005/task/22013/stat : 22013 (java) R 22003 22005 20395 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160310150 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.91
CPU time (s): 1800.1
CPU user time (s): 1799.9
CPU system time (s): 0.199969
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23501
page faults= 15
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37337
involuntary context switches= 22525
runsolver used 1.87871 s user time and 4.51231 s system time
The end
Begin job on node43 on Sat Jan 6 21:31:50 UTC 2007
IDJOB= 196117
IDBENCH= 3327
FILE ID= node43/196117-1168119110
PBS_JOBID= 3477401
Free space on /tmp= 66480 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196117-1168119110/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-196117-1168119110 -o ROOT/results/node43/solver-196117-1168119110 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196117-1168119110/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4e6c42cb632ce7285d1803ee4c764767
RANDOM SEED= 293670300
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.278
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.278
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: 1879872 kB
Buffers: 42600 kB
Cached: 63752 kB
SwapCached: 0 kB
Active: 62308 kB
Inactive: 59860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4512 kB
Writeback: 0 kB
Mapped: 25956 kB
Slab: 39952 kB
Committed_AS: 3075272 kB
PageTables: 1392 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= 66480 MiB
End job on node43 on Sat Jan 6 22:01:51 UTC 2007