0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/210431-1168075067/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.55 nbVariables=1785 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.235 cpuTime=0.16 mem=9M844
0.55
0.55 predicates being loaded...
0.56
0.56 constraints being loaded...
1.26 nbConstraints=1293 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 nbEvaluationManagers=5
1.26 nbSharedEvaluationManagers=1288 maxDegree=35 maxArity=35
1.26 => wckTime=0.952 cpuTime=0.74 mem=21M161
1.33
1.33 solver IterativeSystematicSolver being built...
1.76 => wckTime=1.449 cpuTime=1.07 mem=38M39
1.93
1.93 preprocessing
1.93 nbConstraintChecks=24429 nbValidityChecks=20791 nbPropagations=1785 nbRevisions=22015 nbUselessRevisions=22015
1.93 nbRemovedValues=0 detectedInconsistency=no
1.93 => wckTime=0.163 cpuTime=0.14 mem=40M56
2.45
2.45 search
2.45 run=0 nbConstraintChecks=2449 nbValidityChecks=374034 nbPropagations=3586 nbRevisions=209033
2.46 nbUselessRevisions=207842 nbAssignments=610 nbFailedAssignments=1 nbBacktracks=15 nbVisitedNodes=612
2.46 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
2.46 => wckTime=0.686 cpuTime=0.64 mem=42M73
3.43
3.43 search
3.43 run=1 nbConstraintChecks=3842 nbValidityChecks=762119 nbPropagations=10094 nbRevisions=619202
3.43 nbUselessRevisions=615630 nbAssignments=2341 nbFailedAssignments=2 nbBacktracks=1152 nbVisitedNodes=2344
3.43 nbRestartNogoods=1 mapSize=35 nbInferences=0 nbTooLargeKeys=0
3.43 => wckTime=1.667 cpuTime=1.58 mem=50M142
8.56
8.56 search
8.56 run=2 nbConstraintChecks=1053690 nbValidityChecks=1139202 nbPropagations=18827 nbRevisions=1219472
8.56 nbUselessRevisions=1212348 nbAssignments=3394 nbFailedAssignments=3 nbBacktracks=1610 nbVisitedNodes=3398
8.56 nbRestartNogoods=2 mapSize=50 nbInferences=0 nbTooLargeKeys=0
8.56 => wckTime=6.795 cpuTime=6.66 mem=54M176
13.65
13.65 search
13.65 run=3 nbConstraintChecks=2103572 nbValidityChecks=1516489 nbPropagations=29786 nbRevisions=2009979
13.65 nbUselessRevisions=1998132 nbAssignments=4447 nbFailedAssignments=4 nbBacktracks=2070 nbVisitedNodes=4452
13.65 nbRestartNogoods=3 mapSize=65 nbInferences=0 nbTooLargeKeys=0
13.65 => wckTime=11.882 cpuTime=11.7 mem=58M211
23.02
23.02 search
23.02 run=4 nbConstraintChecks=4201918 nbValidityChecks=1890844 nbPropagations=42633 nbRevisions=2987893
23.02 nbUselessRevisions=2970142 nbAssignments=5153 nbFailedAssignments=8 nbBacktracks=2134 nbVisitedNodes=5162
23.02 nbRestartNogoods=4 mapSize=71 nbInferences=0 nbTooLargeKeys=0
23.02 => wckTime=21.254 cpuTime=21.0 mem=60M228
307.30
307.30 search
307.30 run=5 nbConstraintChecks=71311940 nbValidityChecks=2265261 nbPropagations=57513 nbRevisions=4153275
307.30 nbUselessRevisions=4128398 nbAssignments=5963 nbFailedAssignments=73 nbBacktracks=2211 nbVisitedNodes=6037
307.30 nbRestartNogoods=5 mapSize=135 nbInferences=0 nbTooLargeKeys=0
307.30 => wckTime=305.535 cpuTime=303.13 mem=62M245
307.87
307.87 search
307.87 run=6 nbConstraintChecks=71314084 nbValidityChecks=2642225 nbPropagations=74310 nbRevisions=5507170
307.87 nbUselessRevisions=5474003 nbAssignments=6715 nbFailedAssignments=81 nbBacktracks=2330 nbVisitedNodes=6797
307.87 nbRestartNogoods=7 mapSize=149 nbInferences=0 nbTooLargeKeys=0
307.87 => wckTime=306.101 cpuTime=303.69 mem=64M263
308.43
308.43 search
308.43 run=7 nbConstraintChecks=71318290 nbValidityChecks=3026191 nbPropagations=93085 nbRevisions=7053088
308.43 nbUselessRevisions=7010463 nbAssignments=7523 nbFailedAssignments=93 nbBacktracks=2511 nbVisitedNodes=7617
308.43 nbRestartNogoods=9 mapSize=172 nbInferences=0 nbTooLargeKeys=0
308.43 => wckTime=306.661 cpuTime=304.25 mem=67M288
313.51
313.51 search
313.51 run=8 nbConstraintChecks=72368653 nbValidityChecks=3404450 nbPropagations=114071 nbRevisions=8789597
313.51 nbUselessRevisions=8736376 nbAssignments=8596 nbFailedAssignments=94 nbBacktracks=2924 nbVisitedNodes=8691
313.51 nbRestartNogoods=10 mapSize=186 nbInferences=0 nbTooLargeKeys=0
313.51 => wckTime=311.744 cpuTime=309.23 mem=34M84
318.54
318.54 search
318.54 run=9 nbConstraintChecks=73418469 nbValidityChecks=3782688 nbPropagations=137267 nbRevisions=10716657
318.54 nbUselessRevisions=10651702 nbAssignments=9667 nbFailedAssignments=95 nbBacktracks=3336 nbVisitedNodes=9763
318.54 nbRestartNogoods=11 mapSize=200 nbInferences=0 nbTooLargeKeys=0
318.54 => wckTime=316.773 cpuTime=314.23 mem=37M110
1039.70
1039.71 search
1039.71 run=10 nbConstraintChecks=250629054 nbValidityChecks=4161307 nbPropagations=163217 nbRevisions=12834647
1039.71 nbUselessRevisions=12756651 nbAssignments=11113 nbFailedAssignments=264 nbBacktracks=3912 nbVisitedNodes=11378
1039.71 nbRestartNogoods=12 mapSize=379 nbInferences=0 nbTooLargeKeys=0
1039.71 => wckTime=1037.938 cpuTime=1031.48 mem=42M153
1040.57
1040.57 search
1040.57 run=11 nbConstraintChecks=250630585 nbValidityChecks=4551611 nbPropagations=192020 nbRevisions=15154507
1040.57 nbUselessRevisions=15062346 nbAssignments=12842 nbFailedAssignments=265 nbBacktracks=4950 nbVisitedNodes=13108
1040.57 nbRestartNogoods=16 mapSize=412 nbInferences=0 nbTooLargeKeys=0
1040.57 => wckTime=1038.804 cpuTime=1032.34 mem=50M222
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-210431-1168075067 -o ROOT/results/node58/solver-210431-1168075067 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210431-1168075067/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: 1.06 0.96 1.01 4/80 28184
/proc/meminfo: memFree=1648544/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=906644 CPUtime=0.02
/proc/28183/stat : 28183 (java) S 28181 28183 27926 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155904945 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 226661 1818 1036 14 0 214244 0
[pid=28183/tid=28185] ppid=28181 vsize=906644 CPUtime=0
/proc/28183/task/28185/stat : 28185 (java) R 28181 28183 27926 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155904948 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103416 s]
/proc/loadavg: 1.06 0.96 1.01 4/80 28184
/proc/meminfo: memFree=1648544/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=914988 CPUtime=0.09
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 3004 0 1 0 7 2 0 0 20 0 8 0 155904945 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228747 2750 1430 14 0 215242 0
[pid=28183/tid=28185] ppid=28181 vsize=914988 CPUtime=0
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155904948 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511451 s]
/proc/loadavg: 1.06 0.96 1.01 4/80 28184
/proc/meminfo: memFree=1648544/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915328 CPUtime=0.49
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 6589 0 1 0 45 4 0 0 22 0 8 0 155904945 937295872 6328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228832 6328 2135 14 0 215302 0
[pid=28183/tid=28185] ppid=28181 vsize=915328 CPUtime=0
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155904948 937295872 6328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33252 s]
/proc/loadavg: 1.06 0.96 1.01 3/87 28191
/proc/meminfo: memFree=1578920/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1.31
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 21922 0 1 0 114 17 0 0 25 0 8 0 155904945 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 21658 2188 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.11
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 5286 0 0 0 9 2 0 0 16 0 8 0 155904948 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.18
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 424 0 0 0 18 0 0 0 15 0 8 0 155904952 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 21658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915728
[startup+2.97166 s]
/proc/loadavg: 1.06 0.96 1.01 3/87 28191
/proc/meminfo: memFree=1565416/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=2.94
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 23499 0 1 0 275 19 0 0 25 0 8 0 155904945 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 23233 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.14
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 6367 0 0 0 12 2 0 0 17 0 8 0 155904948 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.31
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 499 0 0 0 30 1 0 0 16 0 8 0 155904952 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 23233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915728
[startup+6.17693 s]
/proc/loadavg: 1.13 0.98 1.02 3/87 28191
/proc/meminfo: memFree=1565288/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=6.11
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 23509 0 1 0 592 19 0 0 25 0 8 0 155904945 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 23242 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.14
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 6367 0 0 0 12 2 0 0 16 0 8 0 155904948 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.33
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 509 0 0 0 32 1 0 0 15 0 8 0 155904952 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 23242 18446744073709551615 134512640 134570532 4294956480 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) 915728
[startup+12.6415 s]
/proc/loadavg: 1.20 0.99 1.02 3/87 28191
/proc/meminfo: memFree=1565288/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=12.52
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 23516 0 1 0 1233 19 0 0 25 0 8 0 155904945 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 23249 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.14
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 6367 0 0 0 12 2 0 0 16 0 8 0 155904948 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.34
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 516 0 0 0 33 1 0 0 15 0 8 0 155904952 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 23249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 23249 18446744073709551615 134512640 134570532 4294956480 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) 915728
[startup+25.5006 s]
/proc/loadavg: 1.38 1.04 1.04 3/87 28191
/proc/meminfo: memFree=1565224/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=25.28
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 23518 0 1 0 2509 19 0 0 25 0 8 0 155904945 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 23250 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.14
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 6367 0 0 0 12 2 0 0 16 0 8 0 155904948 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 518 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915728
[startup+51.2018 s]
/proc/loadavg: 1.59 1.12 1.06 3/87 28191
/proc/meminfo: memFree=1565352/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=50.78
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 23518 0 1 0 5059 19 0 0 25 0 8 0 155904945 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 23250 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.14
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 6367 0 0 0 12 2 0 0 16 0 8 0 155904948 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 518 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915728
[startup+102.497 s]
/proc/loadavg: 1.82 1.25 1.11 3/87 28191
/proc/meminfo: memFree=1565352/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=101.7
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 23518 0 1 0 10151 19 0 0 25 0 8 0 155904945 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28183/statm: 228932 23250 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.14
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 6367 0 0 0 12 2 0 0 16 0 8 0 155904948 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904949 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 518 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904952 937705472 23250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915728
################
# More data... #
################
Current children cumulated CPU time (s) 1416.56
Current children cumulated vsize (KiB) 915728
[startup+1483.26 s]
/proc/loadavg: 2.00 2.00 1.78 3/87 28303
/proc/meminfo: memFree=1498224/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1476.52
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 147626 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074058784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.52
Current children cumulated vsize (KiB) 915728
[startup+1543.29 s]
/proc/loadavg: 2.00 2.00 1.79 3/87 28303
/proc/meminfo: memFree=1498224/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1536.5
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 153624 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.5
Current children cumulated vsize (KiB) 915728
[startup+1603.32 s]
/proc/loadavg: 2.07 2.02 1.81 3/87 28303
/proc/meminfo: memFree=1498160/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1596.49
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 159623 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.49
Current children cumulated vsize (KiB) 915728
[startup+1663.36 s]
/proc/loadavg: 2.02 2.01 1.82 3/87 28303
/proc/meminfo: memFree=1498224/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1656.45
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 165619 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.45
Current children cumulated vsize (KiB) 915728
[startup+1723.39 s]
/proc/loadavg: 2.01 2.00 1.83 3/87 28303
/proc/meminfo: memFree=1498160/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1716.44
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 171618 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.44
Current children cumulated vsize (KiB) 915728
[startup+1783.42 s]
/proc/loadavg: 2.06 2.01 1.84 3/87 28303
/proc/meminfo: memFree=1498224/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1776.42
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 177616 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.42
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.07 s]
/proc/loadavg: 2.04 2.01 1.84 3/87 28303
/proc/meminfo: memFree=1498160/2055920 swapFree=4192812/4192956
[pid=28183] ppid=28181 vsize=915728 CPUtime=1800.04
/proc/28183/stat : 28183 (java) R 28181 28183 27926 0 -1 0 26268 0 1 0 179978 26 0 0 25 0 8 0 155904945 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055733 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28183/statm: 228932 25999 2537 14 0 215402 0
[pid=28183/tid=28185] ppid=28181 vsize=915728 CPUtime=0.19
/proc/28183/task/28185/stat : 28185 (java) S 28181 28183 27926 0 -1 64 9115 0 0 0 16 3 0 0 16 0 8 0 155904948 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28186] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28186/stat : 28186 (java) S 28181 28183 27926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28187] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28187/stat : 28187 (java) S 28181 28183 27926 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155904949 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28188] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28188/stat : 28188 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28189] ppid=28181 vsize=915728 CPUtime=0.35
/proc/28183/task/28189/stat : 28189 (java) S 28181 28183 27926 0 -1 64 519 0 0 0 34 1 0 0 16 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28190] ppid=28181 vsize=915728 CPUtime=0
/proc/28183/task/28190/stat : 28190 (java) S 28181 28183 27926 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28183/tid=28191] ppid=28181 vsize=915728 CPUtime=0.01
/proc/28183/task/28191/stat : 28191 (java) S 28181 28183 27926 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 155904952 937705472 25999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.12
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.286956
CPU usage (%): 99.611
Max. virtual memory (cumulated for all children) (KiB): 915728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26284
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= 38138
involuntary context switches= 48669
runsolver used 2.21866 s user time and 4.30934 s system time
The end
Begin job on node58 on Sat Jan 6 09:17:50 UTC 2007
IDJOB= 210431
IDBENCH= 4619
FILE ID= node58/210431-1168075067
PBS_JOBID= 3476034
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-35-34.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210431-1168075067/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-210431-1168075067 -o ROOT/results/node58/solver-210431-1168075067 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210431-1168075067/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ef23d00c3d0e3fe6bd5825c7a96d97fb
RANDOM SEED= 149441595
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.223
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.223
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: 1648960 kB
Buffers: 20628 kB
Cached: 270276 kB
SwapCached: 0 kB
Active: 97248 kB
Inactive: 243612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648960 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2200 kB
Writeback: 0 kB
Mapped: 70252 kB
Slab: 51360 kB
Committed_AS: 3003216 kB
PageTables: 1840 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= 66534 MiB
End job on node58 on Sat Jan 6 09:47:57 UTC 2007