0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/237437-1168083317/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.66 nbVariables=1849 nbDomainTypes=1 minDomainSize=43 maxDomainSize=43
0.66 => wckTime=0.28 cpuTime=0.18 mem=11M762
0.66
0.66 predicates being loaded...
0.67
0.67 constraints being loaded...
4.91
4.91 INFO : Stopping converting binary constraints (cpu=4.01, mem = 49M435)
5.03 nbConstraints=38871 nbConvertedConstraints=37247 nbConvertConstraintsChecks=7396 nbExtensionStructures=4
5.03 nbSharedExtensionStructures=37243 nbConflictsStructures=4 nbSharedConflictsStructures=37243
5.03 nbSharedBinaryRepresentations=257 nbEvaluationManagers=4 nbSharedEvaluationManagers=1620 maxDegree=43
5.03 maxArity=2
5.03 => wckTime=4.65 cpuTime=4.05 mem=55M571
5.29
5.29 solver IterativeSystematicSolver being built...
5.61 => wckTime=5.234 cpuTime=4.29 mem=61M143
5.92
5.92 preprocessing
5.92 nbConstraintChecks=139972 nbValidityChecks=3330 nbPropagations=1849 nbRevisions=3248 nbUselessRevisions=3248
5.92 nbRemovedValues=0 detectedInconsistency=no
5.92 => wckTime=0.288 cpuTime=0.26 mem=61M143
6.46
6.46 search
6.46 run=0 nbConstraintChecks=232313 nbValidityChecks=250478 nbPropagations=7285 nbRevisions=15128
6.46 nbUselessRevisions=9799 nbAssignments=170 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=187
6.46 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
6.46 => wckTime=0.836 cpuTime=0.77 mem=63M155
6.77
6.77 search
6.77 run=1 nbConstraintChecks=412551 nbValidityChecks=502646 nbPropagations=20043 nbRevisions=42271
6.77 nbUselessRevisions=26243 nbAssignments=349 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=391
6.77 nbRestartNogoods=2 mapSize=25 nbInferences=1 nbTooLargeKeys=0
6.77 => wckTime=1.146 cpuTime=1.09 mem=65M167
7.09
7.09 search
7.09 run=2 nbConstraintChecks=591513 nbValidityChecks=756945 nbPropagations=38337 nbRevisions=81584
7.09 nbUselessRevisions=49426 nbAssignments=541 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=618
7.09 nbRestartNogoods=3 mapSize=47 nbInferences=2 nbTooLargeKeys=0
7.09 => wckTime=1.464 cpuTime=1.4 mem=67M180
7.42
7.42 search
7.42 run=3 nbConstraintChecks=773220 nbValidityChecks=1009024 nbPropagations=62245 nbRevisions=133117
7.42 nbUselessRevisions=79313 nbAssignments=750 nbFailedAssignments=63 nbBacktracks=81 nbVisitedNodes=880
7.42 nbRestartNogoods=7 mapSize=80 nbInferences=3 nbTooLargeKeys=0
7.42 => wckTime=1.794 cpuTime=1.72 mem=69M192
7.77
7.77 search
7.77 run=4 nbConstraintChecks=952412 nbValidityChecks=1259976 nbPropagations=91883 nbRevisions=196932
7.77 nbUselessRevisions=115850 nbAssignments=987 nbFailedAssignments=101 nbBacktracks=132 nbVisitedNodes=1196
7.77 nbRestartNogoods=12 mapSize=131 nbInferences=6 nbTooLargeKeys=0
7.77 => wckTime=2.143 cpuTime=2.07 mem=71M204
8.16
8.16 search
8.16 run=5 nbConstraintChecks=1134187 nbValidityChecks=1516124 nbPropagations=127405 nbRevisions=273459
8.16 nbUselessRevisions=159310 nbAssignments=1263 nbFailedAssignments=156 nbBacktracks=208 nbVisitedNodes=1585
8.16 nbRestartNogoods=16 mapSize=207 nbInferences=9 nbTooLargeKeys=0
8.16 => wckTime=2.531 cpuTime=2.44 mem=73M216
8.61
8.62 search
8.62 run=6 nbConstraintChecks=1314828 nbValidityChecks=1765470 nbPropagations=169138 nbRevisions=363006
8.62 nbUselessRevisions=209718 nbAssignments=1616 nbFailedAssignments=228 nbBacktracks=321 nbVisitedNodes=2106
8.62 nbRestartNogoods=18 mapSize=320 nbInferences=33 nbTooLargeKeys=0
8.62 => wckTime=2.991 cpuTime=2.88 mem=76M235
9.16
9.16 search
9.16 run=7 nbConstraintChecks=1500786 nbValidityChecks=2021493 nbPropagations=217602 nbRevisions=466645
9.17 nbUselessRevisions=267679 nbAssignments=2083 nbFailedAssignments=332 nbBacktracks=491 nbVisitedNodes=2830
9.17 nbRestartNogoods=24 mapSize=490 nbInferences=82 nbTooLargeKeys=0
9.17 => wckTime=3.541 cpuTime=3.42 mem=80M748
9.88
9.88 search
9.88 run=8 nbConstraintChecks=1682752 nbValidityChecks=2243931 nbPropagations=273565 nbRevisions=583378
9.88 nbUselessRevisions=331507 nbAssignments=2720 nbFailedAssignments=480 nbBacktracks=747 nbVisitedNodes=3855
9.88 nbRestartNogoods=34 mapSize=746 nbInferences=174 nbTooLargeKeys=0
9.88 => wckTime=4.252 cpuTime=4.1 mem=50M429
10.78
10.78 search
10.78 run=9 nbConstraintChecks=1867291 nbValidityChecks=2451397 nbPropagations=338149 nbRevisions=713471
10.78 nbUselessRevisions=400434 nbAssignments=3604 nbFailedAssignments=700 nbBacktracks=1131 nbVisitedNodes=5320
10.78 nbRestartNogoods=40 mapSize=1130 nbInferences=315 nbTooLargeKeys=0
10.78 => wckTime=5.151 cpuTime=4.98 mem=58M478
12.14
12.14 search
12.14 run=10 nbConstraintChecks=2058874 nbValidityChecks=2669146 nbPropagations=413726 nbRevisions=859109
12.14 nbUselessRevisions=474717 nbAssignments=4973 nbFailedAssignments=994 nbBacktracks=1707 nbVisitedNodes=7639
12.14 nbRestartNogoods=47 mapSize=1706 nbInferences=677 nbTooLargeKeys=0
12.14 => wckTime=6.514 cpuTime=6.33 mem=72M563
14.14
14.14 search
14.14 run=11 nbConstraintChecks=2261279 nbValidityChecks=2900698 nbPropagations=503645 nbRevisions=1024101
14.14 nbUselessRevisions=555070 nbAssignments=7001 nbFailedAssignments=1450 nbBacktracks=2571 nbVisitedNodes=11151
14.14 nbRestartNogoods=52 mapSize=2570 nbInferences=1249 nbTooLargeKeys=0
14.14 => wckTime=8.517 cpuTime=8.25 mem=73M97
17.22
17.22 search
17.22 run=12 nbConstraintChecks=2481416 nbValidityChecks=3135440 nbPropagations=614129 nbRevisions=1214045
17.22 nbUselessRevisions=641859 nbAssignments=10223 nbFailedAssignments=2091 nbBacktracks=3868 nbVisitedNodes=16813
17.22 nbRestartNogoods=63 mapSize=3867 nbInferences=2407 nbTooLargeKeys=0
17.22 => wckTime=11.599 cpuTime=11.3 mem=107M305
22.39
22.39 search
22.39 run=13 nbConstraintChecks=2743141 nbValidityChecks=3376987 nbPropagations=756900 nbRevisions=1439488
22.39 nbUselessRevisions=735898 nbAssignments=15487 nbFailedAssignments=2994 nbBacktracks=5814 nbVisitedNodes=26175
22.39 nbRestartNogoods=70 mapSize=5813 nbInferences=4699 nbTooLargeKeys=0
22.39 => wckTime=16.763 cpuTime=16.37 mem=147M32
29.90
29.90 search
29.90 run=14 nbConstraintChecks=3034802 nbValidityChecks=3628768 nbPropagations=943532 nbRevisions=1709603
29.90 nbUselessRevisions=837372 nbAssignments=23184 nbFailedAssignments=4144 nbBacktracks=8734 nbVisitedNodes=39678
29.90 nbRestartNogoods=76 mapSize=8733 nbInferences=8205 nbTooLargeKeys=0
29.90 => wckTime=24.271 cpuTime=23.72 mem=182M179
40.26
40.26 search
40.26 run=15 nbConstraintChecks=3380761 nbValidityChecks=3993618 nbPropagations=1188042 nbRevisions=2054866
40.26 nbUselessRevisions=964995 nbAssignments=34004 nbFailedAssignments=5976 nbBacktracks=13112 nbVisitedNodes=58664
40.26 nbRestartNogoods=82 mapSize=13043 nbInferences=12707 nbTooLargeKeys=0
40.26 => wckTime=34.636 cpuTime=33.86 mem=218M489
51.32
51.32 search
51.32 run=16 nbConstraintChecks=3728950 nbValidityChecks=4244482 nbPropagations=1502451 nbRevisions=2469125
51.32 nbUselessRevisions=1099241 nbAssignments=47945 nbFailedAssignments=9479 nbBacktracks=19680 nbVisitedNodes=83414
51.32 nbRestartNogoods=92 mapSize=19585 nbInferences=16510 nbTooLargeKeys=0
51.32 => wckTime=45.699 cpuTime=44.7 mem=283M433
73.04
73.04 search
73.04 run=17 nbConstraintChecks=4573605 nbValidityChecks=4722357 nbPropagations=1975603 nbRevisions=3031044
73.04 nbUselessRevisions=1249475 nbAssignments=75480 nbFailedAssignments=13271 nbBacktracks=29533
73.04 nbVisitedNodes=132261 nbRestartNogoods=100 mapSize=29396 nbInferences=30239 nbTooLargeKeys=0
73.04 => wckTime=67.42 cpuTime=66.04 mem=357M123
121.86
121.86 search
121.86 run=18 nbConstraintChecks=6003356 nbValidityChecks=5299819 nbPropagations=2730565 nbRevisions=3834361
121.86 nbUselessRevisions=1418700 nbAssignments=123912 nbFailedAssignments=16715 nbBacktracks=44311
121.86 nbVisitedNodes=217622 nbRestartNogoods=117 mapSize=44126 nbInferences=60280 nbTooLargeKeys=0
121.86 => wckTime=116.239 cpuTime=114.0 mem=566M758
127.54
127.54 INFO : Stopping hyperNogood (mapSize=46573, nbTooLargekeys=0, mem=601M997)
141.53
141.53 search
141.53 run=19 nbConstraintChecks=6939066 nbValidityChecks=6184984 nbPropagations=3674628 nbRevisions=4933219
141.53 nbUselessRevisions=1694300 nbAssignments=162831 nbFailedAssignments=30885 nbBacktracks=66479
141.53 nbVisitedNodes=287293 nbRestartNogoods=139
141.53 => wckTime=135.904 cpuTime=133.44 mem=601M997
165.34
165.34 search
165.34 run=20 nbConstraintChecks=7925964 nbValidityChecks=6606556 nbPropagations=4878643 nbRevisions=6304345
165.34 nbUselessRevisions=1982231 nbAssignments=219048 nbFailedAssignments=53681 nbBacktracks=99731
165.34 nbVisitedNodes=389102 nbRestartNogoods=152
165.34 => wckTime=159.72 cpuTime=157.03 mem=601M997
200.88
200.88 search
200.88 run=21 nbConstraintChecks=9221155 nbValidityChecks=7024850 nbPropagations=6468248 nbRevisions=8072578
200.88 nbUselessRevisions=2281651 nbAssignments=303466 nbFailedAssignments=88052 nbBacktracks=149609
200.88 nbVisitedNodes=542262 nbRestartNogoods=172
200.88 => wckTime=195.252 cpuTime=192.24 mem=601M997
254.03
254.03 search
254.03 run=22 nbConstraintChecks=10985592 nbValidityChecks=7467320 nbPropagations=8632013 nbRevisions=10427063
254.03 nbUselessRevisions=2593142 nbAssignments=430179 nbFailedAssignments=139778 nbBacktracks=224427
254.03 nbVisitedNodes=772426 nbRestartNogoods=193
254.03 => wckTime=248.404 cpuTime=244.91 mem=601M997
334.74
334.74 search
334.74 run=23 nbConstraintChecks=13831530 nbValidityChecks=8996191 nbPropagations=11658073 nbRevisions=13832894
334.74 nbUselessRevisions=3093659 nbAssignments=620296 nbFailedAssignments=217499 nbBacktracks=336654
334.74 nbVisitedNodes=1117984 nbRestartNogoods=207
334.74 => wckTime=329.115 cpuTime=324.88 mem=601M997
451.07
451.07 search
451.07 run=24 nbConstraintChecks=17594535 nbValidityChecks=9730193 nbPropagations=15969638 nbRevisions=18555944
451.07 nbUselessRevisions=3625844 nbAssignments=905362 nbFailedAssignments=334013 nbBacktracks=504995
451.07 nbVisitedNodes=1636075 nbRestartNogoods=224
451.07 => wckTime=445.449 cpuTime=440.15 mem=601M997
611.43
611.43 search
611.43 run=25 nbConstraintChecks=23006976 nbValidityChecks=10501254 nbPropagations=22196754 nbRevisions=25225285
611.43 nbUselessRevisions=4188655 nbAssignments=1331283 nbFailedAssignments=507211 nbBacktracks=757507
611.43 nbVisitedNodes=2408390 nbRestartNogoods=247
611.43 => wckTime=605.807 cpuTime=599.89 mem=601M997
857.31
857.31 search
857.31 run=26 nbConstraintChecks=31436925 nbValidityChecks=15259495 nbPropagations=31291161 nbRevisions=35683826
857.31 nbUselessRevisions=5673269 nbAssignments=1970746 nbFailedAssignments=767697 nbBacktracks=1136274
857.31 nbVisitedNodes=3568823 nbRestartNogoods=273
857.31 => wckTime=851.689 cpuTime=844.52 mem=601M997
1220.97
1220.97 search
1220.97 run=27 nbConstraintChecks=42724378 nbValidityChecks=15892349 nbPropagations=44685262 nbRevisions=50465733
1220.97 nbUselessRevisions=7181464 nbAssignments=2931422 nbFailedAssignments=1160012 nbBacktracks=1704425
1220.97 nbVisitedNodes=5314127 nbRestartNogoods=292
1220.97 => wckTime=1215.344 cpuTime=1206.27 mem=601M997
1773.02
1773.02 search
1773.02 run=28 nbConstraintChecks=59942857 nbValidityChecks=19525295 nbPropagations=64529627 nbRevisions=72385830
1773.02 nbUselessRevisions=9377509 nbAssignments=4373843 nbFailedAssignments=1749998 nbBacktracks=2556651
1773.02 nbVisitedNodes=7936517 nbRestartNogoods=306
1773.02 => wckTime=1767.393 cpuTime=1755.38 mem=601M997
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-237437-1168083317 -o ROOT/results/node5/solver-237437-1168083317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237437-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: 1.19 1.60 1.71 4/93 8801
/proc/meminfo: memFree=1306312/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=18540 CPUtime=0
/proc/8800/stat : 8800 (runsolver) R 8798 8800 8733 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 136948359 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8800/statm: 4635 279 244 17 0 2626 0
[startup+0.10358 s]
/proc/loadavg: 1.19 1.60 1.71 4/93 8801
/proc/meminfo: memFree=1306312/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=913228 CPUtime=0.08
/proc/8800/stat : 8800 (java) D 8798 8800 8733 0 -1 0 2919 0 1 0 6 2 0 0 20 0 8 0 136948359 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.515549 s]
/proc/loadavg: 1.19 1.60 1.71 4/93 8801
/proc/meminfo: memFree=1306312/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915328 CPUtime=0.43
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 6176 0 1 0 38 5 0 0 18 0 8 0 136948359 937295872 5915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154526214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228832 5915 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34465 s]
/proc/loadavg: 1.25 1.61 1.71 4/100 8808
/proc/meminfo: memFree=1244368/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915644 CPUtime=1.25
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 18176 0 1 0 113 12 0 0 24 0 8 0 136948359 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228911 17913 2160 14 0 215381 0
[pid=8800/tid=8802] ppid=8798 vsize=915644 CPUtime=0.05
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 1635 0 0 0 5 0 0 0 16 0 8 0 136948363 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915644 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915644 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915644 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915644 CPUtime=0.15
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 136948367 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915644 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915644 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937619456 17913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915644
[startup+2.98283 s]
/proc/loadavg: 1.25 1.61 1.71 3/100 8808
/proc/meminfo: memFree=1228752/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915648 CPUtime=2.87
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 21718 0 1 0 227 60 0 0 25 0 8 0 136948359 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228912 21453 2180 14 0 215382 0
[pid=8800/tid=8802] ppid=8798 vsize=915648 CPUtime=0.2
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 5090 0 0 0 18 2 0 0 16 0 8 0 136948363 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915648 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915648 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915648 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915648 CPUtime=0.2
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 136948367 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915648 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915648 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937623552 21453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915648
[startup+6.2642 s]
/proc/loadavg: 1.25 1.61 1.71 3/100 8808
/proc/meminfo: memFree=1205072/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=6.12
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 28078 0 1 0 448 164 0 0 25 0 8 0 136948359 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228975 27743 2535 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=0.61
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 10918 0 0 0 56 5 0 0 16 0 8 0 136948363 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.36
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 526 0 0 0 34 2 0 0 15 0 8 0 136948367 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 27743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915900
[startup+12.7569 s]
/proc/loadavg: 1.37 1.62 1.71 4/100 8808
/proc/meminfo: memFree=1199696/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=12.55
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 29416 0 1 0 1090 165 0 0 25 0 8 0 136948359 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074215139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228975 29074 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=0.63
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 12220 0 0 0 58 5 0 0 17 0 8 0 136948363 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 551 0 0 0 39 2 0 0 16 0 8 0 136948367 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 29074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915900
[startup+25.6244 s]
/proc/loadavg: 1.46 1.63 1.72 3/100 8808
/proc/meminfo: memFree=1127120/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=25.3
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 47532 0 1 0 2356 174 0 0 25 0 8 0 136948359 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074294016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228975 47187 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=0.78
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 30332 0 0 0 64 14 0 0 16 0 8 0 136948363 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 47187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915900
[startup+51.2493 s]
/proc/loadavg: 1.72 1.67 1.73 3/100 8808
/proc/meminfo: memFree=979472/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=50.69
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 84395 0 1 0 4881 188 0 0 25 0 8 0 136948359 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228975 84044 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.07
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 67189 0 0 0 79 28 0 0 16 0 8 0 136948363 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 84044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915900
[startup+102.505 s]
/proc/loadavg: 1.89 1.73 1.74 3/100 8808
/proc/meminfo: memFree=779856/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=101.48
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 134217 0 1 0 9939 209 0 0 25 0 8 0 136948359 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8800/statm: 228975 133855 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.51
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 117000 0 0 0 102 49 0 0 16 0 8 0 136948363 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 133855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915900
[startup+162.598 s]
/proc/loadavg: 1.96 1.77 1.75 3/100 8808
/proc/meminfo: memFree=685136/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=161.02
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157847 0 1 0 15883 219 0 0 25 0 8 0 136948359 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.08
Current children cumulated vsize (KiB) 915900
[startup+1483.12 s]
/proc/loadavg: 2.01 2.01 1.92 3/100 8866
/proc/meminfo: memFree=741392/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1473.8
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157847 0 1 0 147151 229 0 0 25 0 8 0 136948359 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157478 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.8
Current children cumulated vsize (KiB) 915900
[startup+1543.13 s]
/proc/loadavg: 2.00 2.01 1.92 3/106 8968
/proc/meminfo: memFree=740184/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1533.44
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157847 0 1 0 153112 232 0 0 25 0 8 0 136948359 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157478 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.44
Current children cumulated vsize (KiB) 915900
[startup+1603.16 s]
/proc/loadavg: 2.00 2.00 1.92 3/106 9038
/proc/meminfo: memFree=740128/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1593.12
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157847 0 1 0 159075 237 0 0 25 0 8 0 136948359 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157478 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.12
Current children cumulated vsize (KiB) 915900
[startup+1663.18 s]
/proc/loadavg: 2.06 2.02 1.93 3/100 9064
/proc/meminfo: memFree=741064/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1652.83
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157847 0 1 0 165045 238 0 0 25 0 8 0 136948359 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157478 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.83
Current children cumulated vsize (KiB) 915900
[startup+1723.18 s]
/proc/loadavg: 2.02 2.01 1.93 6/100 9064
/proc/meminfo: memFree=741064/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1712.51
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157847 0 1 0 171013 238 0 0 25 0 8 0 136948359 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157478 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 552 0 0 0 39 2 0 0 17 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.51
Current children cumulated vsize (KiB) 915900
[startup+1783.18 s]
/proc/loadavg: 2.05 2.02 1.93 3/100 9064
/proc/meminfo: memFree=741064/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1772.22
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157848 0 1 0 176984 238 0 0 25 0 8 0 136948359 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157479 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 553 0 0 0 39 2 0 0 16 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.22
Current children cumulated vsize (KiB) 915900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.17 s]
/proc/loadavg: 2.03 2.02 1.93 3/100 9064
/proc/meminfo: memFree=741064/2055920 swapFree=4192812/4192956
[pid=8800] ppid=8798 vsize=915900 CPUtime=1800.05
/proc/8800/stat : 8800 (java) R 8798 8800 8733 0 -1 0 157848 0 1 0 179766 239 0 0 25 0 8 0 136948359 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8800/statm: 228975 157479 2538 14 0 215445 0
[pid=8800/tid=8802] ppid=8798 vsize=915900 CPUtime=1.72
/proc/8800/task/8802/stat : 8802 (java) S 8798 8800 8733 0 -1 64 140623 0 0 0 114 58 0 0 16 0 8 0 136948363 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8803] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8803/stat : 8803 (java) S 8798 8800 8733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8804] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8804/stat : 8804 (java) S 8798 8800 8733 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136948364 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8805] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8805/stat : 8805 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8806] ppid=8798 vsize=915900 CPUtime=0.41
/proc/8800/task/8806/stat : 8806 (java) S 8798 8800 8733 0 -1 64 553 0 0 0 39 2 0 0 16 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8800/tid=8807] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8807/stat : 8807 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8800/tid=8808] ppid=8798 vsize=915900 CPUtime=0
/proc/8800/task/8808/stat : 8808 (java) S 8798 8800 8733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 136948367 937881600 157479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.3
CPU time (s): 1800.18
CPU user time (s): 1797.7
CPU system time (s): 2.48262
CPU usage (%): 99.3862
Max. virtual memory (cumulated for all children) (KiB): 916004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 2.48262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157863
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= 38579
involuntary context switches= 48896
runsolver used 2.16267 s user time and 5.85811 s system time
The end
Begin job on node5 on Sat Jan 6 11:35:26 UTC 2007
IDJOB= 237437
IDBENCH= 6941
FILE ID= node5/237437-1168083317
PBS_JOBID= 3476271
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_43.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237437-1168083317/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-237437-1168083317 -o ROOT/results/node5/solver-237437-1168083317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237437-1168083317/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1cfbb878cd4fcedc1a1cd5b11d5233a9
RANDOM SEED= 6377757
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1306856 kB
Buffers: 50124 kB
Cached: 451512 kB
SwapCached: 0 kB
Active: 211688 kB
Inactive: 450044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1306856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6608 kB
Writeback: 0 kB
Mapped: 189116 kB
Slab: 71988 kB
Committed_AS: 4037204 kB
PageTables: 2432 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= 66326 MiB
End job on node5 on Sat Jan 6 12:05:54 UTC 2007