0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206449-1168173297/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.60
1.60 constraints being loaded...
2.37 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.37 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.37 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.37 => wckTime=2.05 cpuTime=1.62 mem=58M37
2.53
2.53 solver IterativeSystematicSolver being built...
2.71 => wckTime=2.385 cpuTime=1.77 mem=65M618
2.87
2.87 preprocessing
2.87 nbConstraintChecks=51365 nbValidityChecks=81812 nbPropagations=270 nbRevisions=2977 nbUselessRevisions=2563
2.87 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.87 => wckTime=0.155 cpuTime=0.12 mem=65M618
2.98
2.99 search
2.99 run=0 nbConstraintChecks=54069 nbValidityChecks=103522 nbPropagations=717 nbRevisions=8904
2.99 nbUselessRevisions=7349 nbAssignments=35 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=61
2.99 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=0.275 cpuTime=0.23 mem=66M626
3.12
3.12 search
3.12 run=1 nbConstraintChecks=118651 nbValidityChecks=244593 nbPropagations=2175 nbRevisions=26519
3.12 nbUselessRevisions=21659 nbAssignments=101 nbFailedAssignments=60 nbBacktracks=26 nbVisitedNodes=181
3.12 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=0.414 cpuTime=0.37 mem=66M626
3.31
3.31 search
3.31 run=2 nbConstraintChecks=210736 nbValidityChecks=430409 nbPropagations=4646 nbRevisions=55901
3.31 nbUselessRevisions=45259 nbAssignments=181 nbFailedAssignments=97 nbBacktracks=48 nbVisitedNodes=300
3.31 nbRestartNogoods=6 mapSize=46 nbInferences=0 nbTooLargeKeys=0
3.31 => wckTime=0.598 cpuTime=0.54 mem=66M626
3.60
3.60 search
3.60 run=3 nbConstraintChecks=362854 nbValidityChecks=780700 nbPropagations=8766 nbRevisions=105688
3.60 nbUselessRevisions=85509 nbAssignments=325 nbFailedAssignments=153 nbBacktracks=81 nbVisitedNodes=481
3.60 nbRestartNogoods=16 mapSize=78 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=0.887 cpuTime=0.82 mem=66M626
3.82
3.82 search
3.82 run=4 nbConstraintChecks=491767 nbValidityChecks=1047007 nbPropagations=14136 nbRevisions=170890
3.82 nbUselessRevisions=138034 nbAssignments=440 nbFailedAssignments=193 nbBacktracks=132 nbVisitedNodes=644
3.82 nbRestartNogoods=23 mapSize=117 nbInferences=0 nbTooLargeKeys=0
3.82 => wckTime=1.108 cpuTime=1.04 mem=66M626
4.38
4.38 search
4.38 run=5 nbConstraintChecks=831889 nbValidityChecks=1699346 nbPropagations=22553 nbRevisions=274576
4.38 nbUselessRevisions=220567 nbAssignments=670 nbFailedAssignments=338 nbBacktracks=212 nbVisitedNodes=1078
4.38 nbRestartNogoods=26 mapSize=187 nbInferences=0 nbTooLargeKeys=0
4.38 => wckTime=1.667 cpuTime=1.59 mem=66M626
4.98
4.98 search
4.98 run=6 nbConstraintChecks=1184987 nbValidityChecks=2419317 nbPropagations=34627 nbRevisions=421960
4.98 nbUselessRevisions=337069 nbAssignments=937 nbFailedAssignments=485 nbBacktracks=325 nbVisitedNodes=1564
4.98 nbRestartNogoods=27 mapSize=282 nbInferences=0 nbTooLargeKeys=0
4.98 => wckTime=2.274 cpuTime=2.19 mem=66M626
5.90
5.90 search
5.90 run=7 nbConstraintChecks=1717329 nbValidityChecks=3498998 nbPropagations=51450 nbRevisions=631071
5.90 nbUselessRevisions=502335 nbAssignments=1309 nbFailedAssignments=668 nbBacktracks=495 nbVisitedNodes=2202
5.90 nbRestartNogoods=32 mapSize=419 nbInferences=0 nbTooLargeKeys=0
5.90 => wckTime=3.189 cpuTime=3.09 mem=66M626
7.30
7.30 search
7.31 run=8 nbConstraintChecks=2563428 nbValidityChecks=5211632 nbPropagations=76761 nbRevisions=947168
7.31 nbUselessRevisions=752185 nbAssignments=1994 nbFailedAssignments=1077 nbBacktracks=752 nbVisitedNodes=3440
7.31 nbRestartNogoods=42 mapSize=646 nbInferences=0 nbTooLargeKeys=0
7.31 => wckTime=4.595 cpuTime=4.46 mem=66M626
9.50
9.51 search
9.51 run=9 nbConstraintChecks=3880258 nbValidityChecks=7941731 nbPropagations=116242 nbRevisions=1433079
9.51 nbUselessRevisions=1134049 nbAssignments=3009 nbFailedAssignments=1700 nbBacktracks=1136 nbVisitedNodes=5345
9.51 nbRestartNogoods=48 mapSize=987 nbInferences=0 nbTooLargeKeys=0
9.51 => wckTime=6.794 cpuTime=6.64 mem=66M626
9.89
9.89 INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=66M626)
12.88
12.88 search
12.88 run=10 nbConstraintChecks=5992735 nbValidityChecks=12161152 nbPropagations=176244 nbRevisions=2181436
12.88 nbUselessRevisions=1722541 nbAssignments=4589 nbFailedAssignments=2683 nbBacktracks=1712 nbVisitedNodes=8290
12.88 nbRestartNogoods=62
12.88 => wckTime=10.171 cpuTime=9.97 mem=66M626
18.15
18.15 search
18.15 run=11 nbConstraintChecks=9162362 nbValidityChecks=18676462 nbPropagations=270196 nbRevisions=3334866
18.15 nbUselessRevisions=2626012 nbAssignments=7094 nbFailedAssignments=4286 nbBacktracks=2577 nbVisitedNodes=12995
18.15 nbRestartNogoods=73
18.15 => wckTime=15.437 cpuTime=15.19 mem=66M626
23.10
23.10 search
23.10 run=12 nbConstraintChecks=12139905 nbValidityChecks=24689460 nbPropagations=396398 nbRevisions=4883732
23.10 nbUselessRevisions=3844316 nbAssignments=9654 nbFailedAssignments=5498 nbBacktracks=3878 nbVisitedNodes=17422
23.10 nbRestartNogoods=91
23.10 => wckTime=20.393 cpuTime=20.1 mem=66M626
32.65
32.65 search
32.65 run=13 nbConstraintChecks=17937406 nbValidityChecks=36529356 nbPropagations=580385 nbRevisions=7176980
32.65 nbUselessRevisions=5655345 nbAssignments=14254 nbFailedAssignments=8142 nbBacktracks=5825 nbVisitedNodes=25889
32.65 nbRestartNogoods=103
32.65 => wckTime=29.937 cpuTime=29.56 mem=66M626
48.53
48.53 search
48.53 run=14 nbConstraintChecks=27492158 nbValidityChecks=55716556 nbPropagations=849955 nbRevisions=10569989
48.53 nbUselessRevisions=8337171 nbAssignments=20697 nbFailedAssignments=11657 nbBacktracks=8746 nbVisitedNodes=37661
48.53 nbRestartNogoods=117
48.53 => wckTime=45.819 cpuTime=45.29 mem=66M626
73.00
73.00 search
73.00 run=15 nbConstraintChecks=42799560 nbValidityChecks=86899641 nbPropagations=1276914 nbRevisions=15957383
73.00 nbUselessRevisions=12591903 nbAssignments=32748 nbFailedAssignments=19323 nbBacktracks=13124
73.00 nbVisitedNodes=60339 nbRestartNogoods=136
73.00 => wckTime=70.288 cpuTime=69.54 mem=66M626
108.86
108.86 search
108.86 run=16 nbConstraintChecks=64486424 nbValidityChecks=131443273 nbPropagations=1935763 nbRevisions=24115139
108.86 nbUselessRevisions=19009078 nbAssignments=49875 nbFailedAssignments=29874 nbBacktracks=19692
108.86 nbVisitedNodes=92541 nbRestartNogoods=149
108.86 => wckTime=106.147 cpuTime=105.07 mem=66M626
147.52
147.52 search
147.52 run=17 nbConstraintChecks=87655026 nbValidityChecks=178409569 nbPropagations=2849438 nbRevisions=35377922
147.52 nbUselessRevisions=27886585 nbAssignments=69370 nbFailedAssignments=39470 nbBacktracks=29544
147.52 nbVisitedNodes=127085 nbRestartNogoods=166
147.52 => wckTime=144.813 cpuTime=143.38 mem=66M626
224.63
224.63 search
224.63 run=18 nbConstraintChecks=134975675 nbValidityChecks=275954722 nbPropagations=4269698 nbRevisions=52935681
224.63 nbUselessRevisions=41716951 nbAssignments=106825 nbFailedAssignments=62139 nbBacktracks=44323
224.63 nbVisitedNodes=196796 nbRestartNogoods=186
224.63 => wckTime=221.919 cpuTime=219.79 mem=66M626
350.82
350.82 search
350.82 run=19 nbConstraintChecks=210887396 nbValidityChecks=433931710 nbPropagations=6524243 nbRevisions=80308391
350.82 nbUselessRevisions=63161138 nbAssignments=167085 nbFailedAssignments=100223 nbBacktracks=66491
350.82 nbVisitedNodes=310461 nbRestartNogoods=196
350.82 => wckTime=348.109 cpuTime=344.82 mem=66M626
473.93
473.93 search
473.93 run=20 nbConstraintChecks=285236400 nbValidityChecks=584254200 nbPropagations=9608855 nbRevisions=117698068
473.93 nbUselessRevisions=92546602 nbAssignments=232786 nbFailedAssignments=132664 nbBacktracks=99745
473.93 nbVisitedNodes=426447 nbRestartNogoods=211
473.93 => wckTime=471.216 cpuTime=466.8 mem=66M626
735.94
735.95 search
735.95 run=21 nbConstraintChecks=448821067 nbValidityChecks=920988572 nbPropagations=14412716 nbRevisions=176438166
735.95 nbUselessRevisions=138708955 nbAssignments=360914 nbFailedAssignments=210894 nbBacktracks=149624
735.95 nbVisitedNodes=665416 nbRestartNogoods=228
735.95 => wckTime=733.235 cpuTime=727.34 mem=66M626
1069.79
1069.79 search
1069.79 run=22 nbConstraintChecks=663842901 nbValidityChecks=1353506814 nbPropagations=21333742 nbRevisions=261856676
1069.79 nbUselessRevisions=206042627 nbAssignments=525870 nbFailedAssignments=301011 nbBacktracks=224443
1069.79 nbVisitedNodes=964884 nbRestartNogoods=244
1069.79 => wckTime=1067.083 cpuTime=1059.37 mem=66M626
1608.69
1608.69 search
1608.69 run=23 nbConstraintChecks=1013538878 nbValidityChecks=2066412970 nbPropagations=31681513 nbRevisions=391541501
1608.69 nbUselessRevisions=308626445 nbAssignments=791687 nbFailedAssignments=454592 nbBacktracks=336670
1608.69 nbVisitedNodes=1453245 nbRestartNogoods=267
1608.69 => wckTime=1605.981 cpuTime=1595.27 mem=66M626
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-206449-1168173297 -o ROOT/results/node4/solver-206449-1168173297 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206449-1168173297/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 4/93 16058
/proc/meminfo: memFree=1581248/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=18540 CPUtime=0
/proc/16057/stat : 16057 (runsolver) R 16055 16057 14434 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165725246 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16057/statm: 4635 279 244 17 0 2626 0
[startup+0.107979 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 16058
/proc/meminfo: memFree=1581248/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=914988 CPUtime=0.08
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 2979 0 1 0 7 1 0 0 18 0 8 0 165725246 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516622 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 16058
/proc/meminfo: memFree=1581248/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915328 CPUtime=0.48
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 7351 0 1 0 44 4 0 0 18 0 8 0 165725246 937295872 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228832 7090 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33809 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1514120/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915328 CPUtime=1.3
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 19098 0 1 0 121 9 0 0 25 0 8 0 165725246 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228832 18836 2149 14 0 215302 0
[pid=16057/tid=16059] ppid=16055 vsize=915328 CPUtime=0.05
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165725251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915328 CPUtime=0.08
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915328 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98476 s]
/proc/loadavg: 2.16 2.03 2.01 4/100 16065
/proc/meminfo: memFree=1474376/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=2.93
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32571 0 1 0 277 16 0 0 25 0 8 0 165725246 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32306 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 17 0 8 0 165725251 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.19
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.19303 s]
/proc/loadavg: 2.16 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461384/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=6.1
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32585 0 1 0 594 16 0 0 25 0 8 0 165725246 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32318 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 17 0 8 0 165725251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.22
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 387 0 0 0 22 0 0 0 15 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915440
[startup+12.6682 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=12.51
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 1235 16 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915440
[startup+25.5394 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461640/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=25.27
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 2511 16 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915440
[startup+51.1739 s]
/proc/loadavg: 2.07 2.03 2.01 3/100 16065
/proc/meminfo: memFree=1461704/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=50.67
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 5050 17 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915440
[startup+102.436 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 16065
/proc/meminfo: memFree=1461704/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=101.46
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32603 0 1 0 10129 17 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16057/statm: 228860 32333 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.25
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915440
[startup+162.449 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 16065
/proc/meminfo: memFree=1461640/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=160.92
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32604 0 1 0 16075 17 0 0 25 0 8 0 165725246 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.28
Current children cumulated vsize (KiB) 915440
[startup+1483.96 s]
/proc/loadavg: 2.13 2.09 2.02 3/101 16137
/proc/meminfo: memFree=1514624/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1474.04
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 147376 28 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.04
Current children cumulated vsize (KiB) 915440
[startup+1544.05 s]
/proc/loadavg: 2.05 2.07 2.01 3/101 16137
/proc/meminfo: memFree=1514496/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1533.8
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 153352 28 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.8
Current children cumulated vsize (KiB) 915440
[startup+1604.16 s]
/proc/loadavg: 2.02 2.06 2.01 3/107 16275
/proc/meminfo: memFree=1513104/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1593.51
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 159313 38 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.51
Current children cumulated vsize (KiB) 915440
[startup+1664.16 s]
/proc/loadavg: 2.00 2.05 2.00 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1653.17
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 165270 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.17
Current children cumulated vsize (KiB) 915440
[startup+1724.25 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1712.93
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 171246 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.93
Current children cumulated vsize (KiB) 915440
[startup+1784.35 s]
/proc/loadavg: 2.08 2.04 2.01 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1772.7
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 177223 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.7
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.83 s]
/proc/loadavg: 2.05 2.04 2.00 3/101 16335
/proc/meminfo: memFree=1514112/2055920 swapFree=4182144/4192956
[pid=16057] ppid=16055 vsize=915440 CPUtime=1800.03
/proc/16057/stat : 16057 (java) R 16055 16057 14434 0 -1 0 32605 0 1 0 179956 47 0 0 25 0 8 0 165725246 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665357 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16057/statm: 228860 32334 2531 14 0 215330 0
[pid=16057/tid=16059] ppid=16055 vsize=915440 CPUtime=0.45
/proc/16057/task/16059/stat : 16059 (java) S 16055 16057 14434 0 -1 64 15582 0 0 0 38 7 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16060] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16060/stat : 16060 (java) S 16055 16057 14434 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16061] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16061/stat : 16061 (java) S 16055 16057 14434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165725251 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16062] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16062/stat : 16062 (java) S 16055 16057 14434 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16063] ppid=16055 vsize=915440 CPUtime=0.26
/proc/16057/task/16063/stat : 16063 (java) S 16055 16057 14434 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16064] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16064/stat : 16064 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16057/tid=16065] ppid=16055 vsize=915440 CPUtime=0
/proc/16057/task/16065/stat : 16065 (java) S 16055 16057 14434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165725255 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.9
CPU time (s): 1800.11
CPU user time (s): 1799.62
CPU system time (s): 0.494924
CPU usage (%): 99.3492
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.494924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37811
involuntary context switches= 72912
runsolver used 2.17167 s user time and 5.86611 s system time
The end
Begin job on node4 on Sun Jan 7 12:34:57 UTC 2007
IDJOB= 206449
IDBENCH= 4209
FILE ID= node4/206449-1168173297
PBS_JOBID= 3478809
Free space on /tmp= 66295 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206449-1168173297/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-206449-1168173297 -o ROOT/results/node4/solver-206449-1168173297 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206449-1168173297/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6e34df8fcc34f2f20744837f33af4217
RANDOM SEED= 920057339
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.223
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.223
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: 1581728 kB
Buffers: 43544 kB
Cached: 215328 kB
SwapCached: 2520 kB
Active: 255012 kB
Inactive: 165812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581728 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 7500 kB
Writeback: 0 kB
Mapped: 181420 kB
Slab: 37828 kB
Committed_AS: 5069008 kB
PageTables: 2680 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= 66297 MiB
End job on node4 on Sun Jan 7 13:05:09 UTC 2007