0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/200104-1168140811/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=56 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.56
0.56 constraints being loaded...
0.72 nbConstraints=525 nbRelationTypes=525 nbExtensionStructures=525 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=525 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1078 maxDegree=27
0.72 maxArity=2
0.72 => wckTime=0.423 cpuTime=0.33 mem=20M638
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.627 cpuTime=0.47 mem=15M871
0.99
0.99 preprocessing
0.99 nbConstraintChecks=134837 nbPropagations=1301 nbRevisions=10750 nbUselessRevisions=8999 nbSingletonTests=64
0.99 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.06 cpuTime=0.03 mem=15M871
1.02
1.02 search
1.02 run=0 nbConstraintChecks=50506 nbPropagations=1822 nbRevisions=17144 nbUselessRevisions=14299 nbAssignments=25
1.02 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.088 cpuTime=0.05 mem=15M871
1.04
1.04 search
1.04 run=1 nbConstraintChecks=137416 nbPropagations=4530 nbRevisions=46191 nbUselessRevisions=38500
1.04 nbAssignments=64 nbFailedAssignments=14 nbBacktracks=30 nbVisitedNodes=95 nbRestartNogoods=1 mapSize=23
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.112 cpuTime=0.06 mem=15M871
1.05
1.05 search
1.05 run=2 nbConstraintChecks=218855 nbPropagations=8064 nbRevisions=86261 nbUselessRevisions=71812
1.05 nbAssignments=108 nbFailedAssignments=24 nbBacktracks=52 nbVisitedNodes=158 nbRestartNogoods=5 mapSize=35
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.127 cpuTime=0.08 mem=15M871
1.08
1.08 search
1.08 run=3 nbConstraintChecks=358363 nbPropagations=13111 nbRevisions=149257 nbUselessRevisions=124019
1.08 nbAssignments=174 nbFailedAssignments=45 nbBacktracks=87 nbVisitedNodes=271 nbRestartNogoods=10 mapSize=67
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.153 cpuTime=0.1 mem=15M871
1.12
1.12 search
1.12 run=4 nbConstraintChecks=579211 nbPropagations=20280 nbRevisions=245059 nbUselessRevisions=202975
1.12 nbAssignments=275 nbFailedAssignments=84 nbBacktracks=138 nbVisitedNodes=441 nbRestartNogoods=13 mapSize=111
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.188 cpuTime=0.13 mem=15M871
1.17
1.17 search
1.17 run=5 nbConstraintChecks=809974 nbPropagations=30113 nbRevisions=377937 nbUselessRevisions=312634
1.17 nbAssignments=422 nbFailedAssignments=124 nbBacktracks=216 nbVisitedNodes=650 nbRestartNogoods=17 mapSize=171
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.238 cpuTime=0.17 mem=15M871
1.22
1.22 search
1.22 run=6 nbConstraintChecks=1177655 nbPropagations=43754 nbRevisions=570965 nbUselessRevisions=472100
1.22 nbAssignments=615 nbFailedAssignments=193 nbBacktracks=330 nbVisitedNodes=976 nbRestartNogoods=18 mapSize=265
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.297 cpuTime=0.23 mem=15M871
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1691446 nbPropagations=62781 nbRevisions=846077 nbUselessRevisions=698523
1.31 nbAssignments=885 nbFailedAssignments=283 nbBacktracks=501 nbVisitedNodes=1424 nbRestartNogoods=22 mapSize=400
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.382 cpuTime=0.31 mem=15M871
1.43
1.43 search
1.43 run=8 nbConstraintChecks=2377038 nbPropagations=89548 nbRevisions=1238043 nbUselessRevisions=1020800
1.43 nbAssignments=1269 nbFailedAssignments=400 nbBacktracks=757 nbVisitedNodes=2047 nbRestartNogoods=25
1.43 mapSize=593 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.499 cpuTime=0.43 mem=16M846
1.63
1.63 search
1.63 run=9 nbConstraintChecks=3629998 nbPropagations=129461 nbRevisions=1840328 nbUselessRevisions=1516207
1.63 nbAssignments=1893 nbFailedAssignments=626 nbBacktracks=1142 nbVisitedNodes=3092 nbRestartNogoods=29
1.63 mapSize=918 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.705 cpuTime=0.62 mem=16M846
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=16M846)
1.93
1.93 search
1.93 run=10 nbConstraintChecks=5632082 nbPropagations=190103 nbRevisions=2769664 nbUselessRevisions=2280034
1.93 nbAssignments=2859 nbFailedAssignments=978 nbBacktracks=1721 nbVisitedNodes=4699 nbRestartNogoods=37
1.93 => wckTime=0.999 cpuTime=0.9 mem=16M846
2.32
2.32 search
2.32 run=11 nbConstraintChecks=8461425 nbPropagations=280562 nbRevisions=4176582 nbUselessRevisions=3435270
2.32 nbAssignments=4264 nbFailedAssignments=1505 nbBacktracks=2587 nbVisitedNodes=7109 nbRestartNogoods=46
2.32 => wckTime=1.396 cpuTime=1.29 mem=16M846
2.91
2.91 search
2.91 run=12 nbConstraintChecks=12746537 nbPropagations=415550 nbRevisions=6290214 nbUselessRevisions=5166598
2.91 nbAssignments=6407 nbFailedAssignments=2339 nbBacktracks=3884 nbVisitedNodes=10789 nbRestartNogoods=53
2.91 => wckTime=1.978 cpuTime=1.87 mem=16M846
3.79
3.79 search
3.79 run=13 nbConstraintChecks=19141475 nbPropagations=618071 nbRevisions=9509475 nbUselessRevisions=7808214
3.79 nbAssignments=9616 nbFailedAssignments=3592 nbBacktracks=5832 nbVisitedNodes=16265 nbRestartNogoods=59
3.79 => wckTime=2.863 cpuTime=2.75 mem=16M846
5.04
5.04 search
5.04 run=14 nbConstraintChecks=28238915 nbPropagations=916836 nbRevisions=14238112 nbUselessRevisions=11678485
5.04 nbAssignments=14338 nbFailedAssignments=5369 nbBacktracks=8752 nbVisitedNodes=24270 nbRestartNogoods=68
5.04 => wckTime=4.114 cpuTime=4.0 mem=16M846
6.84
6.84 search
6.84 run=15 nbConstraintChecks=40670368 nbPropagations=1357912 nbRevisions=21211101 nbUselessRevisions=17394285
6.84 nbAssignments=21349 nbFailedAssignments=7976 nbBacktracks=13130 nbVisitedNodes=36092 nbRestartNogoods=77
6.84 => wckTime=5.91 cpuTime=5.78 mem=16M846
9.86
9.86 search
9.86 run=16 nbConstraintChecks=62780196 nbPropagations=2029464 nbRevisions=31891109 nbUselessRevisions=26140376
9.86 nbAssignments=32344 nbFailedAssignments=12389 nbBacktracks=19700 nbVisitedNodes=54996 nbRestartNogoods=86
9.86 => wckTime=8.933 cpuTime=8.79 mem=16M846
13.92
13.92 search
13.92 run=17 nbConstraintChecks=91612696 nbPropagations=3018222 nbRevisions=47731194 nbUselessRevisions=39153521
13.92 nbAssignments=47958 nbFailedAssignments=18138 nbBacktracks=29552 nbVisitedNodes=81524 nbRestartNogoods=94
13.92 => wckTime=12.994 cpuTime=12.83 mem=16M846
20.49
20.49 search
20.49 run=18 nbConstraintChecks=140114817 nbPropagations=4511649 nbRevisions=71667725 nbUselessRevisions=58793093
20.49 nbAssignments=71790 nbFailedAssignments=27181 nbBacktracks=44331 nbVisitedNodes=122209 nbRestartNogoods=102
20.49 => wckTime=19.563 cpuTime=19.38 mem=16M846
30.05
30.05 search
30.05 run=19 nbConstraintChecks=207667657 nbPropagations=6751319 nbRevisions=107488458 nbUselessRevisions=88198481
30.05 nbAssignments=107247 nbFailedAssignments=40460 nbBacktracks=66500 nbVisitedNodes=182568 nbRestartNogoods=115
30.05 => wckTime=29.126 cpuTime=28.87 mem=16M846
45.00
45.00 search
45.00 run=20 nbConstraintChecks=316094833 nbPropagations=10149501 nbRevisions=161722469 nbUselessRevisions=132662080
45.00 nbAssignments=162667 nbFailedAssignments=62618 nbBacktracks=99754 nbVisitedNodes=277801 nbRestartNogoods=125
45.00 => wckTime=44.07 cpuTime=43.75 mem=16M846
65.10
65.10 search
65.10 run=21 nbConstraintChecks=456878210 nbPropagations=15117204 nbRevisions=241275559 nbUselessRevisions=198022651
65.10 nbAssignments=240985 nbFailedAssignments=91044 nbBacktracks=149632 nbVisitedNodes=410170 nbRestartNogoods=135
65.10 => wckTime=64.169 cpuTime=63.76 mem=16M846
99.39
99.40 search
99.40 run=22 nbConstraintChecks=712986839 nbPropagations=22668506 nbRevisions=362530604 nbUselessRevisions=297483645
99.40 nbAssignments=362824 nbFailedAssignments=138054 nbBacktracks=224451 nbVisitedNodes=618699 nbRestartNogoods=151
99.40 => wckTime=98.467 cpuTime=97.88 mem=16M846
144.85
144.85 search
144.85 run=23 nbConstraintChecks=1033670946 nbPropagations=33779020 nbRevisions=540435031 nbUselessRevisions=443524675
144.85 nbAssignments=538733 nbFailedAssignments=201723 nbBacktracks=336682 nbVisitedNodes=915447 nbRestartNogoods=170
144.85 => wckTime=143.927 cpuTime=143.11 mem=16M846
218.38
218.38 search
218.38 run=24 nbConstraintChecks=1581449605 nbPropagations=50435136 nbRevisions=807037747 nbUselessRevisions=662028487
218.38 nbAssignments=804025 nbFailedAssignments=298662 nbBacktracks=505024 nbVisitedNodes=1363761 nbRestartNogoods=181
218.38 => wckTime=217.448 cpuTime=216.26 mem=16M846
321.31
321.31 search
321.31 run=25 nbConstraintChecks=2315055386 nbPropagations=75110298 nbRevisions=1200334734
321.31 nbUselessRevisions=984430359 nbAssignments=1193333 nbFailedAssignments=435428 nbBacktracks=757535
321.31 nbVisitedNodes=2015277 nbRestartNogoods=199
321.31 => wckTime=320.379 cpuTime=318.69 mem=16M846
485.64
485.64 search
485.64 run=26 nbConstraintChecks=3524615741 nbPropagations=112177555 nbRevisions=1792946189
485.64 nbUselessRevisions=1470207403 nbAssignments=1786423 nbFailedAssignments=649740 nbBacktracks=1136303
485.64 nbVisitedNodes=3015005 nbRestartNogoods=212
485.64 => wckTime=484.708 cpuTime=482.18 mem=16M846
730.00
730.00 search
730.00 run=27 nbConstraintChecks=5292803225 nbPropagations=168008480 nbRevisions=2683249979
730.00 nbUselessRevisions=2199539485 nbAssignments=2689354 nbFailedAssignments=984510 nbBacktracks=1704454
730.00 nbVisitedNodes=4538583 nbRestartNogoods=223
730.00 => wckTime=729.076 cpuTime=725.35 mem=16M846
1091.88
1091.88 search
1091.88 run=28 nbConstraintChecks=7867593253 nbPropagations=251830978 nbRevisions=4021414974
1091.88 nbUselessRevisions=3296920212 nbAssignments=4035471 nbFailedAssignments=1478387 nbBacktracks=2556682
1091.88 nbVisitedNodes=6819718 nbRestartNogoods=237
1091.88 => wckTime=1090.948 cpuTime=1085.43 mem=16M846
1663.67
1663.67 search
1663.67 run=29 nbConstraintChecks=12121196613 nbPropagations=378547779 nbRevisions=6053020113
1663.67 nbUselessRevisions=4962312572 nbAssignments=6083413 nbFailedAssignments=2247977 nbBacktracks=3835024
1663.67 nbVisitedNodes=10303425 nbRestartNogoods=252
1663.67 => wckTime=1662.746 cpuTime=1654.34 mem=16M846
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-200104-1168140811 -o ROOT/results/node45/solver-200104-1168140811 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200104-1168140811/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 1.02 1.04 1/70 11777
/proc/meminfo: memFree=1518448/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=172 CPUtime=0
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 162480062 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4727083 0 0 4096 0 0 0 0 17 0 0 0
/proc/11776/statm: 43 24 18 14 0 3 0
[startup+0.102379 s]
/proc/loadavg: 0.92 1.02 1.04 1/70 11777
/proc/meminfo: memFree=1518448/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=914988 CPUtime=0.08
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 2995 0 1 0 7 1 0 0 23 0 8 0 162480062 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510448 s]
/proc/loadavg: 0.92 1.02 1.04 1/70 11777
/proc/meminfo: memFree=1518448/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915328 CPUtime=0.48
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 7380 0 1 0 44 4 0 0 25 0 8 0 162480062 937295872 7119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228832 7120 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3356 s]
/proc/loadavg: 0.92 1.02 1.04 3/88 11808
/proc/meminfo: memFree=1416288/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1.31
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10521 0 1 0 124 7 0 0 25 0 8 0 162480062 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10259 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 16 0 8 0 162480066 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.22
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 390 0 0 0 21 1 0 0 15 0 8 0 162480070 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915560
[startup+2.9779 s]
/proc/loadavg: 0.92 1.02 1.04 3/89 11809
/proc/meminfo: memFree=1400536/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=2.94
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10537 0 1 0 287 7 0 0 25 0 8 0 162480062 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10273 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 17 0 8 0 162480066 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915560
[startup+6.27349 s]
/proc/loadavg: 1.01 1.04 1.05 3/89 11809
/proc/meminfo: memFree=1400216/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=6.22
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10537 0 1 0 615 7 0 0 25 0 8 0 162480062 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10273 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 16 0 8 0 162480066 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915560
[startup+12.7597 s]
/proc/loadavg: 1.09 1.05 1.05 3/89 11809
/proc/meminfo: memFree=1400216/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=12.68
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10538 0 1 0 1261 7 0 0 25 0 8 0 162480062 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10274 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915560
[startup+25.621 s]
/proc/loadavg: 1.29 1.10 1.07 3/89 11809
/proc/meminfo: memFree=1400408/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=25.49
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10539 0 1 0 2542 7 0 0 25 0 8 0 162480062 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10274 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915560
[startup+51.2577 s]
/proc/loadavg: 1.53 1.17 1.09 4/89 11809
/proc/meminfo: memFree=1400472/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=50.97
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10539 0 1 0 5090 7 0 0 25 0 8 0 162480062 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10274 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915560
[startup+102.526 s]
/proc/loadavg: 1.79 1.29 1.14 3/89 11809
/proc/meminfo: memFree=1387928/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=101.98
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10540 0 1 0 10191 7 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.03
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 3 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 17 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 915560
[startup+162.536 s]
/proc/loadavg: 1.92 1.42 1.19 3/89 11809
/proc/meminfo: memFree=1387864/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=161.71
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10540 0 1 0 16163 8 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873994 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.72
Current children cumulated vsize (KiB) 915560
[startup+1482.79 s]
/proc/loadavg: 2.00 2.00 1.78 3/89 11809
/proc/meminfo: memFree=1322776/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1475.41
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 147527 14 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.41
Current children cumulated vsize (KiB) 915560
[startup+1542.8 s]
/proc/loadavg: 2.00 2.00 1.79 3/89 11809
/proc/meminfo: memFree=1322712/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1535.14
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 153499 15 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0.01
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.14
Current children cumulated vsize (KiB) 915560
[startup+1602.82 s]
/proc/loadavg: 2.07 2.02 1.81 3/89 11809
/proc/meminfo: memFree=1322648/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1594.86
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 159471 15 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0.01
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.86
Current children cumulated vsize (KiB) 915560
[startup+1662.85 s]
/proc/loadavg: 2.02 2.01 1.82 3/95 11883
/proc/meminfo: memFree=1298296/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1654.54
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 165437 17 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0.01
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.54
Current children cumulated vsize (KiB) 915560
[startup+1722.88 s]
/proc/loadavg: 2.01 2.00 1.83 3/95 11975
/proc/meminfo: memFree=1298272/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1714.22
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 171398 24 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0.01
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.22
Current children cumulated vsize (KiB) 915560
[startup+1782.9 s]
/proc/loadavg: 2.07 2.02 1.84 3/89 12007
/proc/meminfo: memFree=1299224/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1773.92
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 177365 27 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0.01
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.92
Current children cumulated vsize (KiB) 915560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.15 s]
/proc/loadavg: 2.05 2.01 1.84 3/76 12019
/proc/meminfo: memFree=1488640/2055920 swapFree=4184048/4192956
[pid=11776] ppid=11772 vsize=915560 CPUtime=1800.03
/proc/11776/stat : 11776 (java) R 11772 11776 11667 0 -1 0 10541 0 1 0 179976 27 0 0 25 0 8 0 162480062 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11776/statm: 228890 10275 2524 14 0 215360 0
[pid=11776/tid=11793] ppid=11772 vsize=915560 CPUtime=0.04
/proc/11776/task/11793/stat : 11793 (java) S 11772 11776 11667 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11796] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11796/stat : 11796 (java) S 11772 11776 11667 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11797] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11797/stat : 11797 (java) S 11772 11776 11667 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162480066 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11798] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11798/stat : 11798 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11799] ppid=11772 vsize=915560 CPUtime=0.25
/proc/11776/task/11799/stat : 11799 (java) S 11772 11776 11667 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11800] ppid=11772 vsize=915560 CPUtime=0
/proc/11776/task/11800/stat : 11800 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11776/tid=11801] ppid=11772 vsize=915560 CPUtime=0.01
/proc/11776/task/11801/stat : 11801 (java) S 11772 11776 11667 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 162480070 937533440 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.17
CPU time (s): 1800.07
CPU user time (s): 1799.78
CPU system time (s): 0.282956
CPU usage (%): 99.4965
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.282956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10558
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= 37838
involuntary context switches= 61133
runsolver used 2.54161 s user time and 5.46917 s system time
The end
Begin job on node45 on Sun Jan 7 03:33:31 UTC 2007
IDJOB= 200104
IDBENCH= 3689
FILE ID= node45/200104-1168140811
PBS_JOBID= 3478083
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200104-1168140811/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-200104-1168140811 -o ROOT/results/node45/solver-200104-1168140811 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200104-1168140811/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1fed75a50fd9dbe0fff4ac0aa56697fe
RANDOM SEED= 12980859
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1519000 kB
Buffers: 34388 kB
Cached: 428768 kB
SwapCached: 3188 kB
Active: 237324 kB
Inactive: 240292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1519000 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 6368 kB
Writeback: 0 kB
Mapped: 19980 kB
Slab: 44812 kB
Committed_AS: 2984720 kB
PageTables: 1604 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= 66546 MiB
End job on node45 on Sun Jan 7 04:03:40 UTC 2007