0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/204266-1168073280/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=46 minDomainSize=102 maxDomainSize=114
0.44 => wckTime=0.117 cpuTime=0.1 mem=6M902
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
1.51 nbConstraints=265 nbConvertedConstraints=265 nbConvertConstraintsChecks=3114172 nbExtensionStructures=265
1.51 nbSharedExtensionStructures=0 nbConflictsStructures=265 nbSharedConflictsStructures=0
1.51 nbSharedBinaryRepresentations=44529 maxDegree=11 maxArity=2
1.51 => wckTime=1.181 cpuTime=1.08 mem=14M704
1.55
1.55 solver IterativeSystematicSolver being built...
1.71 => wckTime=1.389 cpuTime=1.22 mem=14M559
1.72
1.72 preprocessing
1.72 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.72 detectedInconsistency=no
1.72 => wckTime=0.0050 cpuTime=0.0 mem=14M559
1.80
1.80 search
1.80 run=0 nbConstraintChecks=130352 nbPropagations=709 nbRevisions=1889 nbUselessRevisions=962 nbAssignments=87
1.80 nbFailedAssignments=56 nbBacktracks=10 nbVisitedNodes=152 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.80 nbTooLargeKeys=0
1.80 => wckTime=0.082 cpuTime=0.03 mem=15M633
1.82
1.82 search
1.82 run=1 nbConstraintChecks=218713 nbPropagations=2104 nbRevisions=5116 nbUselessRevisions=2508 nbAssignments=201
1.82 nbFailedAssignments=125 nbBacktracks=25 nbVisitedNodes=350 nbRestartNogoods=2 mapSize=23 nbInferences=0
1.82 nbTooLargeKeys=0
1.82 => wckTime=0.107 cpuTime=0.05 mem=15M633
1.83
1.83 search
1.83 run=2 nbConstraintChecks=290436 nbPropagations=3825 nbRevisions=9160 nbUselessRevisions=4480 nbAssignments=243
1.83 nbFailedAssignments=131 nbBacktracks=47 nbVisitedNodes=404 nbRestartNogoods=3 mapSize=29 nbInferences=0
1.83 nbTooLargeKeys=0
1.83 => wckTime=0.117 cpuTime=0.06 mem=15M633
1.86
1.86 search
1.86 run=3 nbConstraintChecks=564844 nbPropagations=6759 nbRevisions=16783 nbUselessRevisions=8202
1.86 nbAssignments=475 nbFailedAssignments=316 nbBacktracks=80 nbVisitedNodes=853 nbRestartNogoods=9 mapSize=62
1.86 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.145 cpuTime=0.09 mem=15M633
1.93
1.93 search
1.93 run=4 nbConstraintChecks=1378147 nbPropagations=13897 nbRevisions=37660 nbUselessRevisions=18841
1.93 nbAssignments=1018 nbFailedAssignments=796 nbBacktracks=130 nbVisitedNodes=1924 nbRestartNogoods=18
1.93 mapSize=112 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.215 cpuTime=0.15 mem=15M633
2.00
2.00 search
2.00 run=5 nbConstraintChecks=2054043 nbPropagations=24832 nbRevisions=70247 nbUselessRevisions=35430
2.00 nbAssignments=1487 nbFailedAssignments=1178 nbBacktracks=205 nbVisitedNodes=2848 nbRestartNogoods=25
2.00 mapSize=187 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=0.281 cpuTime=0.21 mem=15M633
2.12
2.12 search
2.12 run=6 nbConstraintChecks=3541186 nbPropagations=43921 nbRevisions=127240 nbUselessRevisions=64652
2.12 nbAssignments=2538 nbFailedAssignments=2107 nbBacktracks=318 nbVisitedNodes=4935 nbRestartNogoods=35
2.12 mapSize=296 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.4 cpuTime=0.31 mem=15M633
2.23
2.23 search
2.23 run=7 nbConstraintChecks=5064596 nbPropagations=70709 nbRevisions=210204 nbUselessRevisions=106887
2.23 nbAssignments=3757 nbFailedAssignments=3145 nbBacktracks=488 nbVisitedNodes=7345 nbRestartNogoods=49
2.23 mapSize=462 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=0.511 cpuTime=0.42 mem=15M633
2.40
2.40 search
2.40 run=8 nbConstraintChecks=7456430 nbPropagations=112677 nbRevisions=337388 nbUselessRevisions=171617
2.40 nbAssignments=5711 nbFailedAssignments=4834 nbBacktracks=744 nbVisitedNodes=11225 nbRestartNogoods=72
2.40 mapSize=712 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=0.684 cpuTime=0.58 mem=15M633
2.59
2.59 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=15M633)
2.64
2.64 search
2.64 run=9 nbConstraintChecks=10911237 nbPropagations=172784 nbRevisions=520617 nbUselessRevisions=264655
2.64 nbAssignments=8487 nbFailedAssignments=7217 nbBacktracks=1128 nbVisitedNodes=16757 nbRestartNogoods=88
2.64 => wckTime=0.925 cpuTime=0.82 mem=15M633
2.97
2.97 search
2.97 run=10 nbConstraintChecks=15145672 nbPropagations=255519 nbRevisions=778901 nbUselessRevisions=395443
2.97 nbAssignments=12142 nbFailedAssignments=10291 nbBacktracks=1704 nbVisitedNodes=23993 nbRestartNogoods=125
2.97 => wckTime=1.249 cpuTime=1.14 mem=15M633
3.42
3.42 search
3.42 run=11 nbConstraintChecks=21446606 nbPropagations=373098 nbRevisions=1148337 nbUselessRevisions=582755
3.42 nbAssignments=17733 nbFailedAssignments=15012 nbBacktracks=2569 nbVisitedNodes=35113 nbRestartNogoods=155
3.42 => wckTime=1.707 cpuTime=1.59 mem=15M633
4.16
4.16 search
4.16 run=12 nbConstraintChecks=30957288 nbPropagations=548585 nbRevisions=1706133 nbUselessRevisions=863821
4.16 nbAssignments=27009 nbFailedAssignments=22986 nbBacktracks=3866 nbVisitedNodes=53585 nbRestartNogoods=177
4.16 => wckTime=2.443 cpuTime=2.32 mem=15M633
5.00
5.00 search
5.00 run=13 nbConstraintChecks=41462127 nbPropagations=790017 nbRevisions=2468989 nbUselessRevisions=1242699
5.00 nbAssignments=38119 nbFailedAssignments=32144 nbBacktracks=5812 nbVisitedNodes=75623 nbRestartNogoods=199
5.00 => wckTime=3.285 cpuTime=3.15 mem=15M633
6.52
6.52 search
6.52 run=14 nbConstraintChecks=65736071 nbPropagations=1146740 nbRevisions=3604614 nbUselessRevisions=1816413
6.52 nbAssignments=55280 nbFailedAssignments=46380 nbBacktracks=8731 nbVisitedNodes=109712 nbRestartNogoods=290
6.52 => wckTime=4.807 cpuTime=4.66 mem=15M633
9.53
9.53 search
9.53 run=15 nbConstraintChecks=110619997 nbPropagations=1730815 nbRevisions=5543143 nbUselessRevisions=2813699
9.53 nbAssignments=86859 nbFailedAssignments=73577 nbBacktracks=13109 nbVisitedNodes=172575 nbRestartNogoods=336
9.53 => wckTime=7.812 cpuTime=7.64 mem=15M633
13.14
13.14 search
13.14 run=16 nbConstraintChecks=161314097 nbPropagations=2592094 nbRevisions=8341359 nbUselessRevisions=4236728
13.14 nbAssignments=130579 nbFailedAssignments=110723 nbBacktracks=19677 nbVisitedNodes=259608 nbRestartNogoods=359
13.14 => wckTime=11.423 cpuTime=11.21 mem=15M633
18.16
18.16 search
18.16 run=17 nbConstraintChecks=229639820 nbPropagations=3846386 nbRevisions=12376606 nbUselessRevisions=6268872
18.16 nbAssignments=192554 nbFailedAssignments=162840 nbBacktracks=29529 nbVisitedNodes=382930 nbRestartNogoods=424
18.16 => wckTime=16.448 cpuTime=16.19 mem=16M608
25.81
25.81 search
25.81 run=18 nbConstraintChecks=329950231 nbPropagations=5723757 nbRevisions=18464716 nbUselessRevisions=9356348
25.81 nbAssignments=284792 nbFailedAssignments=240294 nbBacktracks=44307 nbVisitedNodes=566538 nbRestartNogoods=474
25.81 => wckTime=24.091 cpuTime=23.77 mem=16M608
38.25
38.25 search
38.25 run=19 nbConstraintChecks=509393481 nbPropagations=8550808 nbRevisions=27662975 nbUselessRevisions=14043669
38.25 nbAssignments=427912 nbFailedAssignments=361241 nbBacktracks=66475 nbVisitedNodes=851250 nbRestartNogoods=519
38.25 => wckTime=36.534 cpuTime=36.1 mem=16M608
54.04
54.04 search
54.04 run=20 nbConstraintChecks=726317942 nbPropagations=12644686 nbRevisions=40506253 nbUselessRevisions=20463973
54.04 nbAssignments=629164 nbFailedAssignments=529235 nbBacktracks=99728 nbVisitedNodes=1252146 nbRestartNogoods=596
54.04 => wckTime=52.325 cpuTime=51.75 mem=16M608
80.46
80.46 search
80.46 run=21 nbConstraintChecks=1097598544 nbPropagations=18834270 nbRevisions=60299811 nbUselessRevisions=30433854
80.46 nbAssignments=947254 nbFailedAssignments=797442 nbBacktracks=149606 nbVisitedNodes=1885467 nbRestartNogoods=708
80.46 => wckTime=78.741 cpuTime=78.04 mem=16M608
123.69
123.69 search
123.69 run=22 nbConstraintChecks=1764197571 nbPropagations=28363925 nbRevisions=91188717 nbUselessRevisions=46138095
123.69 nbAssignments=1428302 nbFailedAssignments=1203667 nbBacktracks=224424 nbVisitedNodes=2843561
123.69 nbRestartNogoods=778
123.69 => wckTime=121.973 cpuTime=121.07 mem=16M608
190.37
190.37 search
190.37 run=23 nbConstraintChecks=2713968649 nbPropagations=43006297 nbRevisions=139012511 nbUselessRevisions=70537797
190.37 nbAssignments=2181149 nbFailedAssignments=1844282 nbBacktracks=336651 nbVisitedNodes=4343964
190.37 nbRestartNogoods=847
190.37 => wckTime=188.655 cpuTime=187.44 mem=16M608
283.15
283.15 search
283.15 run=24 nbConstraintChecks=4039582653 nbPropagations=65150861 nbRevisions=211490453 nbUselessRevisions=107664416
283.15 nbAssignments=3242470 nbFailedAssignments=2737258 nbBacktracks=504992 nbVisitedNodes=6455758
283.16 nbRestartNogoods=949
283.16 => wckTime=281.438 cpuTime=279.79 mem=16M608
426.98
426.98 search
426.98 run=25 nbConstraintChecks=6167398864 nbPropagations=98704033 nbRevisions=321377164 nbUselessRevisions=164131394
426.98 nbAssignments=4837239 nbFailedAssignments=4079511 nbBacktracks=757503 nbVisitedNodes=9631154
426.98 nbRestartNogoods=999
426.98 => wckTime=425.263 cpuTime=422.93 mem=16M608
640.57
640.57 search
640.57 run=26 nbConstraintChecks=9461049551 nbPropagations=148777023 nbRevisions=485210770
640.57 nbUselessRevisions=248451533 nbAssignments=7256372 nbFailedAssignments=6119871 nbBacktracks=1136270
640.57 nbVisitedNodes=14446697 nbRestartNogoods=1107
640.57 => wckTime=638.849 cpuTime=635.5 mem=16M608
951.70
951.70 search
951.70 run=27 nbConstraintChecks=14144939738 nbPropagations=224423569 nbRevisions=733752453
951.70 nbUselessRevisions=376540175 nbAssignments=10926968 nbFailedAssignments=9222310 nbBacktracks=1704421
951.70 nbVisitedNodes=21759185 nbRestartNogoods=1232
951.70 => wckTime=949.985 cpuTime=944.97 mem=16M608
1412.76
1412.76 search
1412.76 run=28 nbConstraintChecks=21247580900 nbPropagations=338218357 nbRevisions=1110491228
1412.76 nbUselessRevisions=571872106 nbAssignments=16207150 nbFailedAssignments=13650260 nbBacktracks=2556647
1412.76 nbVisitedNodes=32277666 nbRestartNogoods=1312
1412.76 => wckTime=1411.045 cpuTime=1403.79 mem=16M608
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-204266-1168073280 -o ROOT/results/node13/solver-204266-1168073280 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204266-1168073280/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.94 4/93 4433
/proc/meminfo: memFree=677608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=18540 CPUtime=0
/proc/4432/stat : 4432 (runsolver) R 4430 4432 2952 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155723178 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4432/statm: 4635 279 244 17 0 2626 0
[startup+0.107495 s]
/proc/loadavg: 2.00 2.00 1.94 4/93 4433
/proc/meminfo: memFree=677608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=914988 CPUtime=0.08
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 2977 0 1 0 7 1 0 0 18 0 8 0 155723178 936947712 2723 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155839891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515546 s]
/proc/loadavg: 2.00 2.00 1.94 4/93 4433
/proc/meminfo: memFree=677608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915328 CPUtime=0.49
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 6403 0 1 0 45 4 0 0 18 0 8 0 155723178 937295872 6142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072898116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228832 6142 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33665 s]
/proc/loadavg: 2.00 2.00 1.94 4/100 4440
/proc/meminfo: memFree=657136/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1.3
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 7734 0 1 0 123 7 0 0 25 0 8 0 155723178 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073643276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 7472 2168 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 155723182 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 155723182 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155723182 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.13
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 335 0 0 0 12 1 0 0 16 0 8 0 155723186 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 7472 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98788 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4440
/proc/meminfo: memFree=652848/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=2.93
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8937 0 1 0 284 9 0 0 25 0 8 0 155723178 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 8673 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 17 0 8 0 155723182 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.26
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 394 0 0 0 24 2 0 0 15 0 8 0 155723186 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8673 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.1893 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4440
/proc/meminfo: memFree=652720/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=6.11
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8946 0 1 0 602 9 0 0 25 0 8 0 155723178 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 8682 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.26
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 394 0 0 0 24 2 0 0 16 0 8 0 155723186 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8682 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.6642 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4440
/proc/meminfo: memFree=652736/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=12.52
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8953 0 1 0 1243 9 0 0 25 0 8 0 155723178 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073876732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 8688 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 395 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8688 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
[startup+25.5149 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4440
/proc/meminfo: memFree=652736/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=25.26
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8959 0 1 0 2516 10 0 0 25 0 8 0 155723178 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 8694 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 395 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8694 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
[startup+51.1263 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4440
/proc/meminfo: memFree=652736/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=50.64
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8967 0 1 0 5054 10 0 0 25 0 8 0 155723178 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 8701 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915460
[startup+102.42 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4440
/proc/meminfo: memFree=652736/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=101.69
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8974 0 1 0 10159 10 0 0 25 0 8 0 155723178 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073848571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4432/statm: 228865 8708 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8708 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 915460
[startup+162.443 s]
/proc/loadavg: 2.03 2.01 1.95 3/100 4440
/proc/meminfo: memFree=652672/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=161.42
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8977 0 1 0 16132 10 0 0 25 0 8 0 155723178 937431040 8711 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073900253 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.89
Current children cumulated vsize (KiB) 915460
[startup+1483.15 s]
/proc/loadavg: 2.00 2.01 1.98 4/100 4730
/proc/meminfo: memFree=1160608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1475.64
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 147536 28 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.64
Current children cumulated vsize (KiB) 915460
[startup+1543.19 s]
/proc/loadavg: 2.06 2.02 1.99 3/100 4730
/proc/meminfo: memFree=1160608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1535.36
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 153508 28 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073843813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.36
Current children cumulated vsize (KiB) 915460
[startup+1603.23 s]
/proc/loadavg: 2.09 2.03 2.00 3/100 4730
/proc/meminfo: memFree=1160544/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1595.13
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 159484 29 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.13
Current children cumulated vsize (KiB) 915460
[startup+1663.27 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4730
/proc/meminfo: memFree=1160608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1654.88
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 165459 29 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.88
Current children cumulated vsize (KiB) 915460
[startup+1723.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 4730
/proc/meminfo: memFree=1160608/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1714.61
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 171432 29 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.61
Current children cumulated vsize (KiB) 915460
[startup+1783.34 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 4730
/proc/meminfo: memFree=1160544/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1774.36
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 177406 30 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.36
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.15 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4730
/proc/meminfo: memFree=1160544/2055920 swapFree=4192812/4192956
[pid=4432] ppid=4430 vsize=915460 CPUtime=1800.06
/proc/4432/stat : 4432 (java) R 4430 4432 2952 0 -1 0 8997 0 1 0 179976 30 0 0 25 0 8 0 155723178 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073842646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4432/statm: 228865 8731 2531 14 0 215335 0
[pid=4432/tid=4434] ppid=4430 vsize=915460 CPUtime=0.03
/proc/4432/task/4434/stat : 4434 (java) S 4430 4432 2952 0 -1 64 440 0 0 0 3 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4435] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4435/stat : 4435 (java) S 4430 4432 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4436] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4436/stat : 4436 (java) S 4430 4432 2952 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155723182 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4437] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4437/stat : 4437 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4438] ppid=4430 vsize=915460 CPUtime=0.27
/proc/4432/task/4438/stat : 4438 (java) S 4430 4432 2952 0 -1 64 396 0 0 0 25 2 0 0 16 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4439] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4439/stat : 4439 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4432/tid=4440] ppid=4430 vsize=915460 CPUtime=0
/proc/4432/task/4440/stat : 4440 (java) S 4430 4432 2952 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155723186 937431040 8731 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.19
CPU time (s): 1800.1
CPU user time (s): 1799.8
CPU system time (s): 0.308953
CPU usage (%): 99.4976
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.308953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9015
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= 37722
involuntary context switches= 74231
runsolver used 1.79773 s user time and 4.99724 s system time
The end
Begin job on node13 on Sat Jan 6 08:48:00 UTC 2007
IDJOB= 204266
IDBENCH= 4011
FILE ID= node13/204266-1168073280
PBS_JOBID= 3475671
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/jobShop/jobShop-e0ddr1/e0ddr1-10-by-5-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204266-1168073280/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-204266-1168073280 -o ROOT/results/node13/solver-204266-1168073280 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204266-1168073280/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1bd95f32daac3037b0684e39e147fe9
RANDOM SEED= 181013165
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.247
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.247
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: 678088 kB
Buffers: 71016 kB
Cached: 522012 kB
SwapCached: 0 kB
Active: 1012616 kB
Inactive: 269180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 678088 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 717836 kB
Slab: 79372 kB
Committed_AS: 4390080 kB
PageTables: 3676 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= 66313 MiB
End job on node13 on Sat Jan 6 09:18:11 UTC 2007