0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/237452-1168348260/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.54 nbVariables=1369 nbDomainTypes=1 minDomainSize=37 maxDomainSize=37
0.54 => wckTime=0.216 cpuTime=0.17 mem=9M812
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
3.41 nbConstraints=24678 nbConvertedConstraints=24678 nbConvertConstraintsChecks=5476 nbExtensionStructures=4
3.41 nbSharedExtensionStructures=24674 nbConflictsStructures=4 nbSharedConflictsStructures=24674
3.41 nbSharedBinaryRepresentations=221 maxDegree=37 maxArity=2
3.41 => wckTime=3.092 cpuTime=2.76 mem=56M895
3.61
3.61 solver IterativeSystematicSolver being built...
3.88 => wckTime=3.555 cpuTime=2.97 mem=37M378
9.67
9.67 preprocessing
9.67 nbConstraintChecks=806045 nbPropagations=32052 nbRevisions=33495 nbUselessRevisions=3722 nbSingletonTests=1510
9.67 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
9.67 => wckTime=5.779 cpuTime=5.68 mem=37M378
9.91
9.91 search
9.91 run=0 nbConstraintChecks=99461 nbPropagations=35468 nbRevisions=36974 nbUselessRevisions=3836
9.91 nbAssignments=123 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=144 nbRestartNogoods=0 mapSize=10
9.91 nbInferences=0 nbTooLargeKeys=0
9.91 => wckTime=6.03 cpuTime=5.92 mem=38M366
10.05
10.05 search
10.05 run=1 nbConstraintChecks=197962 nbPropagations=74396 nbRevisions=77446 nbUselessRevisions=7758
10.05 nbAssignments=256 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=305 nbRestartNogoods=4 mapSize=25
10.05 nbInferences=0 nbTooLargeKeys=0
10.05 => wckTime=6.168 cpuTime=6.05 mem=39M353
10.19
10.19 search
10.19 run=2 nbConstraintChecks=296698 nbPropagations=116849 nbRevisions=121491 nbUselessRevisions=11772
10.19 nbAssignments=402 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=491 nbRestartNogoods=7 mapSize=47
10.19 nbInferences=0 nbTooLargeKeys=0
10.19 => wckTime=6.312 cpuTime=6.19 mem=40M341
10.35
10.35 search
10.35 run=3 nbConstraintChecks=395766 nbPropagations=162909 nbRevisions=169191 nbUselessRevisions=15880
10.35 nbAssignments=567 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=711 nbRestartNogoods=12 mapSize=80
10.35 nbInferences=1 nbTooLargeKeys=0
10.35 => wckTime=6.466 cpuTime=6.34 mem=41M329
10.52
10.52 search
10.52 run=4 nbConstraintChecks=495203 nbPropagations=212701 nbRevisions=220668 nbUselessRevisions=20082
10.52 nbAssignments=759 nbFailedAssignments=108 nbBacktracks=130 nbVisitedNodes=980 nbRestartNogoods=16 mapSize=129
10.52 nbInferences=4 nbTooLargeKeys=0
10.52 => wckTime=6.633 cpuTime=6.5 mem=42M316
10.71
10.71 search
10.71 run=5 nbConstraintChecks=595384 nbPropagations=266463 nbRevisions=276134 nbUselessRevisions=24379
10.71 nbAssignments=1002 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=1338 nbRestartNogoods=21
10.71 mapSize=204 nbInferences=21 nbTooLargeKeys=0
10.71 => wckTime=6.831 cpuTime=6.7 mem=43M304
10.95
10.95 search
10.95 run=6 nbConstraintChecks=696464 nbPropagations=324511 nbRevisions=335895 nbUselessRevisions=28773
10.95 nbAssignments=1314 nbFailedAssignments=231 nbBacktracks=319 nbVisitedNodes=1820 nbRestartNogoods=23
10.95 mapSize=316 nbInferences=43 nbTooLargeKeys=0
10.95 => wckTime=7.068 cpuTime=6.93 mem=45M279
11.26
11.26 search
11.26 run=7 nbConstraintChecks=798869 nbPropagations=387349 nbRevisions=400416 nbUselessRevisions=33265
11.26 nbAssignments=1736 nbFailedAssignments=338 nbBacktracks=489 nbVisitedNodes=2498 nbRestartNogoods=30
11.26 mapSize=486 nbInferences=85 nbTooLargeKeys=0
11.26 => wckTime=7.382 cpuTime=7.23 mem=47M254
11.67
11.68 search
11.68 run=8 nbConstraintChecks=903405 nbPropagations=455760 nbRevisions=470405 nbUselessRevisions=37861
11.68 nbAssignments=2328 nbFailedAssignments=489 nbBacktracks=745 nbVisitedNodes=3475 nbRestartNogoods=38
11.68 mapSize=742 nbInferences=168 nbTooLargeKeys=0
11.68 => wckTime=7.793 cpuTime=7.63 mem=51M205
12.23
12.23 search
12.23 run=9 nbConstraintChecks=1011450 nbPropagations=531027 nbRevisions=546999 nbUselessRevisions=42562
12.24 nbAssignments=3189 nbFailedAssignments=707 nbBacktracks=1129 nbVisitedNodes=4928 nbRestartNogoods=45
12.24 mapSize=1126 nbInferences=324 nbTooLargeKeys=0
12.24 => wckTime=8.352 cpuTime=8.18 mem=56M143
13.07
13.07 search
13.07 run=10 nbConstraintChecks=1124694 nbPropagations=615150 nbRevisions=631911 nbUselessRevisions=47368
13.07 nbAssignments=4477 nbFailedAssignments=1017 nbBacktracks=1706 nbVisitedNodes=7137 nbRestartNogoods=50
13.07 mapSize=1703 nbInferences=625 nbTooLargeKeys=0
13.07 => wckTime=9.185 cpuTime=9.0 mem=65M31
14.35
14.35 search
14.35 run=11 nbConstraintChecks=1248049 nbPropagations=711666 nbRevisions=728240 nbUselessRevisions=52403
14.35 nbAssignments=6480 nbFailedAssignments=1434 nbBacktracks=2570 nbVisitedNodes=10594 nbRestartNogoods=53
14.35 mapSize=2567 nbInferences=1245 nbTooLargeKeys=0
14.35 => wckTime=10.471 cpuTime=10.24 mem=49M241
16.37
16.37 search
16.37 run=12 nbConstraintChecks=1586524 nbPropagations=832400 nbRevisions=847148 nbUselessRevisions=57996
16.37 nbAssignments=9720 nbFailedAssignments=2029 nbBacktracks=3867 nbVisitedNodes=15868 nbRestartNogoods=69
16.37 mapSize=3859 nbInferences=2293 nbTooLargeKeys=0
16.37 => wckTime=12.492 cpuTime=12.24 mem=70M126
18.27
18.27 search
18.27 run=13 nbConstraintChecks=1735663 nbPropagations=972416 nbRevisions=984824 nbUselessRevisions=63827
18.27 nbAssignments=13317 nbFailedAssignments=3261 nbBacktracks=5813 nbVisitedNodes=22296 nbRestartNogoods=76
18.27 mapSize=5779 nbInferences=2660 nbTooLargeKeys=0
18.27 => wckTime=14.392 cpuTime=14.06 mem=66M54
20.87
20.87 search
20.87 run=14 nbConstraintChecks=2038608 nbPropagations=1143208 nbRevisions=1153421 nbUselessRevisions=70873
20.87 nbAssignments=18718 nbFailedAssignments=5083 nbBacktracks=8733 nbVisitedNodes=31957 nbRestartNogoods=78
20.87 mapSize=8616 nbInferences=3276 nbTooLargeKeys=0
20.87 => wckTime=16.986 cpuTime=16.64 mem=82M78
26.03
26.03 search
26.03 run=15 nbConstraintChecks=2447976 nbPropagations=1376678 nbRevisions=1375533 nbUselessRevisions=78904
26.03 nbAssignments=29901 nbFailedAssignments=6694 nbBacktracks=13111 nbVisitedNodes=51417 nbRestartNogoods=80
26.03 mapSize=12939 nbInferences=8332 nbTooLargeKeys=0
26.03 => wckTime=22.151 cpuTime=21.76 mem=109M118
38.64
38.64 search
38.64 run=16 nbConstraintChecks=3606347 nbPropagations=1740053 nbRevisions=1708277 nbUselessRevisions=88840
38.64 nbAssignments=49722 nbFailedAssignments=8719 nbBacktracks=19680 nbVisitedNodes=84861 nbRestartNogoods=95
38.64 mapSize=19471 nbInferences=18664 nbTooLargeKeys=0
38.64 => wckTime=34.755 cpuTime=34.1 mem=168M56
59.00
59.00 search
59.00 run=17 nbConstraintChecks=4726197 nbPropagations=2292763 nbRevisions=2196996 nbUselessRevisions=101470
59.00 nbAssignments=80998 nbFailedAssignments=11429 nbBacktracks=29532 nbVisitedNodes=139320 nbRestartNogoods=111
59.00 mapSize=29287 nbInferences=36836 nbTooLargeKeys=0
59.00 => wckTime=55.116 cpuTime=54.11 mem=250M875
92.23
92.23 search
92.23 run=18 nbConstraintChecks=6541885 nbPropagations=3146551 nbRevisions=2931806 nbUselessRevisions=119516
92.23 nbAssignments=130170 nbFailedAssignments=14775 nbBacktracks=44310 nbVisitedNodes=224840 nbRestartNogoods=129
92.23 mapSize=43976 nbInferences=67120 nbTooLargeKeys=0
92.23 => wckTime=88.343 cpuTime=86.77 mem=377M876
132.55
132.55 search
132.55 run=19 nbConstraintChecks=8012996 nbPropagations=4349687 nbRevisions=3948438 nbUselessRevisions=138462
132.55 nbAssignments=193984 nbFailedAssignments=21878 nbBacktracks=66479 nbVisitedNodes=336494 nbRestartNogoods=150
132.55 mapSize=66135 nbInferences=101153 nbTooLargeKeys=0
132.55 => wckTime=128.669 cpuTime=126.34 mem=528M675
144.05
144.05 INFO : Stopping hyperNogood (mapSize=72822, nbTooLargekeys=0, mem=600M217)
156.53
156.53 search
156.53 run=20 nbConstraintChecks=9378318 nbPropagations=5868782 nbRevisions=5272786 nbUselessRevisions=164815
156.54 nbAssignments=257714 nbFailedAssignments=42478 nbBacktracks=99731 nbVisitedNodes=450683 nbRestartNogoods=160
156.54 => wckTime=152.653 cpuTime=150.03 mem=600M217
180.70
180.70 search
180.70 run=21 nbConstraintChecks=10875347 nbPropagations=7780182 nbRevisions=6992578 nbUselessRevisions=194283
180.70 nbAssignments=342213 nbFailedAssignments=76803 nbBacktracks=149609 nbVisitedNodes=603704 nbRestartNogoods=183
180.70 => wckTime=176.814 cpuTime=173.98 mem=600M217
216.82
216.82 search
216.82 run=22 nbConstraintChecks=13019465 nbPropagations=10279117 nbRevisions=9303077 nbUselessRevisions=227082
216.82 nbAssignments=469291 nbFailedAssignments=128479 nbBacktracks=224428 nbVisitedNodes=833718 nbRestartNogoods=202
216.82 => wckTime=212.936 cpuTime=209.8 mem=600M217
269.94
269.94 search
269.94 run=23 nbConstraintChecks=15865098 nbPropagations=13648650 nbRevisions=12486890 nbUselessRevisions=262877
269.94 nbAssignments=659794 nbFailedAssignments=206181 nbBacktracks=336656 nbVisitedNodes=1179219 nbRestartNogoods=219
269.94 => wckTime=266.06 cpuTime=262.47 mem=600M217
347.04
347.04 search
347.04 run=24 nbConstraintChecks=19753528 nbPropagations=18312506 nbRevisions=16967455 nbUselessRevisions=301319
347.04 nbAssignments=945314 nbFailedAssignments=322737 nbBacktracks=504997 nbVisitedNodes=1697430 nbRestartNogoods=241
347.04 => wckTime=343.154 cpuTime=338.92 mem=600M217
461.01
461.01 search
461.01 run=25 nbConstraintChecks=25693588 nbPropagations=24913932 nbRevisions=23391257 nbUselessRevisions=346199
461.01 nbAssignments=1371999 nbFailedAssignments=495737 nbBacktracks=757508 nbVisitedNodes=2469141
461.01 nbRestartNogoods=272
461.01 => wckTime=457.124 cpuTime=451.94 mem=600M217
633.06
633.06 search
633.06 run=26 nbConstraintChecks=33642563 nbPropagations=34394483 nbRevisions=32697447 nbUselessRevisions=394958
633.06 nbAssignments=2012110 nbFailedAssignments=756218 nbBacktracks=1136275 nbVisitedNodes=3629553
633.06 nbRestartNogoods=299
633.06 => wckTime=629.174 cpuTime=622.55 mem=600M217
890.09
890.09 search
890.09 run=27 nbConstraintChecks=44815463 nbPropagations=48174309 nbRevisions=46305913 nbUselessRevisions=446843
890.09 nbAssignments=2972896 nbFailedAssignments=1148532 nbBacktracks=1704426 nbVisitedNodes=5374847
890.09 nbRestartNogoods=323
890.09 => wckTime=886.207 cpuTime=877.3 mem=600M217
1251.16
1251.16 search
1251.16 run=28 nbConstraintChecks=61612055 nbPropagations=68409074 nbRevisions=66380628 nbUselessRevisions=509905
1251.16 nbAssignments=4415420 nbFailedAssignments=1738471 nbBacktracks=2556652 nbVisitedNodes=7997127
1251.16 nbRestartNogoods=337
1251.16 => wckTime=1247.275 cpuTime=1236.2 mem=601M239
1783.70
1783.70 search
1783.70 run=29 nbConstraintChecks=87020521 nbPropagations=98345217 nbRevisions=96161513 nbUselessRevisions=578488
1783.70 nbAssignments=6581502 nbFailedAssignments=2624988 nbBacktracks=3834992 nbVisitedNodes=11935253
1783.70 nbRestartNogoods=371
1783.70 => wckTime=1779.815 cpuTime=1768.21 mem=601M239
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-237452-1168348260 -o ROOT/results/node43/solver-237452-1168348260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237452-1168348260/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
/proc/loadavg: 2.58 2.18 2.04 4/74 2252
/proc/meminfo: memFree=1804808/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=18540 CPUtime=0
/proc/2251/stat : 2251 (runsolver) R 2249 2184 2184 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 183225157 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216846595744 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2251/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108291 s]
/proc/loadavg: 2.58 2.18 2.04 4/74 2252
/proc/meminfo: memFree=1804808/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=914988 CPUtime=0.08
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 183225157 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51636 s]
/proc/loadavg: 2.58 2.18 2.04 4/74 2252
/proc/meminfo: memFree=1804808/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915328 CPUtime=0.49
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 6580 0 1 0 45 4 0 0 18 0 8 0 183225157 937295872 6319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228832 6319 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3445 s]
/proc/loadavg: 2.58 2.18 2.04 3/81 2259
/proc/meminfo: memFree=1742352/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915628 CPUtime=1.3
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 17950 0 1 0 121 9 0 0 25 0 8 0 183225157 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228907 17688 2160 14 0 215377 0
[pid=2251/tid=2253] ppid=2249 vsize=915628 CPUtime=0.05
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 1420 0 0 0 5 0 0 0 17 0 8 0 183225162 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915628 CPUtime=0.15
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 399 0 0 0 15 0 0 0 16 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937603072 17688 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) 915628
[startup+2.98178 s]
/proc/loadavg: 2.53 2.18 2.04 3/81 2259
/proc/meminfo: memFree=1732176/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915632 CPUtime=2.93
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 20513 0 1 0 202 91 0 0 25 0 8 0 183225157 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228908 20249 2180 14 0 215378 0
[pid=2251/tid=2253] ppid=2249 vsize=915632 CPUtime=0.13
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 3893 0 0 0 12 1 0 0 16 0 8 0 183225162 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915632 CPUtime=0.21
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 425 0 0 0 20 1 0 0 17 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937607168 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.93
Current children cumulated vsize (KiB) 915632
[startup+6.28434 s]
/proc/loadavg: 2.53 2.18 2.04 4/81 2259
/proc/meminfo: memFree=1720144/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=6.2
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 23850 0 1 0 506 114 0 0 25 0 8 0 183225157 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 23566 2544 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.32
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 6714 0 0 0 30 2 0 0 16 0 8 0 183225162 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.31
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 489 0 0 0 29 2 0 0 16 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915864
[startup+12.7644 s]
/proc/loadavg: 2.45 2.17 2.04 3/81 2259
/proc/meminfo: memFree=1720208/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=12.62
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 23883 0 1 0 1147 115 0 0 25 0 8 0 183225157 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074147760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 23594 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.32
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 6714 0 0 0 30 2 0 0 17 0 8 0 183225162 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.36
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 516 0 0 0 34 2 0 0 15 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915864
[startup+25.6265 s]
/proc/loadavg: 2.38 2.17 2.04 3/81 2259
/proc/meminfo: memFree=1677200/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=25.37
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 34644 0 1 0 2418 119 0 0 25 0 8 0 183225157 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 34352 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.4
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 17469 0 0 0 35 5 0 0 16 0 8 0 183225162 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 519 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915864
[startup+51.2488 s]
/proc/loadavg: 2.25 2.15 2.04 3/81 2259
/proc/meminfo: memFree=1557200/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=50.77
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 64611 0 1 0 4947 130 0 0 25 0 8 0 183225157 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 64313 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.67
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 47429 0 0 0 50 17 0 0 16 0 8 0 183225162 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 520 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915864
[startup+102.495 s]
/proc/loadavg: 2.14 2.14 2.04 3/81 2259
/proc/meminfo: memFree=1367696/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=101.59
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 116877 0 1 0 10007 152 0 0 25 0 8 0 183225157 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 116566 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.15
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 99681 0 0 0 77 38 0 0 16 0 8 0 183225162 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 915864
[startup+162.574 s]
/proc/loadavg: 2.14 2.14 2.04 3/81 2259
/proc/meminfo: memFree=1198736/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=161.12
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 15946 166 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.51
Current children cumulated vsize (KiB) 915864
[startup+1483.54 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 2941
/proc/meminfo: memFree=1088152/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1473.45
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 147168 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074132633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.45
Current children cumulated vsize (KiB) 915864
[startup+1543.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2941
/proc/meminfo: memFree=1088152/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1533.41
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 153164 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.41
Current children cumulated vsize (KiB) 915864
[startup+1603.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2941
/proc/meminfo: memFree=1088152/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1593.38
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 159161 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.38
Current children cumulated vsize (KiB) 915864
[startup+1663.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 2941
/proc/meminfo: memFree=1088088/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1653.32
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 165155 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.32
Current children cumulated vsize (KiB) 915864
[startup+1723.62 s]
/proc/loadavg: 2.18 2.06 2.01 3/81 2941
/proc/meminfo: memFree=1088088/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1713.29
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 171152 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.29
Current children cumulated vsize (KiB) 915864
[startup+1783.64 s]
/proc/loadavg: 2.10 2.06 2.01 3/81 2941
/proc/meminfo: memFree=1088024/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1773.26
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 177149 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.26
Current children cumulated vsize (KiB) 915864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.5 s]
/proc/loadavg: 2.06 2.05 2.01 3/81 2941
/proc/meminfo: memFree=1088024/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1800.09
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 179832 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.65
CPU time (s): 1800.23
CPU user time (s): 1798.37
CPU system time (s): 1.86472
CPU usage (%): 99.4249
Max. virtual memory (cumulated for all children) (KiB): 915956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.86472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154095
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= 38373
involuntary context switches= 41885
runsolver used 2.39064 s user time and 5.63514 s system time
The end
Begin job on node43 on Tue Jan 9 13:11:00 UTC 2007
IDJOB= 237452
IDBENCH= 6942
FILE ID= node43/237452-1168348260
PBS_JOBID= 3503640
Free space on /tmp= 66485 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 esac.xml 1 XSax /tmp/evaluation/237452-1168348260/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-237452-1168348260 -o ROOT/results/node43/solver-237452-1168348260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237452-1168348260/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1be48ee351afcb860740bdcb03c5c8f8
RANDOM SEED= 412293416
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.278
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.278
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: 1805224 kB
Buffers: 17944 kB
Cached: 148928 kB
SwapCached: 0 kB
Active: 126312 kB
Inactive: 75264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1805224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4812 kB
Writeback: 0 kB
Mapped: 46000 kB
Slab: 34600 kB
Committed_AS: 4329080 kB
PageTables: 1764 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= 66437 MiB
End job on node43 on Tue Jan 9 13:41:11 UTC 2007