0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/214248-1168229180/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.49 nbVariables=696 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.145 cpuTime=0.12 mem=8M25
0.49
0.49 predicates being loaded...
0.51
0.51 constraints being loaded...
0.96 nbConstraints=1062 nbMergedConstraints=1034 nbConvertedConstraints=290 nbConvertConstraintsChecks=68
0.96 nbExtensionStructures=3 nbSharedExtensionStructures=287 nbConflictsStructures=8 nbSharedConflictsStructures=1030
0.96 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=9 nbEvaluationManagers=6
0.96 nbSharedEvaluationManagers=766 maxDegree=9 maxArity=29
0.96 => wckTime=0.607 cpuTime=0.48 mem=41M181
1.02
1.02 solver IterativeSystematicSolver being built...
1.25 => wckTime=0.898 cpuTime=0.68 mem=23M615
12.98
12.98 preprocessing
12.98 nbConstraintChecks=4233817 nbValidityChecks=15383 nbPropagations=2250 nbRevisions=10296 nbUselessRevisions=9614
12.98 nbSingletonTests=919 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
12.98 => wckTime=11.733 cpuTime=11.68 mem=23M615
21.75
21.76 search
21.76 run=0 nbConstraintChecks=3147430 nbValidityChecks=5687 nbPropagations=2914 nbRevisions=14241
21.76 nbUselessRevisions=13041 nbAssignments=315 nbFailedAssignments=2 nbBacktracks=12 nbVisitedNodes=320
21.76 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
21.76 => wckTime=20.504 cpuTime=20.43 mem=24M588
33.28
33.28 search
33.28 run=1 nbConstraintChecks=7342876 nbValidityChecks=9785 nbPropagations=6458 nbRevisions=31386
33.28 nbUselessRevisions=28557 nbAssignments=554 nbFailedAssignments=6 nbBacktracks=32 nbVisitedNodes=563
33.28 nbRestartNogoods=1 mapSize=11 nbInferences=0 nbTooLargeKeys=0
33.28 => wckTime=32.034 cpuTime=31.95 mem=24M588
43.61
43.61 search
43.61 run=2 nbConstraintChecks=11148818 nbValidityChecks=15399 nbPropagations=10705 nbRevisions=52151
43.61 nbUselessRevisions=47122 nbAssignments=756 nbFailedAssignments=12 nbBacktracks=54 nbVisitedNodes=773
43.61 nbRestartNogoods=2 mapSize=20 nbInferences=0 nbTooLargeKeys=0
43.61 => wckTime=42.361 cpuTime=42.27 mem=24M588
43.65
43.65 search
43.65 run=3 nbConstraintChecks=11149662 nbValidityChecks=18868 nbPropagations=15312 nbRevisions=75298
43.65 nbUselessRevisions=67866 nbAssignments=943 nbFailedAssignments=27 nbBacktracks=87 nbVisitedNodes=990
43.65 nbRestartNogoods=3 mapSize=44 nbInferences=0 nbTooLargeKeys=0
43.65 => wckTime=42.4 cpuTime=42.3 mem=24M588
44.47
44.47 search
44.47 run=4 nbConstraintChecks=11429392 nbValidityChecks=24788 nbPropagations=20494 nbRevisions=102410
44.47 nbUselessRevisions=92217 nbAssignments=1199 nbFailedAssignments=39 nbBacktracks=158 nbVisitedNodes=1271
44.47 nbRestartNogoods=4 mapSize=65 nbInferences=0 nbTooLargeKeys=0
44.47 => wckTime=43.217 cpuTime=43.11 mem=24M588
44.91
44.91 search
44.91 run=5 nbConstraintChecks=11569984 nbValidityChecks=31017 nbPropagations=26361 nbRevisions=133748
44.91 nbUselessRevisions=120348 nbAssignments=1488 nbFailedAssignments=56 nbBacktracks=253 nbVisitedNodes=1597
44.91 nbRestartNogoods=7 mapSize=94 nbInferences=0 nbTooLargeKeys=0
44.91 => wckTime=43.663 cpuTime=43.55 mem=25M561
79.05
79.05 search
79.05 run=6 nbConstraintChecks=24158891 nbValidityChecks=38104 nbPropagations=32934 nbRevisions=169741
79.05 nbUselessRevisions=152783 nbAssignments=1863 nbFailedAssignments=75 nbBacktracks=366 nbVisitedNodes=2000
79.05 nbRestartNogoods=9 mapSize=122 nbInferences=0 nbTooLargeKeys=0
79.05 => wckTime=77.8 cpuTime=77.67 mem=25M561
116.92
116.92 search
116.92 run=7 nbConstraintChecks=38141474 nbValidityChecks=49726 nbPropagations=40785 nbRevisions=214170
116.92 nbUselessRevisions=192712 nbAssignments=2282 nbFailedAssignments=118 nbBacktracks=557 nbVisitedNodes=2494
116.92 nbRestartNogoods=11 mapSize=185 nbInferences=0 nbTooLargeKeys=0
116.92 => wckTime=115.67 cpuTime=115.52 mem=25M561
117.96
117.96 search
117.96 run=8 nbConstraintChecks=38476264 nbValidityChecks=67527 nbPropagations=50654 nbRevisions=273057
117.96 nbUselessRevisions=245231 nbAssignments=2822 nbFailedAssignments=199 nbBacktracks=820 nbVisitedNodes=3199
117.96 nbRestartNogoods=13 mapSize=311 nbInferences=0 nbTooLargeKeys=0
117.96 => wckTime=116.705 cpuTime=116.56 mem=25M561
222.68
222.68 search
222.68 run=9 nbConstraintChecks=77281264 nbValidityChecks=85245 nbPropagations=63079 nbRevisions=344897
222.68 nbUselessRevisions=308476 nbAssignments=3550 nbFailedAssignments=433 nbBacktracks=1207 nbVisitedNodes=4361
222.68 nbRestartNogoods=18 mapSize=613 nbInferences=0 nbTooLargeKeys=0
222.68 => wckTime=221.427 cpuTime=221.24 mem=26M533
817.03
817.03 search
817.03 run=10 nbConstraintChecks=290115304 nbValidityChecks=97458 nbPropagations=77393 nbRevisions=425979
817.03 nbUselessRevisions=379883 nbAssignments=4468 nbFailedAssignments=672 nbBacktracks=1786 nbVisitedNodes=5539
817.03 nbRestartNogoods=22 mapSize=925 nbInferences=0 nbTooLargeKeys=0
817.03 => wckTime=815.775 cpuTime=815.36 mem=26M533
1021.53
1021.53 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=26M533)
1453.62
1453.62 search
1453.62 run=11 nbConstraintChecks=525265228 nbValidityChecks=116215 nbPropagations=95903 nbRevisions=524255
1453.62 nbUselessRevisions=465376 nbAssignments=5656 nbFailedAssignments=894 nbBacktracks=2659 nbVisitedNodes=6949
1453.62 nbRestartNogoods=26
1453.62 => wckTime=1452.373 cpuTime=1451.72 mem=26M533
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-214248-1168229180 -o ROOT/results/node21/solver-214248-1168229180 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214248-1168229180/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.89 0.98 0.99 1/78 13574
/proc/meminfo: memFree=606920/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=172 CPUtime=0
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 171312517 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8438059 0 0 4096 0 0 0 0 17 1 0 0
/proc/13573/statm: 43 24 18 14 0 3 0
[startup+0.102495 s]
/proc/loadavg: 0.89 0.98 0.99 1/78 13574
/proc/meminfo: memFree=606920/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=907808 CPUtime=0.05
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 2495 0 1 0 4 1 0 0 20 0 4 0 171312517 929595392 2242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153791743 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/13573/statm: 226952 2242 1227 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.514569 s]
/proc/loadavg: 0.89 0.98 0.99 1/78 13574
/proc/meminfo: memFree=606920/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915328 CPUtime=0.45
/proc/13573/stat : 13573 (java) S 13571 13573 12281 0 -1 0 6360 0 5 0 40 5 0 0 16 0 8 0 171312517 937295872 6103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228832 6103 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33973 s]
/proc/loadavg: 0.89 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553616/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1.29
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15734 0 5 0 114 15 0 0 16 0 8 0 171312517 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13573/statm: 228940 15476 2540 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 17 0 8 0 171312524 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.24
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 464 0 0 0 23 1 0 0 16 0 8 0 171312528 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915760
[startup+2.97603 s]
/proc/loadavg: 0.89 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553296/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=2.92
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15736 0 5 0 277 15 0 0 18 0 8 0 171312517 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15477 2540 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.24
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 465 0 0 0 23 1 0 0 16 0 8 0 171312528 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915760
[startup+6.26965 s]
/proc/loadavg: 0.89 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553296/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=6.21
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15739 0 5 0 606 15 0 0 25 0 8 0 171312517 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15480 2540 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.24
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 468 0 0 0 23 1 0 0 16 0 8 0 171312528 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915760
[startup+12.7389 s]
/proc/loadavg: 0.91 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553328/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=12.67
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15752 0 5 0 1252 15 0 0 25 0 8 0 171312517 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15490 2542 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.25
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 475 0 0 0 24 1 0 0 16 0 8 0 171312528 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915760
[startup+25.5843 s]
/proc/loadavg: 0.92 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553520/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=25.52
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15766 0 5 0 2536 16 0 0 25 0 8 0 171312517 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15502 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.27
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 485 0 0 0 26 1 0 0 16 0 8 0 171312528 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915760
[startup+51.2711 s]
/proc/loadavg: 0.95 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553584/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=51.19
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15781 0 5 0 5103 16 0 0 25 0 8 0 171312517 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15513 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.29
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 497 0 0 0 28 1 0 0 16 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915760
[startup+102.537 s]
/proc/loadavg: 0.98 0.98 0.99 2/85 13581
/proc/meminfo: memFree=553520/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=102.43
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15781 0 5 0 10227 16 0 0 25 0 8 0 171312517 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15513 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.29
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 497 0 0 0 28 1 0 0 16 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915760
[startup+162.629 s]
/proc/loadavg: 1.02 1.00 1.00 3/85 13581
/proc/meminfo: memFree=553456/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=162.5
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15787 0 5 0 16234 16 0 0 25 0 8 0 171312517 937738240 15516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1424.08
Current children cumulated vsize (KiB) 915760
[startup+1484.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=553072/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1484.16
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 148396 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.16
Current children cumulated vsize (KiB) 915760
[startup+1544.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=553072/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1544.24
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 154404 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.24
Current children cumulated vsize (KiB) 915760
[startup+1604.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=553072/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1604.31
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 160411 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.31
Current children cumulated vsize (KiB) 915760
[startup+1665.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=553072/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1664.38
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 166418 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074000259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.38
Current children cumulated vsize (KiB) 915760
[startup+1725.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=552944/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1724.45
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 172425 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.45
Current children cumulated vsize (KiB) 915760
[startup+1785.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=552944/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1784.53
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 178433 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (KiB) 915760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 13583
/proc/meminfo: memFree=552944/2055920 swapFree=4156316/4192956
[pid=13573] ppid=13571 vsize=915760 CPUtime=1800.04
/proc/13573/stat : 13573 (java) R 13571 13573 12281 0 -1 0 15793 0 5 0 179984 20 0 0 25 0 8 0 171312517 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13573/statm: 228940 15519 2544 14 0 215410 0
[pid=13573/tid=13575] ppid=13571 vsize=915760 CPUtime=0.05
/proc/13573/task/13575/stat : 13575 (java) S 13571 13573 12281 0 -1 64 486 0 0 0 5 0 0 0 16 0 8 0 171312524 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13576] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13576/stat : 13576 (java) S 13571 13573 12281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13577] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13577/stat : 13577 (java) S 13571 13573 12281 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171312525 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13578] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13578/stat : 13578 (java) S 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13579] ppid=13571 vsize=915760 CPUtime=0.31
/proc/13573/task/13579/stat : 13579 (java) S 13571 13573 12281 0 -1 64 504 0 0 0 30 1 0 0 16 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13573/tid=13580] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13580/stat : 13580 (java) S 13571 13573 12281 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13573/tid=13581] ppid=13571 vsize=915760 CPUtime=0
/proc/13573/task/13581/stat : 13581 (java) R 13571 13573 12281 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171312528 937738240 15519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.84
CPU time (s): 1800.12
CPU user time (s): 1799.9
CPU system time (s): 0.218966
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15809
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37628
involuntary context switches= 41020
runsolver used 1.9617 s user time and 4.42833 s system time
The end
Begin job on node21 on Mon Jan 8 04:06:20 UTC 2007
IDJOB= 214248
IDBENCH= 4910
FILE ID= node21/214248-1168229180
PBS_JOBID= 3481040
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/routing/s4-4-3-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214248-1168229180/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-214248-1168229180 -o ROOT/results/node21/solver-214248-1168229180 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214248-1168229180/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 509ad86a68b2cae27f61085b88d077e4
RANDOM SEED= 492168427
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.261
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.261
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: 607336 kB
Buffers: 25636 kB
Cached: 1345784 kB
SwapCached: 2792 kB
Active: 824576 kB
Inactive: 571188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 607336 kB
SwapTotal: 4192956 kB
SwapFree: 4156316 kB
Dirty: 2256 kB
Writeback: 0 kB
Mapped: 32880 kB
Slab: 38312 kB
Committed_AS: 3409164 kB
PageTables: 1792 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= 66563 MiB
End job on node21 on Mon Jan 8 04:36:21 UTC 2007