0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/237453-1168083317/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.53 nbVariables=1369 nbDomainTypes=1 minDomainSize=37 maxDomainSize=37
0.53 => wckTime=0.206 cpuTime=0.17 mem=9M812
0.53
0.53 predicates being loaded...
0.53
0.53 constraints being loaded...
3.24 nbConstraints=24678 nbConvertedConstraints=24678 nbConvertConstraintsChecks=5476 nbExtensionStructures=4
3.31 nbSharedExtensionStructures=24674 nbConflictsStructures=4 nbSharedConflictsStructures=24674
3.31 nbSharedBinaryRepresentations=221 maxDegree=37 maxArity=2
3.31 => wckTime=2.916 cpuTime=2.63 mem=56M895
3.43
3.43 solver IterativeSystematicSolver being built...
3.66 => wckTime=3.343 cpuTime=2.82 mem=36M940
3.78
3.78 preprocessing
3.78 nbConstraintChecks=0 nbPropagations=1369 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.78 detectedInconsistency=no
3.80 => wckTime=0.109 cpuTime=0.11 mem=36M940
4.04
4.04 search
4.04 run=0 nbConstraintChecks=98237 nbPropagations=4785 nbRevisions=3445 nbUselessRevisions=80 nbAssignments=123
4.04 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=144 nbRestartNogoods=0 mapSize=10 nbInferences=0
4.04 nbTooLargeKeys=0
4.04 => wckTime=0.367 cpuTime=0.34 mem=37M928
4.16
4.16 search
4.16 run=1 nbConstraintChecks=196738 nbPropagations=13030 nbRevisions=10388 nbUselessRevisions=246
4.16 nbAssignments=256 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=305 nbRestartNogoods=4 mapSize=25
4.16 nbInferences=0 nbTooLargeKeys=0
4.16 => wckTime=0.489 cpuTime=0.46 mem=38M915
4.28
4.28 search
4.28 run=2 nbConstraintChecks=295474 nbPropagations=24800 nbRevisions=20904 nbUselessRevisions=504
4.28 nbAssignments=402 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=491 nbRestartNogoods=7 mapSize=47
4.28 nbInferences=0 nbTooLargeKeys=0
4.28 => wckTime=0.617 cpuTime=0.59 mem=39M903
4.42
4.42 search
4.42 run=3 nbConstraintChecks=394542 nbPropagations=40177 nbRevisions=35075 nbUselessRevisions=856
4.42 nbAssignments=567 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=711 nbRestartNogoods=12 mapSize=80
4.42 nbInferences=1 nbTooLargeKeys=0
4.42 => wckTime=0.754 cpuTime=0.72 mem=40M890
4.58
4.58 search
4.58 run=4 nbConstraintChecks=493979 nbPropagations=59286 nbRevisions=53023 nbUselessRevisions=1302
4.58 nbAssignments=759 nbFailedAssignments=108 nbBacktracks=130 nbVisitedNodes=980 nbRestartNogoods=16 mapSize=129
4.58 nbInferences=4 nbTooLargeKeys=0
4.58 => wckTime=0.909 cpuTime=0.87 mem=41M878
4.76
4.76 search
4.76 run=5 nbConstraintChecks=594160 nbPropagations=82365 nbRevisions=74960 nbUselessRevisions=1843
4.76 nbAssignments=1002 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=1338 nbRestartNogoods=21
4.76 mapSize=204 nbInferences=21 nbTooLargeKeys=0
4.76 => wckTime=1.089 cpuTime=1.05 mem=42M866
4.97
4.97 search
4.97 run=6 nbConstraintChecks=695240 nbPropagations=109730 nbRevisions=101192 nbUselessRevisions=2481
4.97 nbAssignments=1314 nbFailedAssignments=231 nbBacktracks=319 nbVisitedNodes=1820 nbRestartNogoods=23
4.97 mapSize=316 nbInferences=43 nbTooLargeKeys=0
4.97 => wckTime=1.301 cpuTime=1.26 mem=44M841
5.25
5.25 search
5.25 run=7 nbConstraintChecks=797645 nbPropagations=141885 nbRevisions=132184 nbUselessRevisions=3217
5.25 nbAssignments=1736 nbFailedAssignments=338 nbBacktracks=489 nbVisitedNodes=2498 nbRestartNogoods=30
5.25 mapSize=486 nbInferences=85 nbTooLargeKeys=0
5.25 => wckTime=1.583 cpuTime=1.52 mem=46M816
5.60
5.60 search
5.60 run=8 nbConstraintChecks=902181 nbPropagations=179613 nbRevisions=168644 nbUselessRevisions=4057
5.60 nbAssignments=2328 nbFailedAssignments=489 nbBacktracks=745 nbVisitedNodes=3475 nbRestartNogoods=38
5.60 mapSize=742 nbInferences=168 nbTooLargeKeys=0
5.60 => wckTime=1.937 cpuTime=1.87 mem=50M767
6.12
6.12 search
6.12 run=9 nbConstraintChecks=1010226 nbPropagations=224197 nbRevisions=211709 nbUselessRevisions=5002
6.12 nbAssignments=3189 nbFailedAssignments=707 nbBacktracks=1129 nbVisitedNodes=4928 nbRestartNogoods=45
6.12 mapSize=1126 nbInferences=324 nbTooLargeKeys=0
6.12 => wckTime=2.451 cpuTime=2.38 mem=55M705
6.87
6.87 search
6.87 run=10 nbConstraintChecks=1123470 nbPropagations=277637 nbRevisions=263092 nbUselessRevisions=6052
6.87 nbAssignments=4477 nbFailedAssignments=1017 nbBacktracks=1706 nbVisitedNodes=7137 nbRestartNogoods=50
6.87 mapSize=1703 nbInferences=625 nbTooLargeKeys=0
6.87 => wckTime=3.204 cpuTime=3.12 mem=64M593
8.06
8.06 search
8.06 run=11 nbConstraintChecks=1246825 nbPropagations=343470 nbRevisions=325892 nbUselessRevisions=7331
8.06 nbAssignments=6480 nbFailedAssignments=1434 nbBacktracks=2570 nbVisitedNodes=10594 nbRestartNogoods=53
8.06 mapSize=2567 nbInferences=1245 nbTooLargeKeys=0
8.06 => wckTime=4.395 cpuTime=4.28 mem=48M586
9.83
9.83 search
9.83 run=12 nbConstraintChecks=1385920 nbPropagations=426836 nbRevisions=404442 nbUselessRevisions=8890
9.83 nbAssignments=9516 nbFailedAssignments=2029 nbBacktracks=3867 nbVisitedNodes=15868 nbRestartNogoods=69
9.83 mapSize=3859 nbInferences=2293 nbTooLargeKeys=0
9.83 => wckTime=6.158 cpuTime=6.04 mem=70M618
11.55
11.55 search
11.55 run=13 nbConstraintChecks=1535059 nbPropagations=529484 nbRevisions=501760 nbUselessRevisions=10687
11.55 nbAssignments=13113 nbFailedAssignments=3261 nbBacktracks=5813 nbVisitedNodes=22296 nbRestartNogoods=76
11.55 mapSize=5779 nbInferences=2660 nbTooLargeKeys=0
11.55 => wckTime=7.884 cpuTime=7.77 mem=84M344
14.11
14.11 search
14.11 run=14 nbConstraintChecks=1838004 nbPropagations=662908 nbRevisions=629999 nbUselessRevisions=13699
14.11 nbAssignments=18514 nbFailedAssignments=5083 nbBacktracks=8733 nbVisitedNodes=31957 nbRestartNogoods=78
14.11 mapSize=8616 nbInferences=3276 nbTooLargeKeys=0
14.11 => wckTime=10.44 cpuTime=10.27 mem=82M398
19.18
19.18 search
19.18 run=15 nbConstraintChecks=2249465 nbPropagations=859637 nbRevisions=812489 nbUselessRevisions=17853
19.18 nbAssignments=29772 nbFailedAssignments=6700 nbBacktracks=13111 nbVisitedNodes=51572 nbRestartNogoods=80
19.18 mapSize=12939 nbInferences=8400 nbTooLargeKeys=0
19.18 => wckTime=15.511 cpuTime=15.33 mem=110M438
30.33
30.33 search
30.33 run=16 nbConstraintChecks=2779420 nbPropagations=1162946 nbRevisions=1082651 nbUselessRevisions=23137
30.33 nbAssignments=48624 nbFailedAssignments=8781 nbBacktracks=19679 nbVisitedNodes=84652 nbRestartNogoods=86
30.33 mapSize=19470 nbInferences=18467 nbTooLargeKeys=0
30.33 => wckTime=26.662 cpuTime=26.35 mem=162M937
50.41
50.41 search
50.41 run=17 nbConstraintChecks=3629402 nbPropagations=1654366 nbRevisions=1504817 nbUselessRevisions=31237
50.41 nbAssignments=80805 nbFailedAssignments=11206 nbBacktracks=29531 nbVisitedNodes=141454 nbRestartNogoods=104
50.41 mapSize=29286 nbInferences=38238 nbTooLargeKeys=0
50.41 => wckTime=46.74 cpuTime=46.24 mem=260M785
79.78
79.78 search
79.78 run=18 nbConstraintChecks=4721371 nbPropagations=2418240 nbRevisions=2145511 nbUselessRevisions=42682
79.78 nbAssignments=128415 nbFailedAssignments=14897 nbBacktracks=44311 nbVisitedNodes=225450 nbRestartNogoods=112
79.78 mapSize=44031 nbInferences=67242 nbTooLargeKeys=0
79.78 => wckTime=76.117 cpuTime=75.32 mem=372M811
107.37
107.37 search
107.37 run=19 nbConstraintChecks=5710038 nbPropagations=3461243 nbRevisions=3018830 nbUselessRevisions=55021
107.37 nbAssignments=183543 nbFailedAssignments=24043 nbBacktracks=66479 nbVisitedNodes=322608 nbRestartNogoods=129
107.37 mapSize=66132 nbInferences=90980 nbTooLargeKeys=0
107.37 => wckTime=103.707 cpuTime=102.64 mem=476M61
132.39
132.39 INFO : Stopping hyperNogood (mapSize=79169, nbTooLargekeys=0, mem=600M63)
141.52
141.52 search
141.52 run=20 nbConstraintChecks=7217248 nbPropagations=4899408 nbRevisions=4242175 nbUselessRevisions=71642
141.52 nbAssignments=259351 nbFailedAssignments=41353 nbBacktracks=99731 nbVisitedNodes=458105 nbRestartNogoods=144
141.52 => wckTime=137.849 cpuTime=136.53 mem=600M63
164.41
164.41 search
164.41 run=21 nbConstraintChecks=8496519 nbPropagations=6723589 nbRevisions=5853698 nbUselessRevisions=90317
164.41 nbAssignments=343747 nbFailedAssignments=75700 nbBacktracks=149610 nbVisitedNodes=611194 nbRestartNogoods=174
164.41 => wckTime=160.74 cpuTime=159.42 mem=600M63
198.89
198.89 search
198.89 run=22 nbConstraintChecks=10273640 nbPropagations=9123082 nbRevisions=8042748 nbUselessRevisions=111135
198.89 nbAssignments=470443 nbFailedAssignments=127408 nbBacktracks=224428 nbVisitedNodes=841305 nbRestartNogoods=191
198.89 => wckTime=195.221 cpuTime=193.88 mem=600M63
250.16
250.16 search
250.16 run=23 nbConstraintChecks=12766311 nbPropagations=12381085 nbRevisions=11092427 nbUselessRevisions=134044
250.16 nbAssignments=660553 nbFailedAssignments=205120 nbBacktracks=336655 nbVisitedNodes=1186838 nbRestartNogoods=211
250.16 => wckTime=246.491 cpuTime=245.14 mem=600M63
325.45
325.45 search
325.45 run=24 nbConstraintChecks=16426442 nbPropagations=16924703 nbRevisions=15429975 nbUselessRevisions=159165
325.45 nbAssignments=945746 nbFailedAssignments=321764 nbBacktracks=504997 nbVisitedNodes=1705317 nbRestartNogoods=229
325.45 => wckTime=321.783 cpuTime=320.4 mem=600M63
437.40
437.40 search
437.40 run=25 nbConstraintChecks=21701206 nbPropagations=23381425 nbRevisions=21685575 nbUselessRevisions=189188
437.40 nbAssignments=1371482 nbFailedAssignments=494782 nbBacktracks=757508 nbVisitedNodes=2477085
437.40 nbRestartNogoods=255
437.40 => wckTime=433.736 cpuTime=432.32 mem=600M63
605.73
605.73 search
605.73 run=26 nbConstraintChecks=29117149 nbPropagations=32698737 nbRevisions=30804974 nbUselessRevisions=222431
605.73 nbAssignments=2010960 nbFailedAssignments=755289 nbBacktracks=1136275 nbVisitedNodes=3637577
605.73 nbRestartNogoods=288
605.73 => wckTime=602.058 cpuTime=600.58 mem=600M63
859.08
859.08 search
859.08 run=27 nbConstraintChecks=40262322 nbPropagations=46313421 nbRevisions=44225813 nbUselessRevisions=259736
859.08 nbAssignments=2971628 nbFailedAssignments=1147605 nbBacktracks=1704426 nbVisitedNodes=5382877
859.08 nbRestartNogoods=308
859.08 => wckTime=855.415 cpuTime=853.86 mem=601M85
1226.16
1226.16 search
1226.16 run=28 nbConstraintChecks=57083934 nbPropagations=66382702 nbRevisions=64112284 nbUselessRevisions=307877
1226.16 nbAssignments=4414016 nbFailedAssignments=1737524 nbBacktracks=2556652 nbVisitedNodes=8005095
1226.16 nbRestartNogoods=329
1226.16 => wckTime=1222.491 cpuTime=1220.81 mem=601M85
1779.43
1779.43 search
1779.43 run=29 nbConstraintChecks=81915627 nbPropagations=96130990 nbRevisions=93683161 nbUselessRevisions=361176
1779.43 nbAssignments=6579115 nbFailedAssignments=2624041 nbBacktracks=3834992 nbVisitedNodes=11943221
1779.43 nbRestartNogoods=358
1779.43 => wckTime=1775.761 cpuTime=1773.71 mem=601M85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-237453-1168083317 -o ROOT/results/node45/solver-237453-1168083317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237453-1168083317/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.65 1.45 1.66 4/68 24254
/proc/meminfo: memFree=1382400/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=18540 CPUtime=0
/proc/24253/stat : 24253 (runsolver) R 24251 24253 23541 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156732892 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24253/statm: 4635 279 244 17 0 2626 0
[startup+0.103999 s]
/proc/loadavg: 0.65 1.45 1.66 4/68 24254
/proc/meminfo: memFree=1382400/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=912760 CPUtime=0.07
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 2780 0 1 0 6 1 0 0 23 0 8 0 156732892 934666240 2526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154094586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24253/statm: 228190 2526 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.512072 s]
/proc/loadavg: 0.65 1.45 1.66 4/68 24254
/proc/meminfo: memFree=1382400/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=915328 CPUtime=0.48
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 6673 0 1 0 43 5 0 0 16 0 8 0 156732892 937295872 6412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 228832 6413 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33422 s]
/proc/loadavg: 0.65 1.45 1.66 2/75 24261
/proc/meminfo: memFree=1320136/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916652 CPUtime=1.3
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 17951 0 1 0 119 11 0 0 17 0 8 0 156732892 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229163 17689 2160 14 0 215633 0
[pid=24253/tid=24255] ppid=24251 vsize=916652 CPUtime=0.04
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 1421 0 0 0 4 0 0 0 17 0 8 0 156732898 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916652 CPUtime=0.13
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 399 0 0 0 12 1 0 0 16 0 8 0 156732902 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916652
[startup+2.98553 s]
/proc/loadavg: 0.76 1.46 1.66 3/77 24269
/proc/meminfo: memFree=1303672/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916656 CPUtime=2.94
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 20513 0 1 0 201 93 0 0 17 0 8 0 156732892 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24253/statm: 229164 20249 2180 14 0 215634 0
[pid=24253/tid=24255] ppid=24251 vsize=916656 CPUtime=0.12
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 3894 0 0 0 11 1 0 0 16 0 8 0 156732898 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916656 CPUtime=0.17
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 424 0 0 0 16 1 0 0 16 0 8 0 156732902 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938655744 20249 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) 916656
[startup+6.26511 s]
/proc/loadavg: 0.76 1.46 1.66 2/75 24269
/proc/meminfo: memFree=1297800/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=6.21
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 23858 0 1 0 515 106 0 0 17 0 8 0 156732892 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 23571 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.29
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 6716 0 0 0 27 2 0 0 16 0 8 0 156732898 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 508 0 0 0 31 1 0 0 15 0 8 0 156732902 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 916888
[startup+12.7483 s]
/proc/loadavg: 0.79 1.45 1.66 2/75 24269
/proc/meminfo: memFree=1254408/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=12.69
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 34696 0 1 0 1159 110 0 0 20 0 8 0 156732892 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 34407 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.38
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 17548 0 0 0 32 6 0 0 16 0 8 0 156732898 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 512 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 916888
[startup+25.5806 s]
/proc/loadavg: 0.83 1.43 1.65 2/75 24269
/proc/meminfo: memFree=1205448/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=25.52
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 46937 0 1 0 2437 115 0 0 18 0 8 0 156732892 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074092721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 46645 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.48
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 29785 0 0 0 38 10 0 0 16 0 8 0 156732898 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 916888
[startup+51.2623 s]
/proc/loadavg: 0.88 1.40 1.63 2/75 24270
/proc/meminfo: memFree=1115656/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=51.19
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 75186 0 1 0 4994 125 0 0 23 0 8 0 156732892 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 74887 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.73
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 58027 0 0 0 52 21 0 0 17 0 8 0 156732898 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 916888
[startup+102.53 s]
/proc/loadavg: 0.99 1.35 1.60 3/87 24463
/proc/meminfo: memFree=873960/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=102.41
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 130179 0 1 0 10095 146 0 0 25 0 8 0 156732892 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 129868 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.21
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 113008 0 0 0 81 40 0 0 17 0 8 0 156732898 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 916888
[startup+162.551 s]
/proc/loadavg: 1.62 1.46 1.62 3/87 24463
/proc/meminfo: memFree=703464/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=162.41
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 16087 154 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.47
Current children cumulated vsize (KiB) 916888
[startup+1483.06 s]
/proc/loadavg: 2.01 1.99 1.88 3/87 24463
/proc/meminfo: memFree=170600/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1482.48
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 148089 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.48
Current children cumulated vsize (KiB) 916888
[startup+1543.08 s]
/proc/loadavg: 2.00 1.99 1.89 3/93 24547
/proc/meminfo: memFree=169056/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1542.39
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 154080 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.39
Current children cumulated vsize (KiB) 916888
[startup+1603.12 s]
/proc/loadavg: 2.00 1.99 1.89 3/93 24633
/proc/meminfo: memFree=169136/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1602.34
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 160075 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 916888
[startup+1663.15 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 24661
/proc/meminfo: memFree=170080/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1662.31
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 166072 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 916888
[startup+1723.16 s]
/proc/loadavg: 2.05 2.00 1.91 3/87 24661
/proc/meminfo: memFree=170080/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1722.3
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 172071 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 916888
[startup+1783.18 s]
/proc/loadavg: 2.02 2.00 1.91 3/87 24661
/proc/meminfo: memFree=170144/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1782.3
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 178071 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 916888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.96 s]
/proc/loadavg: 2.01 2.00 1.91 4/87 24661
/proc/meminfo: memFree=170144/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1800.09
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 179850 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.12
CPU time (s): 1800.25
CPU user time (s): 1798.56
CPU system time (s): 1.69374
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 916980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.69374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154531
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= 37821
involuntary context switches= 38795
runsolver used 1.93771 s user time and 4.5663 s system time
The end
Begin job on node45 on Sat Jan 6 11:35:26 UTC 2007
IDJOB= 237453
IDBENCH= 6942
FILE ID= node45/237453-1168083317
PBS_JOBID= 3476183
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_37.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237453-1168083317/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-237453-1168083317 -o ROOT/results/node45/solver-237453-1168083317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237453-1168083317/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1be48ee351afcb860740bdcb03c5c8f8
RANDOM SEED= 617013801
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: 1305344 kB
Buffers: 49576 kB
Cached: 536148 kB
SwapCached: 2748 kB
Active: 144212 kB
Inactive: 533776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1305344 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 7152 kB
Writeback: 0 kB
Mapped: 107488 kB
Slab: 57720 kB
Committed_AS: 3519032 kB
PageTables: 1952 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= 66538 MiB
End job on node45 on Sat Jan 6 12:05:44 UTC 2007