0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/194528-1168103633/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.52 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.52
0.52 relations being loaded...
0.67
0.67 constraints being loaded...
0.81 nbConstraints=461 nbRelationTypes=461 nbExtensionStructures=461 nbSharedExtensionStructures=0
0.81 nbConflictsStructures=461 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2316 maxDegree=26
0.81 maxArity=2
0.81 => wckTime=0.394 cpuTime=0.3 mem=16M966
0.85
0.85 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.6 cpuTime=0.44 mem=15M570
1.07
1.07 preprocessing
1.07 nbConstraintChecks=97640 nbPropagations=1086 nbRevisions=9086 nbUselessRevisions=7712 nbSingletonTests=55
1.07 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.07 => wckTime=0.057 cpuTime=0.03 mem=15M570
1.10
1.10 search
1.10 run=0 nbConstraintChecks=48886 nbPropagations=1679 nbRevisions=16606 nbUselessRevisions=13952 nbAssignments=32
1.10 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.088 cpuTime=0.06 mem=15M570
1.13
1.13 search
1.13 run=1 nbConstraintChecks=102804 nbPropagations=4041 nbRevisions=41372 nbUselessRevisions=34646
1.13 nbAssignments=68 nbFailedAssignments=17 nbBacktracks=30 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=19
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.114 cpuTime=0.07 mem=15M570
1.14
1.14 search
1.14 run=2 nbConstraintChecks=178039 nbPropagations=7305 nbRevisions=77975 nbUselessRevisions=64919
1.14 nbAssignments=113 nbFailedAssignments=29 nbBacktracks=52 nbVisitedNodes=169 nbRestartNogoods=5 mapSize=35
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.13 cpuTime=0.09 mem=15M570
1.17
1.17 search
1.17 run=3 nbConstraintChecks=319399 nbPropagations=11945 nbRevisions=134259 nbUselessRevisions=111069
1.17 nbAssignments=179 nbFailedAssignments=56 nbBacktracks=85 nbVisitedNodes=280 nbRestartNogoods=8 mapSize=64
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.155 cpuTime=0.11 mem=15M570
1.20
1.20 search
1.20 run=4 nbConstraintChecks=441156 nbPropagations=18128 nbRevisions=212298 nbUselessRevisions=175042
1.20 nbAssignments=272 nbFailedAssignments=85 nbBacktracks=136 nbVisitedNodes=423 nbRestartNogoods=11 mapSize=99
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.181 cpuTime=0.13 mem=15M570
1.24
1.24 search
1.24 run=5 nbConstraintChecks=692105 nbPropagations=27258 nbRevisions=330546 nbUselessRevisions=272100
1.24 nbAssignments=428 nbFailedAssignments=138 nbBacktracks=212 nbVisitedNodes=653 nbRestartNogoods=18 mapSize=159
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.23 cpuTime=0.17 mem=15M570
1.30
1.30 search
1.30 run=6 nbConstraintChecks=965438 nbPropagations=39740 nbRevisions=495912 nbUselessRevisions=407647
1.30 nbAssignments=608 nbFailedAssignments=191 nbBacktracks=326 nbVisitedNodes=942 nbRestartNogoods=23 mapSize=247
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.283 cpuTime=0.22 mem=15M570
1.39
1.39 search
1.39 run=7 nbConstraintChecks=1481575 nbPropagations=58210 nbRevisions=758050 nbUselessRevisions=622515
1.39 nbAssignments=916 nbFailedAssignments=319 nbBacktracks=498 nbVisitedNodes=1479 nbRestartNogoods=30 mapSize=389
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.38 cpuTime=0.32 mem=15M570
1.53
1.53 search
1.53 run=8 nbConstraintChecks=2293411 nbPropagations=85258 nbRevisions=1141639 nbUselessRevisions=934313
1.53 nbAssignments=1327 nbFailedAssignments=451 nbBacktracks=754 nbVisitedNodes=2134 nbRestartNogoods=35
1.53 mapSize=589 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.512 cpuTime=0.44 mem=15M570
1.71
1.71 search
1.71 run=9 nbConstraintChecks=3319742 nbPropagations=124246 nbRevisions=1702811 nbUselessRevisions=1390686
1.71 nbAssignments=1927 nbFailedAssignments=656 nbBacktracks=1138 nbVisitedNodes=3141 nbRestartNogoods=39
1.71 mapSize=901 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.694 cpuTime=0.61 mem=15M570
1.77
1.77 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M570)
1.93
1.93 search
1.93 run=10 nbConstraintChecks=4655301 nbPropagations=179170 nbRevisions=2498131 nbUselessRevisions=2037427
1.93 nbAssignments=2799 nbFailedAssignments=942 nbBacktracks=1716 nbVisitedNodes=4567 nbRestartNogoods=43
1.93 => wckTime=0.915 cpuTime=0.82 mem=15M570
2.28
2.28 search
2.28 run=11 nbConstraintChecks=6975938 nbPropagations=261452 nbRevisions=3696390 nbUselessRevisions=3011265
2.28 nbAssignments=4153 nbFailedAssignments=1423 nbBacktracks=2580 nbVisitedNodes=6860 nbRestartNogoods=48
2.28 => wckTime=1.265 cpuTime=1.16 mem=15M570
2.90
2.90 search
2.90 run=12 nbConstraintChecks=11367639 nbPropagations=388857 nbRevisions=5596966 nbUselessRevisions=4553485
2.90 nbAssignments=6310 nbFailedAssignments=2274 nbBacktracks=3878 nbVisitedNodes=10618 nbRestartNogoods=61
2.90 => wckTime=1.884 cpuTime=1.78 mem=15M570
3.76
3.76 search
3.76 run=13 nbConstraintChecks=17140791 nbPropagations=581977 nbRevisions=8505122 nbUselessRevisions=6916054
3.76 nbAssignments=9471 nbFailedAssignments=3480 nbBacktracks=5824 nbVisitedNodes=16053 nbRestartNogoods=67
3.76 => wckTime=2.742 cpuTime=2.63 mem=15M570
4.92
4.92 search
4.92 run=14 nbConstraintChecks=24885116 nbPropagations=865153 nbRevisions=12802122 nbUselessRevisions=10416178
4.92 nbAssignments=14101 nbFailedAssignments=5178 nbBacktracks=8746 nbVisitedNodes=23885 nbRestartNogoods=76
4.92 => wckTime=3.904 cpuTime=3.78 mem=16M545
6.85
6.85 search
6.85 run=15 nbConstraintChecks=38558952 nbPropagations=1294322 nbRevisions=19272316 nbUselessRevisions=15655048
6.85 nbAssignments=21301 nbFailedAssignments=7992 nbBacktracks=13125 nbVisitedNodes=36226 nbRestartNogoods=82
6.85 => wckTime=5.84 cpuTime=5.7 mem=16M545
9.48
9.48 search
9.48 run=16 nbConstraintChecks=55840391 nbPropagations=1925714 nbRevisions=28908301 nbUselessRevisions=23490219
9.48 nbAssignments=31761 nbFailedAssignments=11872 nbBacktracks=19694 nbVisitedNodes=54049 nbRestartNogoods=93
9.48 => wckTime=8.466 cpuTime=8.3 mem=16M545
13.42
13.42 search
13.42 run=17 nbConstraintChecks=81471119 nbPropagations=2861764 nbRevisions=43296169 nbUselessRevisions=35224290
13.42 nbAssignments=47624 nbFailedAssignments=17871 nbBacktracks=29546 nbVisitedNodes=81016 nbRestartNogoods=102
13.42 => wckTime=12.402 cpuTime=12.21 mem=16M545
20.00
20.00 search
20.00 run=18 nbConstraintChecks=127352289 nbPropagations=4290190 nbRevisions=65070518 nbUselessRevisions=52903927
20.00 nbAssignments=71294 nbFailedAssignments=26753 nbBacktracks=44327 nbVisitedNodes=121484 nbRestartNogoods=114
20.00 => wckTime=18.986 cpuTime=18.74 mem=16M545
28.17
28.17 search
28.17 run=19 nbConstraintChecks=179870950 nbPropagations=6364788 nbRevisions=96634074 nbUselessRevisions=78592759
28.17 nbAssignments=105679 nbFailedAssignments=38963 nbBacktracks=66496 nbVisitedNodes=179186 nbRestartNogoods=126
28.17 => wckTime=27.152 cpuTime=26.84 mem=16M545
42.18
42.18 search
42.18 run=20 nbConstraintChecks=273223608 nbPropagations=9510647 nbRevisions=144884749 nbUselessRevisions=117948245
42.18 nbAssignments=159419 nbFailedAssignments=59438 nbBacktracks=99750 nbVisitedNodes=271109 nbRestartNogoods=135
42.18 => wckTime=41.17 cpuTime=40.73 mem=16M545
64.76
64.76 search
64.76 run=21 nbConstraintChecks=433307084 nbPropagations=14338864 nbRevisions=218432964 nbUselessRevisions=177634538
64.76 nbAssignments=239601 nbFailedAssignments=89733 nbBacktracks=149629 nbVisitedNodes=408378 nbRestartNogoods=149
64.76 => wckTime=63.749 cpuTime=63.12 mem=16M545
92.82
92.82 search
92.82 run=22 nbConstraintChecks=615300023 nbPropagations=21361863 nbRevisions=325213349 nbUselessRevisions=264476645
92.82 nbAssignments=355107 nbFailedAssignments=130409 nbBacktracks=224449 nbVisitedNodes=601689 nbRestartNogoods=168
92.82 => wckTime=91.808 cpuTime=90.94 mem=16M545
138.06
138.06 search
138.06 run=23 nbConstraintChecks=917237541 nbPropagations=31874546 nbRevisions=485208429 nbUselessRevisions=394669743
138.06 nbAssignments=533236 nbFailedAssignments=196301 nbBacktracks=336679 nbVisitedNodes=903417 nbRestartNogoods=180
138.06 => wckTime=137.044 cpuTime=135.81 mem=16M545
210.95
210.95 search
210.95 run=24 nbConstraintChecks=1425788825 nbPropagations=47853769 nbRevisions=727973197 nbUselessRevisions=591673281
210.95 nbAssignments=802401 nbFailedAssignments=297113 nbBacktracks=505025 nbVisitedNodes=1361568 nbRestartNogoods=192
210.95 => wckTime=209.935 cpuTime=208.1 mem=16M545
306.46
306.46 search
306.46 run=25 nbConstraintChecks=2048989169 nbPropagations=71265342 nbRevisions=1083869162
306.46 nbUselessRevisions=881224559 nbAssignments=1193254 nbFailedAssignments=435445 nbBacktracks=757538
306.46 nbVisitedNodes=2017195 nbRestartNogoods=206
306.46 => wckTime=305.446 cpuTime=302.81 mem=16M545
465.70
465.70 search
465.70 run=26 nbConstraintChecks=3146953477 nbPropagations=106740515 nbRevisions=1621709160
465.70 nbUselessRevisions=1317916035 nbAssignments=1793426 nbFailedAssignments=656826 nbBacktracks=1136305
465.70 nbVisitedNodes=3035077 nbRestartNogoods=219
465.70 => wckTime=464.685 cpuTime=460.72 mem=16M545
705.62
705.62 search
705.62 run=27 nbConstraintChecks=4758978106 nbPropagations=160533630 nbRevisions=2444590528
705.62 nbUselessRevisions=1987841307 nbAssignments=2707015 nbFailedAssignments=1002254 nbBacktracks=1704457
705.62 nbVisitedNodes=4596646 nbRestartNogoods=235
705.62 => wckTime=704.606 cpuTime=698.59 mem=16M545
1053.33
1053.33 search
1053.33 run=28 nbConstraintChecks=7105538121 nbPropagations=240989993 nbRevisions=3679175892
1053.33 nbUselessRevisions=2993846496 nbAssignments=4059665 nbFailedAssignments=1502668 nbBacktracks=2556685
1053.33 nbVisitedNodes=6891420 nbRestartNogoods=255
1053.33 => wckTime=1052.316 cpuTime=1044.08 mem=16M545
1595.63
1595.63 search
1595.63 run=29 nbConstraintChecks=10987799951 nbPropagations=363136690 nbRevisions=5544578615
1595.63 nbUselessRevisions=4509609020 nbAssignments=6108073 nbFailedAssignments=2272724 nbBacktracks=3835027
1595.63 nbVisitedNodes=10379340 nbRestartNogoods=273
1595.63 => wckTime=1594.614 cpuTime=1584.23 mem=16M545
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-194528-1168103633 -o ROOT/results/node41/solver-194528-1168103633 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194528-1168103633/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.01 1.91 2/73 15149
/proc/meminfo: memFree=1787296/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=18540 CPUtime=0
/proc/15148/stat : 15148 (runsolver) R 15146 15148 14380 0 -1 4194368 17 0 0 0 0 0 0 0 25 0 1 0 158762557 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15148/statm: 4635 279 244 17 0 2626 0
[startup+0.102543 s]
/proc/loadavg: 2.00 2.01 1.91 2/73 15149
/proc/meminfo: memFree=1787296/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=9748 CPUtime=0
/proc/15148/stat : 15148 (java) D 15146 15148 14380 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 158762557 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1962788 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15148/statm: 2437 412 333 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9748
[startup+0.510582 s]
/proc/loadavg: 2.00 2.01 1.91 2/73 15149
/proc/meminfo: memFree=1787296/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915328 CPUtime=0.39
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 6090 0 1 0 35 4 0 0 18 0 8 0 158762557 937295872 5829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228832 5829 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33166 s]
/proc/loadavg: 2.00 2.01 1.91 3/80 15156
/proc/meminfo: memFree=1759784/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1.2
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9611 0 1 0 113 7 0 0 23 0 8 0 158762557 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9349 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.22
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 158762574 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915460
[startup+2.96887 s]
/proc/loadavg: 2.00 2.01 1.91 3/80 15156
/proc/meminfo: memFree=1759656/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=2.83
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9631 0 1 0 275 8 0 0 25 0 8 0 158762557 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9367 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 17 0 8 0 158762570 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915460
[startup+6.26608 s]
/proc/loadavg: 2.00 2.01 1.91 3/80 15156
/proc/meminfo: memFree=1759528/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=6.1
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9631 0 1 0 602 8 0 0 25 0 8 0 158762557 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9367 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.7346 s]
/proc/loadavg: 2.00 2.01 1.91 3/80 15156
/proc/meminfo: memFree=1759536/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=12.51
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9631 0 1 0 1243 8 0 0 25 0 8 0 158762557 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9367 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915460
[startup+25.6008 s]
/proc/loadavg: 2.00 2.01 1.91 3/80 15156
/proc/meminfo: memFree=1759664/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=25.28
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9631 0 1 0 2520 8 0 0 25 0 8 0 158762557 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9367 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915460
[startup+51.203 s]
/proc/loadavg: 2.00 2.01 1.91 3/80 15156
/proc/meminfo: memFree=1759728/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=50.66
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9633 0 1 0 5058 8 0 0 25 0 8 0 158762557 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9368 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915460
[startup+102.411 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 15156
/proc/meminfo: memFree=1759728/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=101.45
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9633 0 1 0 10137 8 0 0 25 0 8 0 158762557 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15148/statm: 228865 9368 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915460
[startup+162.461 s]
/proc/loadavg: 2.07 2.02 1.91 3/80 15156
/proc/meminfo: memFree=1759728/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=160.99
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 16091 8 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.54
Current children cumulated vsize (KiB) 915460
[startup+1483.21 s]
/proc/loadavg: 1.94 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740584/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1473.29
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 147317 12 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.29
Current children cumulated vsize (KiB) 915460
[startup+1543.23 s]
/proc/loadavg: 1.98 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740712/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1533.05
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 153293 12 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.05
Current children cumulated vsize (KiB) 915460
[startup+1603.25 s]
/proc/loadavg: 1.99 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740648/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1592.8
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 159267 13 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.8
Current children cumulated vsize (KiB) 915460
[startup+1663.27 s]
/proc/loadavg: 1.99 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740648/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1652.54
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 165241 13 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.54
Current children cumulated vsize (KiB) 915460
[startup+1723.29 s]
/proc/loadavg: 1.99 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740648/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1712.3
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 171217 13 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.3
Current children cumulated vsize (KiB) 915460
[startup+1783.32 s]
/proc/loadavg: 1.99 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740584/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1772.05
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 177192 13 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.05
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.47 s]
/proc/loadavg: 1.99 1.98 1.93 3/81 15222
/proc/meminfo: memFree=1740584/2055920 swapFree=4192812/4192956
[pid=15148] ppid=15146 vsize=915460 CPUtime=1800.08
/proc/15148/stat : 15148 (java) R 15146 15148 14380 0 -1 0 9634 0 1 0 179995 13 0 0 25 0 8 0 158762557 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15148/statm: 228865 9369 2524 14 0 215335 0
[pid=15148/tid=15150] ppid=15146 vsize=915460 CPUtime=0.03
/proc/15148/task/15150/stat : 15150 (java) S 15146 15148 14380 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 158762570 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15151] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15151/stat : 15151 (java) S 15146 15148 14380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15152] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15152/stat : 15152 (java) S 15146 15148 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762571 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15153] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15153/stat : 15153 (java) S 15146 15148 14380 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15154] ppid=15146 vsize=915460 CPUtime=0.25
/proc/15148/task/15154/stat : 15154 (java) S 15146 15148 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15148/tid=15155] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15155/stat : 15155 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15148/tid=15156] ppid=15146 vsize=915460 CPUtime=0
/proc/15148/task/15156/stat : 15156 (java) S 15146 15148 14380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158762574 937431040 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.51
CPU time (s): 1800.12
CPU user time (s): 1799.98
CPU system time (s): 0.139978
CPU usage (%): 99.3713
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9652
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= 37799
involuntary context switches= 36713
runsolver used 2.15967 s user time and 5.04923 s system time
The end
Begin job on node41 on Sat Jan 6 17:13:53 UTC 2007
IDJOB= 194528
IDBENCH= 3219
FILE ID= node41/194528-1168103633
PBS_JOBID= 3477283
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194528-1168103633/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-194528-1168103633 -o ROOT/results/node41/solver-194528-1168103633 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194528-1168103633/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 47022f0b2265ce0be75b84592b7d4eee
RANDOM SEED= 806149910
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.234
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.234
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: 1787776 kB
Buffers: 20700 kB
Cached: 155964 kB
SwapCached: 0 kB
Active: 84472 kB
Inactive: 116016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1787776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 37404 kB
Slab: 53116 kB
Committed_AS: 2692600 kB
PageTables: 1836 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= 66529 MiB
End job on node41 on Sat Jan 6 17:44:05 UTC 2007