0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/194567-1168069378/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=470 nbRelationTypes=470 nbExtensionStructures=470 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=470 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2460 maxDegree=29
0.72 maxArity=2
0.72 => wckTime=0.402 cpuTime=0.3 mem=17M695
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.611 cpuTime=0.43 mem=15M373
0.94
0.94 preprocessing
0.94 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.94 detectedInconsistency=no
0.94 => wckTime=0.0090 cpuTime=0.0 mem=15M373
0.99
0.99 search
0.99 run=0 nbConstraintChecks=60074 nbPropagations=701 nbRevisions=8729 nbUselessRevisions=7239 nbAssignments=30
0.99 nbFailedAssignments=9 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.062 cpuTime=0.04 mem=15M373
1.03
1.03 search
1.03 run=1 nbConstraintChecks=132360 nbPropagations=2222 nbRevisions=29186 nbUselessRevisions=24047
1.03 nbAssignments=67 nbFailedAssignments=22 nbBacktracks=29 nbVisitedNodes=106 nbRestartNogoods=2 mapSize=27
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.095 cpuTime=0.06 mem=15M373
1.05
1.05 search
1.05 run=2 nbConstraintChecks=240459 nbPropagations=4993 nbRevisions=67808 nbUselessRevisions=55671
1.05 nbAssignments=133 nbFailedAssignments=50 nbBacktracks=55 nbVisitedNodes=214 nbRestartNogoods=5 mapSize=49
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.116 cpuTime=0.08 mem=15M373
1.07
1.07 search
1.07 run=3 nbConstraintChecks=366557 nbPropagations=9241 nbRevisions=128198 nbUselessRevisions=105366
1.07 nbAssignments=203 nbFailedAssignments=77 nbBacktracks=90 nbVisitedNodes=335 nbRestartNogoods=7 mapSize=82
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.141 cpuTime=0.1 mem=15M373
1.10
1.10 search
1.11 run=4 nbConstraintChecks=537730 nbPropagations=15502 nbRevisions=217675 nbUselessRevisions=178916
1.11 nbAssignments=303 nbFailedAssignments=113 nbBacktracks=141 nbVisitedNodes=501 nbRestartNogoods=8 mapSize=124
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.174 cpuTime=0.13 mem=15M373
1.16
1.16 search
1.16 run=5 nbConstraintChecks=830637 nbPropagations=24930 nbRevisions=356487 nbUselessRevisions=292618
1.16 nbAssignments=458 nbFailedAssignments=184 nbBacktracks=216 nbVisitedNodes=774 nbRestartNogoods=12 mapSize=191
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.23 cpuTime=0.18 mem=15M373
1.22
1.22 search
1.22 run=6 nbConstraintChecks=1163613 nbPropagations=38163 nbRevisions=553801 nbUselessRevisions=453985
1.22 nbAssignments=664 nbFailedAssignments=267 nbBacktracks=330 nbVisitedNodes=1121 nbRestartNogoods=19 mapSize=288
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.29 cpuTime=0.24 mem=15M373
1.30
1.30 search
1.31 run=7 nbConstraintChecks=1628164 nbPropagations=57001 nbRevisions=836645 nbUselessRevisions=686387
1.31 nbAssignments=944 nbFailedAssignments=366 nbBacktracks=500 nbVisitedNodes=1591 nbRestartNogoods=21 mapSize=427
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.374 cpuTime=0.32 mem=15M373
1.42
1.42 search
1.42 run=8 nbConstraintChecks=2293586 nbPropagations=83237 nbRevisions=1229636 nbUselessRevisions=1008467
1.42 nbAssignments=1345 nbFailedAssignments=499 nbBacktracks=756 nbVisitedNodes=2249 nbRestartNogoods=27
1.42 mapSize=611 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.488 cpuTime=0.42 mem=15M373
1.59
1.59 search
1.59 run=9 nbConstraintChecks=3255856 nbPropagations=120934 nbRevisions=1791135 nbUselessRevisions=1468050
1.59 nbAssignments=1958 nbFailedAssignments=719 nbBacktracks=1141 nbVisitedNodes=3273 nbRestartNogoods=37
1.59 mapSize=917 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.662 cpuTime=0.58 mem=15M373
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M373)
1.85
1.85 search
1.85 run=10 nbConstraintChecks=4871257 nbPropagations=177935 nbRevisions=2650656 nbUselessRevisions=2172040
1.85 nbAssignments=2935 nbFailedAssignments=1106 nbBacktracks=1718 nbVisitedNodes=4953 nbRestartNogoods=39
1.85 => wckTime=0.917 cpuTime=0.83 mem=15M373
2.14
2.14 search
2.14 run=11 nbConstraintChecks=6814100 nbPropagations=259370 nbRevisions=3879528 nbUselessRevisions=3178002
2.14 nbAssignments=4299 nbFailedAssignments=1596 nbBacktracks=2586 nbVisitedNodes=7237 nbRestartNogoods=47
2.14 => wckTime=1.212 cpuTime=1.13 mem=15M373
2.62
2.62 search
2.62 run=12 nbConstraintChecks=10029439 nbPropagations=378681 nbRevisions=5691581 nbUselessRevisions=4661017
2.62 nbAssignments=6353 nbFailedAssignments=2341 nbBacktracks=3885 nbVisitedNodes=10688 nbRestartNogoods=50
2.62 => wckTime=1.688 cpuTime=1.59 mem=15M373
3.35
3.35 search
3.35 run=13 nbConstraintChecks=15139551 nbPropagations=557505 nbRevisions=8423169 nbUselessRevisions=6896808
3.35 nbAssignments=9440 nbFailedAssignments=3471 nbBacktracks=5831 nbVisitedNodes=15884 nbRestartNogoods=58
3.35 => wckTime=2.414 cpuTime=2.32 mem=15M373
4.49
4.49 search
4.49 run=14 nbConstraintChecks=22709776 nbPropagations=827763 nbRevisions=12572642 nbUselessRevisions=10298943
4.49 nbAssignments=14184 nbFailedAssignments=5286 nbBacktracks=8751 nbVisitedNodes=23976 nbRestartNogoods=63
4.49 => wckTime=3.562 cpuTime=3.42 mem=15M373
6.32
6.32 search
6.32 run=15 nbConstraintChecks=35885037 nbPropagations=1242288 nbRevisions=18984489 nbUselessRevisions=15545313
6.32 nbAssignments=21464 nbFailedAssignments=8180 nbBacktracks=13129 nbVisitedNodes=36621 nbRestartNogoods=69
6.32 => wckTime=5.386 cpuTime=5.23 mem=15M373
9.09
9.09 search
9.09 run=16 nbConstraintChecks=55647381 nbPropagations=1879828 nbRevisions=28902505 nbUselessRevisions=23663666
9.09 nbAssignments=32455 nbFailedAssignments=12591 nbBacktracks=19698 nbVisitedNodes=55730 nbRestartNogoods=80
9.09 => wckTime=8.155 cpuTime=7.97 mem=15M373
13.07
13.07 search
13.07 run=17 nbConstraintChecks=84128231 nbPropagations=2839075 nbRevisions=43854864 nbUselessRevisions=35899181
13.07 nbAssignments=48796 nbFailedAssignments=19073 nbBacktracks=29552 nbVisitedNodes=83867 nbRestartNogoods=91
13.07 => wckTime=12.141 cpuTime=11.93 mem=15M373
18.92
18.92 search
18.92 run=18 nbConstraintChecks=125478437 nbPropagations=4276227 nbRevisions=66175693 nbUselessRevisions=54161345
18.92 nbAssignments=73114 nbFailedAssignments=28602 nbBacktracks=44332 nbVisitedNodes=125624 nbRestartNogoods=100
18.92 => wckTime=17.991 cpuTime=17.74 mem=15M373
27.94
27.94 search
27.94 run=19 nbConstraintChecks=190109508 nbPropagations=6431515 nbRevisions=99835620 nbUselessRevisions=81699221
27.94 nbAssignments=109700 nbFailedAssignments=43012 nbBacktracks=66500 nbVisitedNodes=188432 nbRestartNogoods=111
27.94 => wckTime=27.008 cpuTime=26.69 mem=15M373
40.49
40.49 search
40.49 run=20 nbConstraintChecks=276171480 nbPropagations=9623155 nbRevisions=149666447 nbUselessRevisions=122538909
40.49 nbAssignments=163706 nbFailedAssignments=63755 nbBacktracks=99755 nbVisitedNodes=280861 nbRestartNogoods=125
40.49 => wckTime=39.558 cpuTime=39.14 mem=15M373
59.18
59.18 search
59.18 run=21 nbConstraintChecks=403385580 nbPropagations=14357071 nbRevisions=223821709 nbUselessRevisions=183488714
59.18 nbAssignments=244240 nbFailedAssignments=94401 nbBacktracks=149635 nbVisitedNodes=418717 nbRestartNogoods=138
59.18 => wckTime=58.248 cpuTime=57.66 mem=15M373
87.17
87.17 search
87.17 run=22 nbConstraintChecks=596558131 nbPropagations=21380671 nbRevisions=333562012 nbUselessRevisions=273626461
87.17 nbAssignments=363511 nbFailedAssignments=138840 nbBacktracks=224454 nbVisitedNodes=622019 nbRestartNogoods=147
87.17 => wckTime=86.236 cpuTime=85.44 mem=15M373
133.07
133.07 search
133.07 run=23 nbConstraintChecks=918675391 nbPropagations=32116121 nbRevisions=503135713 nbUselessRevisions=413188674
133.07 nbAssignments=552097 nbFailedAssignments=215188 nbBacktracks=336681 nbVisitedNodes=948671 nbRestartNogoods=160
133.07 => wckTime=132.142 cpuTime=130.97 mem=15M373
197.26
197.27 search
197.27 run=24 nbConstraintChecks=1366569917 nbPropagations=48089649 nbRevisions=754401234 nbUselessRevisions=619822314
197.27 nbAssignments=821572 nbFailedAssignments=316312 nbBacktracks=505022 nbVisitedNodes=1408306 nbRestartNogoods=177
197.27 => wckTime=196.334 cpuTime=194.62 mem=15M373
299.48
299.48 search
299.48 run=25 nbConstraintChecks=2088695978 nbPropagations=72283930 nbRevisions=1134921099
299.48 nbUselessRevisions=932527232 nbAssignments=1233470 nbFailedAssignments=475690 nbBacktracks=757533
299.48 nbVisitedNodes=2116699 nbRestartNogoods=193
299.48 => wckTime=298.548 cpuTime=296.0 mem=15M373
447.83
447.83 search
447.83 run=26 nbConstraintChecks=3132056186 nbPropagations=108478999 nbRevisions=1703900217
447.83 nbUselessRevisions=1399820196 nbAssignments=1848406 nbFailedAssignments=711852 nbBacktracks=1136301
447.83 nbVisitedNodes=3170484 nbRestartNogoods=211
447.83 => wckTime=446.899 cpuTime=443.15 mem=15M373
667.60
667.60 search
667.60 run=27 nbConstraintChecks=4657397908 nbPropagations=162578747 nbRevisions=2557175873
667.60 nbUselessRevisions=2101585427 nbAssignments=2770413 nbFailedAssignments=1065698 nbBacktracks=1704454
667.60 nbVisitedNodes=4750962 nbRestartNogoods=228
667.60 => wckTime=666.667 cpuTime=661.11 mem=15M373
994.65
994.65 search
994.65 run=28 nbConstraintChecks=6927779127 nbPropagations=243348330 nbRevisions=3825874961
994.65 nbUselessRevisions=3144451871 nbAssignments=4139219 nbFailedAssignments=1582269 nbBacktracks=2556680
994.65 nbVisitedNodes=7086014 nbRestartNogoods=239
994.65 => wckTime=993.722 cpuTime=985.49 mem=15M373
1497.35
1497.35 search
1497.35 run=29 nbConstraintChecks=10449038821 nbPropagations=364739223 nbRevisions=5733539967
1497.35 nbUselessRevisions=4712818629 nbAssignments=6215512 nbFailedAssignments=2380209 nbBacktracks=3835024
1497.35 nbVisitedNodes=10645062 nbRestartNogoods=256
1497.35 => wckTime=1496.418 cpuTime=1483.84 mem=16M348
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-194567-1168069378 -o ROOT/results/node5/solver-194567-1168069378 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194567-1168069378/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.77 1.29 1.65 4/93 4747
/proc/meminfo: memFree=1142264/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=1500 CPUtime=0
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 135553288 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7833618 0 0 4096 0 0 0 0 17 1 0 0
/proc/4746/statm: 363 70 54 14 0 8 0
[startup+0.10286 s]
/proc/loadavg: 0.77 1.29 1.65 4/93 4747
/proc/meminfo: memFree=1142264/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=914988 CPUtime=0.09
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 3004 0 1 0 7 2 0 0 22 0 8 0 135553288 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510907 s]
/proc/loadavg: 0.77 1.29 1.65 4/93 4747
/proc/meminfo: memFree=1142264/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915328 CPUtime=0.49
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 6807 0 1 0 45 4 0 0 25 0 8 0 135553288 937295872 6546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228832 6546 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33233 s]
/proc/loadavg: 0.77 1.29 1.65 3/100 4754
/proc/meminfo: memFree=1114624/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1.3
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9627 0 1 0 123 7 0 0 25 0 8 0 135553288 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9365 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.22
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 380 0 0 0 22 0 0 0 15 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97018 s]
/proc/loadavg: 0.87 1.30 1.65 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=2.92
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9644 0 1 0 285 7 0 0 25 0 8 0 135553288 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9381 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 135553291 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 396 0 0 0 25 1 0 0 15 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+6.26956 s]
/proc/loadavg: 0.87 1.30 1.65 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=6.16
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9645 0 1 0 609 7 0 0 25 0 8 0 135553288 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9381 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 396 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9381 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+12.7353 s]
/proc/loadavg: 1.04 1.32 1.66 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=12.58
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9646 0 1 0 1251 7 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915460
[startup+25.5967 s]
/proc/loadavg: 1.19 1.35 1.66 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=25.34
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 2527 7 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.2937 s]
/proc/loadavg: 1.47 1.40 1.67 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=50.82
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 5075 7 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915460
[startup+102.583 s]
/proc/loadavg: 1.79 1.50 1.68 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=101.7
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 10162 8 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9382 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 397 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915460
[startup+162.612 s]
/proc/loadavg: 1.91 1.58 1.70 3/100 4754
/proc/meminfo: memFree=1114560/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=161.25
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9647 0 1 0 16117 8 0 0 25 0 8 0 135553288 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.43
Current children cumulated vsize (KiB) 915460
[startup+1483.34 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 4952
/proc/meminfo: memFree=1114312/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1470.97
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 147077 20 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.97
Current children cumulated vsize (KiB) 915460
[startup+1543.37 s]
/proc/loadavg: 2.20 2.03 1.93 3/100 4952
/proc/meminfo: memFree=1114312/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1530.51
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 153030 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.51
Current children cumulated vsize (KiB) 915460
[startup+1603.41 s]
/proc/loadavg: 2.07 2.03 1.93 3/100 4952
/proc/meminfo: memFree=1114312/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1590.05
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 158984 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.05
Current children cumulated vsize (KiB) 915460
[startup+1663.44 s]
/proc/loadavg: 2.02 2.02 1.93 3/100 4952
/proc/meminfo: memFree=1114376/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1649.59
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 164938 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.59
Current children cumulated vsize (KiB) 915460
[startup+1723.47 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 4952
/proc/meminfo: memFree=1114376/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1709.12
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 170891 21 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.12
Current children cumulated vsize (KiB) 915460
[startup+1783.5 s]
/proc/loadavg: 1.92 1.99 1.92 2/88 4968
/proc/meminfo: memFree=1144096/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1768.7
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 176848 22 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.7
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.09 s]
/proc/loadavg: 1.95 1.99 1.92 3/100 5010
/proc/meminfo: memFree=737856/2055920 swapFree=4192812/4192956
[pid=4746] ppid=4744 vsize=915460 CPUtime=1800.07
/proc/4746/stat : 4746 (java) R 4744 4746 4510 0 -1 0 9650 0 1 0 179980 27 0 0 25 0 8 0 135553288 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4746/statm: 228865 9385 2513 14 0 215335 0
[pid=4746/tid=4748] ppid=4744 vsize=915460 CPUtime=0.03
/proc/4746/task/4748/stat : 4748 (java) S 4744 4746 4510 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 135553291 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4746/tid=4749] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4749/stat : 4749 (java) S 4744 4746 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4750] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4750/stat : 4750 (java) S 4744 4746 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135553292 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4751] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4751/stat : 4751 (java) S 4744 4746 4510 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4752] ppid=4744 vsize=915460 CPUtime=0.26
/proc/4746/task/4752/stat : 4752 (java) S 4744 4746 4510 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4753] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4753/stat : 4753 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4746/tid=4754] ppid=4744 vsize=915460 CPUtime=0
/proc/4746/task/4754/stat : 4754 (java) S 4744 4746 4510 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135553295 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.12
CPU time (s): 1800.1
CPU user time (s): 1799.82
CPU system time (s): 0.279957
CPU usage (%): 99.1725
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9669
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37848
involuntary context switches= 102858
runsolver used 1.90471 s user time and 4.69129 s system time
The end
Begin job on node5 on Sat Jan 6 07:43:04 UTC 2007
IDJOB= 194567
IDBENCH= 3221
FILE ID= node5/194567-1168069378
PBS_JOBID= 3475706
Free space on /tmp= 66331 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-24_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194567-1168069378/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-194567-1168069378 -o ROOT/results/node5/solver-194567-1168069378 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194567-1168069378/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 327787098fd49aff3919ed22760f4f0f
RANDOM SEED= 91500171
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.240
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.240
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: 1142680 kB
Buffers: 71700 kB
Cached: 671608 kB
SwapCached: 0 kB
Active: 297260 kB
Inactive: 521384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1142680 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4312 kB
Writeback: 0 kB
Mapped: 104392 kB
Slab: 79236 kB
Committed_AS: 3922716 kB
PageTables: 2272 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= 66214 MiB
End job on node5 on Sat Jan 6 08:13:30 UTC 2007