0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/238204-1168354492/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.70 nbVariables=2500 nbDomainTypes=1 minDomainSize=50 maxDomainSize=50
0.70 => wckTime=0.291 cpuTime=0.2 mem=13M723
0.70
0.70 predicates being loaded...
0.70
0.70 constraints being loaded...
7.86 nbConstraints=61299 nbConvertedConstraints=61299 nbConvertConstraintsChecks=10000 nbExtensionStructures=4
7.86 nbSharedExtensionStructures=61295 nbConflictsStructures=4 nbSharedConflictsStructures=61295
7.86 nbSharedBinaryRepresentations=299 maxDegree=50 maxArity=2
7.86 => wckTime=7.457 cpuTime=6.42 mem=59M558
8.20
8.20 solver IterativeSystematicSolver being built...
8.53 => wckTime=8.129 cpuTime=6.67 mem=79M584
12.42
12.42 preprocessing
12.42 nbConstraintChecks=2449062 nbPropagations=73160 nbRevisions=75091 nbUselessRevisions=5981 nbSingletonTests=2596
12.42 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
12.42 => wckTime=3.861 cpuTime=3.8 mem=79M584
13.26
13.26 search
13.26 run=0 nbConstraintChecks=245502 nbPropagations=79371 nbRevisions=81353 nbUselessRevisions=6109
13.26 nbAssignments=162 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=183 nbRestartNogoods=0 mapSize=10
13.26 nbInferences=0 nbTooLargeKeys=0
13.26 => wckTime=4.71 cpuTime=4.62 mem=82M940
13.69
13.69 search
13.69 run=1 nbConstraintChecks=489949 nbPropagations=164997 nbRevisions=168994 nbUselessRevisions=12325
13.69 nbAssignments=334 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=383 nbRestartNogoods=4 mapSize=25
13.69 nbInferences=0 nbTooLargeKeys=0
13.69 => wckTime=5.149 cpuTime=5.05 mem=84M986
14.14
14.14 search
14.14 run=2 nbConstraintChecks=734655 nbPropagations=256943 nbRevisions=262996 nbUselessRevisions=18652
14.14 nbAssignments=519 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=608 nbRestartNogoods=7 mapSize=47
14.14 nbInferences=0 nbTooLargeKeys=0
14.14 => wckTime=5.599 cpuTime=5.5 mem=87M31
14.61
14.61 search
14.61 run=3 nbConstraintChecks=979712 nbPropagations=355277 nbRevisions=363430 nbUselessRevisions=25094
14.61 nbAssignments=720 nbFailedAssignments=70 nbBacktracks=80 nbVisitedNodes=862 nbRestartNogoods=12 mapSize=79
14.61 nbInferences=1 nbTooLargeKeys=0
14.61 => wckTime=6.068 cpuTime=5.96 mem=90M566
15.14
15.14 search
15.14 run=4 nbConstraintChecks=1225216 nbPropagations=460147 nbRevisions=470436 nbUselessRevisions=31650
15.14 nbAssignments=953 nbFailedAssignments=107 nbBacktracks=131 nbVisitedNodes=1174 nbRestartNogoods=15 mapSize=130
15.14 nbInferences=6 nbTooLargeKeys=0
15.14 => wckTime=6.589 cpuTime=6.47 mem=93M482
15.72
15.72 search
15.72 run=5 nbConstraintChecks=1471497 nbPropagations=571782 nbRevisions=584219 nbUselessRevisions=38320
15.72 nbAssignments=1234 nbFailedAssignments=156 nbBacktracks=206 nbVisitedNodes=1570 nbRestartNogoods=19
15.72 mapSize=205 nbInferences=23 nbTooLargeKeys=0
15.72 => wckTime=7.172 cpuTime=7.05 mem=96M550
16.41
16.41 search
16.41 run=6 nbConstraintChecks=1718651 nbPropagations=690497 nbRevisions=705085 nbUselessRevisions=45107
16.41 nbAssignments=1585 nbFailedAssignments=230 nbBacktracks=319 nbVisitedNodes=2091 nbRestartNogoods=21
16.41 mapSize=317 nbInferences=45 nbTooLargeKeys=0
16.41 => wckTime=7.867 cpuTime=7.72 mem=101M368
17.26
17.26 search
17.26 run=7 nbConstraintChecks=1967236 nbPropagations=816797 nbRevisions=833501 nbUselessRevisions=52013
17.26 nbAssignments=2046 nbFailedAssignments=337 nbBacktracks=489 nbVisitedNodes=2808 nbRestartNogoods=28
17.26 mapSize=487 nbInferences=87 nbTooLargeKeys=0
17.26 => wckTime=8.714 cpuTime=8.54 mem=72M210
18.32
18.32 search
18.32 run=8 nbConstraintChecks=2218003 nbPropagations=951465 nbRevisions=970174 nbUselessRevisions=59043
18.32 nbAssignments=2677 nbFailedAssignments=488 nbBacktracks=745 nbVisitedNodes=3824 nbRestartNogoods=36
18.32 mapSize=743 nbInferences=170 nbTooLargeKeys=0
18.32 => wckTime=9.778 cpuTime=9.59 mem=81M964
19.79
19.79 search
19.79 run=9 nbConstraintChecks=2472262 nbPropagations=1095783 nbRevisions=1116240 nbUselessRevisions=66198
19.79 nbAssignments=3577 nbFailedAssignments=706 nbBacktracks=1129 nbVisitedNodes=5316 nbRestartNogoods=43
19.79 mapSize=1127 nbInferences=326 nbTooLargeKeys=0
19.79 => wckTime=11.242 cpuTime=11.03 mem=95M207
21.95
21.95 search
21.95 run=10 nbConstraintChecks=2731843 nbPropagations=1251752 nbRevisions=1273415 nbUselessRevisions=73480
21.95 nbAssignments=4904 nbFailedAssignments=1016 nbBacktracks=1706 nbVisitedNodes=7564 nbRestartNogoods=48
21.95 mapSize=1704 nbInferences=627 nbTooLargeKeys=0
21.95 => wckTime=13.409 cpuTime=13.11 mem=95M862
25.21
25.21 search
25.21 run=11 nbConstraintChecks=3001614 nbPropagations=1422909 nbRevisions=1444799 nbUselessRevisions=81014
25.21 nbAssignments=6946 nbFailedAssignments=1433 nbBacktracks=2570 nbVisitedNodes=11060 nbRestartNogoods=51
25.21 mapSize=2568 nbInferences=1247 nbTooLargeKeys=0
25.21 => wckTime=16.666 cpuTime=16.34 mem=128M211
30.99
30.99 search
30.99 run=12 nbConstraintChecks=3776658 nbPropagations=1628045 nbRevisions=1647825 nbUselessRevisions=89010
30.99 nbAssignments=10517 nbFailedAssignments=1976 nbBacktracks=3867 nbVisitedNodes=16747 nbRestartNogoods=67
30.99 mapSize=3865 nbInferences=2559 nbTooLargeKeys=0
30.99 => wckTime=22.447 cpuTime=22.01 mem=165M405
39.14
39.14 search
39.14 run=13 nbConstraintChecks=4091995 nbPropagations=1863850 nbRevisions=1877432 nbUselessRevisions=97300
39.14 nbAssignments=15562 nbFailedAssignments=2740 nbBacktracks=5813 nbVisitedNodes=25515 nbRestartNogoods=69
39.14 mapSize=5811 nbInferences=4754 nbTooLargeKeys=0
39.14 => wckTime=30.592 cpuTime=29.99 mem=203M276
53.82
53.82 search
53.82 run=14 nbConstraintChecks=4720188 nbPropagations=2156566 nbRevisions=2155390 nbUselessRevisions=106167
53.82 nbAssignments=24209 nbFailedAssignments=3660 nbBacktracks=8733 nbVisitedNodes=40387 nbRestartNogoods=78
53.82 mapSize=8731 nbInferences=9280 nbTooLargeKeys=0
53.82 => wckTime=45.279 cpuTime=44.39 mem=246M787
76.23
76.23 search
76.23 run=15 nbConstraintChecks=5195857 nbPropagations=2526601 nbRevisions=2496617 nbUselessRevisions=115835
76.23 nbAssignments=37419 nbFailedAssignments=4920 nbBacktracks=13111 nbVisitedNodes=63549 nbRestartNogoods=83
76.23 mapSize=13109 nbInferences=16712 nbTooLargeKeys=0
76.23 => wckTime=67.681 cpuTime=66.41 mem=347M657
106.98
106.98 search
106.98 run=16 nbConstraintChecks=6462449 nbPropagations=3016187 nbRevisions=2939168 nbUselessRevisions=126330
106.98 nbAssignments=56157 nbFailedAssignments=7145 nbBacktracks=19679 nbVisitedNodes=95717 nbRestartNogoods=101
106.98 mapSize=19657 nbInferences=26108 nbTooLargeKeys=0
106.98 => wckTime=98.434 cpuTime=96.61 mem=483M434
127.38
127.38 INFO : Stopping hyperNogood (mapSize=27195, nbTooLargekeys=0, mem=600M604)
129.67
129.67 search
129.67 run=17 nbConstraintChecks=7219940 nbPropagations=3610777 nbRevisions=3478172 nbUselessRevisions=137484
129.67 nbAssignments=76309 nbFailedAssignments=12701 nbBacktracks=29531 nbVisitedNodes=131392 nbRestartNogoods=114
129.67 => wckTime=121.124 cpuTime=118.92 mem=600M604
146.55
146.55 search
146.55 run=18 nbConstraintChecks=7749413 nbPropagations=4322974 nbRevisions=4135106 nbUselessRevisions=148933
146.55 nbAssignments=101432 nbFailedAssignments=22959 nbBacktracks=44309 nbVisitedNodes=177031 nbRestartNogoods=121
146.55 => wckTime=138.006 cpuTime=135.64 mem=600M604
167.35
167.35 search
167.35 run=19 nbConstraintChecks=8495738 nbPropagations=5208916 nbRevisions=4967065 nbUselessRevisions=161486
167.35 nbAssignments=138859 nbFailedAssignments=38171 nbBacktracks=66477 nbVisitedNodes=244882 nbRestartNogoods=132
167.35 => wckTime=158.801 cpuTime=156.25 mem=600M604
199.00
199.00 search
199.00 run=20 nbConstraintChecks=9712093 nbPropagations=6358155 nbRevisions=6063573 nbUselessRevisions=175270
199.00 nbAssignments=195024 nbFailedAssignments=60893 nbBacktracks=99730 nbVisitedNodes=346490 nbRestartNogoods=150
199.00 => wckTime=190.458 cpuTime=187.62 mem=600M604
254.98
254.98 search
254.98 run=21 nbConstraintChecks=11272144 nbPropagations=7898702 nbRevisions=7555498 nbUselessRevisions=192997
254.98 nbAssignments=279559 nbFailedAssignments=95265 nbBacktracks=149611 nbVisitedNodes=499673 nbRestartNogoods=164
254.98 => wckTime=246.433 cpuTime=243.07 mem=600M604
339.10
339.10 search
339.10 run=22 nbConstraintChecks=13309653 nbPropagations=10019598 nbRevisions=9628877 nbUselessRevisions=211698
339.10 nbAssignments=406410 nbFailedAssignments=147005 nbBacktracks=224430 nbVisitedNodes=729898 nbRestartNogoods=174
339.10 => wckTime=330.556 cpuTime=326.42 mem=600M604
463.06
463.06 search
463.06 run=23 nbConstraintChecks=16137196 nbPropagations=13005115 nbRevisions=12570760 nbUselessRevisions=234381
463.06 nbAssignments=596675 nbFailedAssignments=224735 nbBacktracks=336658 nbVisitedNodes=1075503 nbRestartNogoods=187
463.06 => wckTime=454.517 cpuTime=449.61 mem=600M604
645.67
645.67 search
645.67 run=24 nbConstraintChecks=19992026 nbPropagations=17278499 nbRevisions=16801821 nbUselessRevisions=258483
645.67 nbAssignments=881821 nbFailedAssignments=341226 nbBacktracks=504999 nbVisitedNodes=1593506 nbRestartNogoods=202
645.67 => wckTime=637.125 cpuTime=632.0 mem=600M604
917.60
917.60 search
917.60 run=25 nbConstraintChecks=25294238 nbPropagations=23463293 nbRevisions=22946696 nbUselessRevisions=284969
917.60 nbAssignments=1307576 nbFailedAssignments=514284 nbBacktracks=757512 nbVisitedNodes=2365377
917.60 nbRestartNogoods=223
917.60 => wckTime=909.058 cpuTime=903.62 mem=600M604
1329.09
1329.09 search
1329.09 run=26 nbConstraintChecks=33031896 nbPropagations=32513687 nbRevisions=31961167 nbUselessRevisions=315435
1329.09 nbAssignments=1947039 nbFailedAssignments=774792 nbBacktracks=1136279 nbVisitedNodes=3525856
1329.09 nbRestartNogoods=238
1329.09 => wckTime=1320.547 cpuTime=1314.65 mem=600M604
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-238204-1168354492 -o ROOT/results/node19/solver-238204-1168354492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238204-1168354492/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: 2.00 2.00 2.00 4/89 24801
/proc/meminfo: memFree=1787328/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=18540 CPUtime=0
/proc/24800/stat : 24800 (runsolver) D 24798 24800 23813 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183843857 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/24800/statm: 4635 279 244 17 0 2626 0
[startup+0.103939 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 24801
/proc/meminfo: memFree=1787328/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=905992 CPUtime=0.01
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 1906 0 1 0 1 0 0 0 17 0 1 0 183843857 927735808 1655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7945479 0 4 0 7368 0 0 0 17 1 0 0
/proc/24800/statm: 226498 1655 965 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992
[startup+0.512011 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 24801
/proc/meminfo: memFree=1787328/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915328 CPUtime=0.4
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 6040 0 1 0 36 4 0 0 18 0 8 0 183843857 937295872 5779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228832 5779 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33517 s]
/proc/loadavg: 2.00 2.00 2.00 4/96 24808
/proc/meminfo: memFree=1729032/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915644 CPUtime=1.21
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 18535 0 1 0 110 11 0 0 23 0 8 0 183843857 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228911 18273 2160 14 0 215381 0
[pid=24800/tid=24802] ppid=24798 vsize=915644 CPUtime=0.05
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 1995 0 0 0 5 0 0 0 17 0 8 0 183843868 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915644 CPUtime=0.14
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 405 0 0 0 14 0 0 0 15 0 8 0 183843872 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937619456 18273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915644
[startup+2.98048 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 24808
/proc/meminfo: memFree=1708616/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915644 CPUtime=2.84
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 23174 0 1 0 264 20 0 0 25 0 8 0 183843857 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228911 22909 2180 14 0 215381 0
[pid=24800/tid=24802] ppid=24798 vsize=915644 CPUtime=0.28
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 6546 0 0 0 26 2 0 0 16 0 8 0 183843868 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915644 CPUtime=0.19
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 430 0 0 0 18 1 0 0 16 0 8 0 183843872 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937619456 22909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915644
[startup+6.2721 s]
/proc/loadavg: 2.08 2.02 2.01 3/96 24808
/proc/meminfo: memFree=1685256/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915644 CPUtime=6.1
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 27837 0 1 0 419 191 0 0 25 0 8 0 183843857 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7695281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228911 27570 2180 14 0 215381 0
[pid=24800/tid=24802] ppid=24798 vsize=915644 CPUtime=0.57
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 11205 0 0 0 53 4 0 0 18 0 8 0 183843868 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915644 CPUtime=0.19
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 432 0 0 0 18 1 0 0 16 0 8 0 183843872 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915644 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937619456 27570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915644
[startup+12.7603 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 24808
/proc/meminfo: memFree=1665928/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=12.53
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 33131 0 1 0 988 265 0 0 25 0 8 0 183843857 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228973 32796 2544 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=1.1
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 15933 0 0 0 105 5 0 0 17 0 8 0 183843868 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.33
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 541 0 0 0 32 1 0 0 15 0 8 0 183843872 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 32796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915892
[startup+25.6227 s]
/proc/loadavg: 2.06 2.02 2.00 3/96 24808
/proc/meminfo: memFree=1631624/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=25.27
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 41772 0 1 0 2257 270 0 0 25 0 8 0 183843857 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228973 41426 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=1.18
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 24537 0 0 0 109 9 0 0 16 0 8 0 183843868 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 566 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 41426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915892
[startup+51.2586 s]
/proc/loadavg: 2.04 2.01 2.00 3/96 24808
/proc/meminfo: memFree=1496584/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=50.66
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 75490 0 1 0 4783 283 0 0 25 0 8 0 183843857 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074151245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228973 75137 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=1.44
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 58247 0 0 0 122 22 0 0 16 0 8 0 183843868 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 75137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915892
[startup+102.543 s]
/proc/loadavg: 2.01 2.01 2.00 3/96 24808
/proc/meminfo: memFree=1281352/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=101.48
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 129205 0 1 0 9843 305 0 0 25 0 8 0 183843857 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074232536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24800/statm: 228973 128840 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=1.88
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 111950 0 0 0 144 44 0 0 16 0 8 0 183843868 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 567 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 128840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 128840 18446744073709551615 134512640 134570532 4294956464 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) 915892
[startup+162.633 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 24808
/proc/meminfo: memFree=1173960/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=161.02
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156002 0 1 0 15785 317 0 0 25 0 8 0 183843857 937873408 155632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.36
Current children cumulated vsize (KiB) 915892
[startup+1483.52 s]
/proc/loadavg: 2.00 1.99 1.95 3/94 27773
/proc/meminfo: memFree=1186192/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1478.36
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 147493 343 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.36
Current children cumulated vsize (KiB) 915892
[startup+1543.58 s]
/proc/loadavg: 2.00 1.99 1.95 3/94 27773
/proc/meminfo: memFree=1186200/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1538.33
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 153490 343 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074169306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.33
Current children cumulated vsize (KiB) 915892
[startup+1603.64 s]
/proc/loadavg: 2.00 1.99 1.95 3/94 27773
/proc/meminfo: memFree=1186200/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1598.34
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 159490 344 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.34
Current children cumulated vsize (KiB) 915892
[startup+1663.71 s]
/proc/loadavg: 2.00 1.99 1.95 3/94 27773
/proc/meminfo: memFree=1186200/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1658.35
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 165491 344 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212545 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.35
Current children cumulated vsize (KiB) 915892
[startup+1723.77 s]
/proc/loadavg: 2.00 1.99 1.95 3/94 27773
/proc/meminfo: memFree=1186200/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1718.32
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 171488 344 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074169306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.32
Current children cumulated vsize (KiB) 915892
[startup+1783.83 s]
/proc/loadavg: 2.00 1.99 1.95 3/94 27773
/proc/meminfo: memFree=1186200/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1778.32
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 177488 344 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074150426 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.32
Current children cumulated vsize (KiB) 915892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.54 s]
/proc/loadavg: 2.00 1.99 1.95 4/94 27773
/proc/meminfo: memFree=1186200/2055920 swapFree=4171244/4192956
[pid=24800] ppid=24798 vsize=915892 CPUtime=1800.02
/proc/24800/stat : 24800 (java) R 24798 24800 23813 0 -1 0 156003 0 1 0 179658 344 0 0 25 0 8 0 183843857 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074150487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24800/statm: 228973 155633 2545 14 0 215443 0
[pid=24800/tid=24802] ppid=24798 vsize=915892 CPUtime=2.09
/proc/24800/task/24802/stat : 24802 (java) S 24798 24800 23813 0 -1 64 138741 0 0 0 154 55 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24803] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24803/stat : 24803 (java) S 24798 24800 23813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24804] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24804/stat : 24804 (java) S 24798 24800 23813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183843868 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24805] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24805/stat : 24805 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24806] ppid=24798 vsize=915892 CPUtime=0.39
/proc/24800/task/24806/stat : 24806 (java) S 24798 24800 23813 0 -1 64 569 0 0 0 37 2 0 0 16 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24800/tid=24807] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24807/stat : 24807 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24800/tid=24808] ppid=24798 vsize=915892 CPUtime=0
/proc/24800/task/24808/stat : 24808 (java) S 24798 24800 23813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183843872 937873408 155633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.67
CPU time (s): 1800.16
CPU user time (s): 1796.62
CPU system time (s): 3.53846
CPU usage (%): 99.6948
Max. virtual memory (cumulated for all children) (KiB): 915896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.62
system time used= 3.53846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156020
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= 38470
involuntary context switches= 55346
runsolver used 2.24266 s user time and 5.75912 s system time
The end
Begin job on node19 on Tue Jan 9 14:54:52 UTC 2007
IDJOB= 238204
IDBENCH= 6989
FILE ID= node19/238204-1168354492
PBS_JOBID= 3503696
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_50.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238204-1168354492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-238204-1168354492 -o ROOT/results/node19/solver-238204-1168354492 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238204-1168354492/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 11ade2bb67489af481e21c85748d9198
RANDOM SEED= 795248630
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.260
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.260
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: 1787808 kB
Buffers: 20620 kB
Cached: 129328 kB
SwapCached: 10396 kB
Active: 158192 kB
Inactive: 53632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1787808 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 9628 kB
Writeback: 0 kB
Mapped: 72056 kB
Slab: 40836 kB
Committed_AS: 5153668 kB
PageTables: 2404 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= 66542 MiB
End job on node19 on Tue Jan 9 15:24:58 UTC 2007