0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/210236-1168075040/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.52 nbVariables=1838 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.52 => wckTime=0.221 cpuTime=0.15 mem=9M844
0.52
0.52 predicates being loaded...
0.54
0.54 constraints being loaded...
1.21 nbConstraints=1330 nbUnbuiltConflictsStructures=6 nbSharedBinaryRepresentations=0 nbEvaluationManagers=6
1.21 nbSharedEvaluationManagers=1324 maxDegree=36 maxArity=35
1.21 => wckTime=0.913 cpuTime=0.73 mem=24M730
1.29
1.29 solver IterativeSystematicSolver being built...
1.70 => wckTime=1.404 cpuTime=1.06 mem=40M883
1.87
1.87 preprocessing
1.87 nbConstraintChecks=25778 nbValidityChecks=22033 nbPropagations=1838 nbRevisions=23293 nbUselessRevisions=23293
1.87 nbRemovedValues=0 detectedInconsistency=no
1.87 => wckTime=0.162 cpuTime=0.14 mem=42M915
2.40
2.40 search
2.40 run=0 nbConstraintChecks=2521 nbValidityChecks=407732 nbPropagations=3692 nbRevisions=227160
2.40 nbUselessRevisions=225934 nbAssignments=628 nbFailedAssignments=1 nbBacktracks=15 nbVisitedNodes=630
2.40 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=0.699 cpuTime=0.65 mem=45M962
3.42
3.42 search
3.42 run=1 nbConstraintChecks=3954 nbValidityChecks=829726 nbPropagations=10394 nbRevisions=672517
3.42 nbUselessRevisions=668840 nbAssignments=2412 nbFailedAssignments=2 nbBacktracks=1187 nbVisitedNodes=2415
3.42 nbRestartNogoods=1 mapSize=36 nbInferences=0 nbTooLargeKeys=0
3.42 => wckTime=1.715 cpuTime=1.64 mem=54M87
8.46
8.46 search
8.46 run=2 nbConstraintChecks=1053840 nbValidityChecks=1240717 nbPropagations=19408 nbRevisions=1325035
8.46 nbUselessRevisions=1317701 nbAssignments=3517 nbFailedAssignments=3 nbBacktracks=1679 nbVisitedNodes=3521
8.46 nbRestartNogoods=2 mapSize=52 nbInferences=0 nbTooLargeKeys=0
8.46 => wckTime=6.754 cpuTime=6.66 mem=58M150
13.42
13.42 search
13.42 run=3 nbConstraintChecks=2103761 nbValidityChecks=1651918 nbPropagations=30735 nbRevisions=2184854
13.42 nbUselessRevisions=2172657 nbAssignments=4622 nbFailedAssignments=4 nbBacktracks=2173 nbVisitedNodes=4627
13.42 nbRestartNogoods=3 mapSize=68 nbInferences=0 nbTooLargeKeys=0
13.42 => wckTime=11.717 cpuTime=11.6 mem=62M212
22.35
22.35 search
22.35 run=4 nbConstraintChecks=4202142 nbValidityChecks=2059968 nbPropagations=44003 nbRevisions=3248928
22.35 nbUselessRevisions=3230653 nbAssignments=5347 nbFailedAssignments=8 nbBacktracks=2237 nbVisitedNodes=5356
22.35 nbRestartNogoods=4 mapSize=74 nbInferences=0 nbTooLargeKeys=0
22.35 => wckTime=20.644 cpuTime=20.52 mem=65M259
290.44
290.44 search
290.44 run=5 nbConstraintChecks=71312198 nbValidityChecks=2468080 nbPropagations=59357 nbRevisions=4517318
290.45 nbUselessRevisions=4491709 nbAssignments=6176 nbFailedAssignments=73 nbBacktracks=2314 nbVisitedNodes=6250
290.45 nbRestartNogoods=5 mapSize=138 nbInferences=0 nbTooLargeKeys=0
290.45 => wckTime=288.741 cpuTime=288.34 mem=67M291
291.05
291.05 search
291.06 run=6 nbConstraintChecks=71314404 nbValidityChecks=2878815 nbPropagations=76681 nbRevisions=5991107
291.06 nbUselessRevisions=5956966 nbAssignments=6947 nbFailedAssignments=81 nbBacktracks=2433 nbVisitedNodes=7029
291.06 nbRestartNogoods=7 mapSize=152 nbInferences=0 nbTooLargeKeys=0
291.06 => wckTime=289.351 cpuTime=288.9 mem=33M663
291.61
291.61 search
291.61 run=7 nbConstraintChecks=71318383 nbValidityChecks=3295359 nbPropagations=96037 nbRevisions=7673209
291.61 nbUselessRevisions=7629334 nbAssignments=7775 nbFailedAssignments=93 nbBacktracks=2614 nbVisitedNodes=7869
291.61 nbRestartNogoods=9 mapSize=175 nbInferences=0 nbTooLargeKeys=0
291.61 => wckTime=289.909 cpuTime=289.45 mem=35M680
296.50
296.50 search
296.50 run=8 nbConstraintChecks=72368764 nbValidityChecks=3707451 nbPropagations=117690 nbRevisions=9562936
296.50 nbUselessRevisions=9508155 nbAssignments=8900 nbFailedAssignments=94 nbBacktracks=3060 nbVisitedNodes=8995
296.50 nbRestartNogoods=10 mapSize=190 nbInferences=0 nbTooLargeKeys=0
296.50 => wckTime=294.798 cpuTime=294.34 mem=40M723
301.40
301.40 search
301.40 run=9 nbConstraintChecks=73418617 nbValidityChecks=4119523 nbPropagations=141639 nbRevisions=11660249
301.40 nbUselessRevisions=11593390 nbAssignments=10023 nbFailedAssignments=95 nbBacktracks=3505 nbVisitedNodes=10119
301.40 nbRestartNogoods=11 mapSize=205 nbInferences=0 nbTooLargeKeys=0
301.40 => wckTime=299.696 cpuTime=299.24 mem=44M757
880.23
880.23 search
880.23 run=10 nbConstraintChecks=217074807 nbValidityChecks=4531944 nbPropagations=168334 nbRevisions=13965495
880.23 nbUselessRevisions=13885249 nbAssignments=11459 nbFailedAssignments=232 nbBacktracks=4083 nbVisitedNodes=11692
880.23 nbRestartNogoods=12 mapSize=354 nbInferences=0 nbTooLargeKeys=0
880.23 => wckTime=878.527 cpuTime=877.48 mem=49M800
881.16
881.16 search
881.16 run=11 nbConstraintChecks=217076382 nbValidityChecks=4956257 nbPropagations=197968 nbRevisions=16489721
881.16 nbUselessRevisions=16394931 nbAssignments=13241 nbFailedAssignments=233 nbBacktracks=5154 nbVisitedNodes=13475
881.16 nbRestartNogoods=15 mapSize=388 nbInferences=0 nbTooLargeKeys=0
881.16 => wckTime=879.456 cpuTime=878.41 mem=57M869
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-210236-1168075040 -o ROOT/results/node45/solver-210236-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210236-1168075040/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.87 1.50 1.75 3/68 22254
/proc/meminfo: memFree=1423856/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=1784 CPUtime=0
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155903572 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22253/statm: 446 140 106 14 0 91 0
[startup+0.107107 s]
/proc/loadavg: 0.87 1.50 1.75 3/68 22254
/proc/meminfo: memFree=1423856/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=914988 CPUtime=0.09
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 3081 0 1 0 8 1 0 0 16 0 8 0 155903572 936947712 2827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22253/statm: 228747 2827 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515176 s]
/proc/loadavg: 0.87 1.50 1.75 3/68 22254
/proc/meminfo: memFree=1423856/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915328 CPUtime=0.5
/proc/22253/stat : 22253 (java) S 22251 22253 22073 0 -1 0 6638 0 1 0 45 5 0 0 16 0 8 0 155903572 937295872 6377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22253/statm: 228832 6377 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33633 s]
/proc/loadavg: 0.88 1.49 1.74 2/75 22261
/proc/meminfo: memFree=1357496/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1.32
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 22424 0 1 0 114 18 0 0 16 0 8 0 155903572 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22253/statm: 228932 22160 2486 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.1
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 5465 0 0 0 8 2 0 0 16 0 8 0 155903575 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.18
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 424 0 0 0 17 1 0 0 16 0 8 0 155903579 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 22160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915728
[startup+2.97662 s]
/proc/loadavg: 0.88 1.49 1.74 2/75 22261
/proc/meminfo: memFree=1340024/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=2.95
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23656 0 1 0 276 19 0 0 16 0 8 0 155903572 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074112574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22253/statm: 228932 23390 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.13
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 6521 0 0 0 11 2 0 0 16 0 8 0 155903575 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.29
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 503 0 0 0 28 1 0 0 16 0 8 0 155903579 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 23390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915728
[startup+6.27221 s]
/proc/loadavg: 0.89 1.48 1.74 2/75 22261
/proc/meminfo: memFree=1339832/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=6.24
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23661 0 1 0 604 20 0 0 20 0 8 0 155903572 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 23394 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.13
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 6521 0 0 0 11 2 0 0 16 0 8 0 155903575 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.3
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 507 0 0 0 28 2 0 0 15 0 8 0 155903579 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 23394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915728
[startup+12.7464 s]
/proc/loadavg: 0.90 1.47 1.73 2/75 22264
/proc/meminfo: memFree=1341184/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=12.7
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23670 0 1 0 1250 20 0 0 22 0 8 0 155903572 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074054656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 23401 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.14
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 6521 0 0 0 12 2 0 0 16 0 8 0 155903575 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 515 0 0 0 30 2 0 0 15 0 8 0 155903579 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 23401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915728
[startup+25.6087 s]
/proc/loadavg: 0.92 1.45 1.72 3/87 22309
/proc/meminfo: memFree=1308456/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=25.56
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23672 0 1 0 2536 20 0 0 25 0 8 0 155903572 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074079371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 23402 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.14
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 6521 0 0 0 12 2 0 0 16 0 8 0 155903575 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 517 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915728
[startup+51.2184 s]
/proc/loadavg: 1.34 1.51 1.73 3/87 22311
/proc/meminfo: memFree=1303400/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=51.13
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23672 0 1 0 5093 20 0 0 25 0 8 0 155903572 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 23402 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.14
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 6521 0 0 0 12 2 0 0 16 0 8 0 155903575 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 517 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915728
[startup+102.419 s]
/proc/loadavg: 1.77 1.59 1.75 3/87 22311
/proc/meminfo: memFree=1296744/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=102.28
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23672 0 1 0 10208 20 0 0 25 0 8 0 155903572 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 23402 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.14
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 6521 0 0 0 12 2 0 0 16 0 8 0 155903575 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155903576 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 517 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915728
[startup+162.459 s]
/proc/loadavg: 1.91 1.67 1.76 3/87 22311
/proc/meminfo: memFree=1292904/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=162.26
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 23672 0 1 0 16206 20 0 0 25 0 8 0 155903572 937705472 23402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074068071 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 915728
[startup+1483.29 s]
/proc/loadavg: 2.02 2.01 1.91 3/87 22311
/proc/meminfo: memFree=1280680/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1481.77
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 148154 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074068000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 915728
[startup+1543.33 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 22311
/proc/meminfo: memFree=1280680/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1541.73
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 154150 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074060375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 915728
[startup+1603.36 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 22311
/proc/meminfo: memFree=1280616/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1601.72
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 160149 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 915728
[startup+1663.41 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 22311
/proc/meminfo: memFree=1280616/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1661.71
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 166148 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 915728
[startup+1723.45 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 22311
/proc/meminfo: memFree=1280552/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1721.67
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 172144 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074068000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 915728
[startup+1783.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 22311
/proc/meminfo: memFree=1280616/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1781.66
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 178143 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.89 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 22311
/proc/meminfo: memFree=1280616/2055920 swapFree=4184004/4192956
[pid=22253] ppid=22251 vsize=915728 CPUtime=1800.06
/proc/22253/stat : 22253 (java) R 22251 22253 22073 0 -1 0 26660 0 1 0 179983 23 0 0 25 0 8 0 155903572 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074054623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22253/statm: 228932 26389 2537 14 0 215402 0
[pid=22253/tid=22255] ppid=22251 vsize=915728 CPUtime=0.19
/proc/22253/task/22255/stat : 22255 (java) S 22251 22253 22073 0 -1 64 9507 0 0 0 16 3 0 0 16 0 8 0 155903575 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22256] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22256/stat : 22256 (java) S 22251 22253 22073 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22257] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22257/stat : 22257 (java) S 22251 22253 22073 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155903576 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22258] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22258/stat : 22258 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22259] ppid=22251 vsize=915728 CPUtime=0.32
/proc/22253/task/22259/stat : 22259 (java) S 22251 22253 22073 0 -1 64 518 0 0 0 30 2 0 0 16 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22260] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22260/stat : 22260 (java) S 22251 22253 22073 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22253/tid=22261] ppid=22251 vsize=915728 CPUtime=0
/proc/22253/task/22261/stat : 22261 (java) S 22251 22253 22073 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903579 937705472 26389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.94
CPU time (s): 1800.11
CPU user time (s): 1799.85
CPU system time (s): 0.253961
CPU usage (%): 99.8986
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26676
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= 37626
involuntary context switches= 77119
runsolver used 1.79873 s user time and 5.16821 s system time
The end
Begin job on node45 on Sat Jan 6 09:17:26 UTC 2007
IDJOB= 210236
IDBENCH= 4604
FILE ID= node45/210236-1168075040
PBS_JOBID= 3476037
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-35-35.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210236-1168075040/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-210236-1168075040 -o ROOT/results/node45/solver-210236-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210236-1168075040/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc3f9e2606e66d7964a95e1400c29494
RANDOM SEED= 21099160
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.259
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.259
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: 1424208 kB
Buffers: 48524 kB
Cached: 497488 kB
SwapCached: 2748 kB
Active: 51696 kB
Inactive: 508356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1424208 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 2300 kB
Writeback: 0 kB
Mapped: 20060 kB
Slab: 57404 kB
Committed_AS: 2639260 kB
PageTables: 1596 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= 66541 MiB
End job on node45 on Sat Jan 6 09:47:28 UTC 2007