0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/203119-1168072860/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.55
1.55 constraints being loaded...
2.30 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.30 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.30 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.30 => wckTime=1.985 cpuTime=1.59 mem=55M852
2.45
2.45 solver IterativeSystematicSolver being built...
2.62 => wckTime=2.304 cpuTime=1.73 mem=64M780
2.62
2.62 preprocessing
2.62 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.63 detectedInconsistency=no
2.63 => wckTime=0.0040 cpuTime=0.01 mem=64M780
2.77
2.77 search
2.77 run=0 nbConstraintChecks=46919 nbValidityChecks=83943 nbPropagations=411 nbRevisions=4946
2.77 nbUselessRevisions=3956 nbAssignments=29 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=48
2.77 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=0.152 cpuTime=0.12 mem=64M780
2.90
2.90 search
2.90 run=1 nbConstraintChecks=110105 nbValidityChecks=211329 nbPropagations=1419 nbRevisions=17929
2.90 nbUselessRevisions=14387 nbAssignments=77 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=134
2.90 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.278 cpuTime=0.24 mem=64M780
3.02
3.02 search
3.02 run=2 nbConstraintChecks=173126 nbValidityChecks=334035 nbPropagations=3137 nbRevisions=39729
3.02 nbUselessRevisions=31934 nbAssignments=135 nbFailedAssignments=65 nbBacktracks=48 nbVisitedNodes=235
3.02 nbRestartNogoods=6 mapSize=47 nbInferences=0 nbTooLargeKeys=0
3.02 => wckTime=0.398 cpuTime=0.35 mem=64M780
3.25
3.25 search
3.25 run=3 nbConstraintChecks=308197 nbValidityChecks=632130 nbPropagations=6308 nbRevisions=80949
3.25 nbUselessRevisions=64958 nbAssignments=254 nbFailedAssignments=142 nbBacktracks=82 nbVisitedNodes=457
3.25 nbRestartNogoods=11 mapSize=81 nbInferences=0 nbTooLargeKeys=0
3.25 => wckTime=0.628 cpuTime=0.58 mem=64M780
3.62
3.62 search
3.62 run=4 nbConstraintChecks=527961 nbValidityChecks=1077122 nbPropagations=11813 nbRevisions=151835
3.62 nbUselessRevisions=121188 nbAssignments=439 nbFailedAssignments=269 nbBacktracks=132 nbVisitedNodes=808
3.62 nbRestartNogoods=14 mapSize=128 nbInferences=0 nbTooLargeKeys=0
3.62 => wckTime=0.995 cpuTime=0.94 mem=64M780
4.13
4.13 search
4.13 run=5 nbConstraintChecks=833732 nbValidityChecks=1658801 nbPropagations=19512 nbRevisions=252665
4.13 nbUselessRevisions=201207 nbAssignments=592 nbFailedAssignments=339 nbBacktracks=208 nbVisitedNodes=1085
4.13 nbRestartNogoods=21 mapSize=195 nbInferences=0 nbTooLargeKeys=0
4.13 => wckTime=1.509 cpuTime=1.44 mem=64M780
4.69
4.69 search
4.69 run=6 nbConstraintChecks=1178481 nbValidityChecks=2344431 nbPropagations=30546 nbRevisions=397462
4.69 nbUselessRevisions=316790 nbAssignments=835 nbFailedAssignments=460 nbBacktracks=322 nbVisitedNodes=1523
4.69 nbRestartNogoods=24 mapSize=300 nbInferences=0 nbTooLargeKeys=0
4.69 => wckTime=2.069 cpuTime=2.0 mem=64M780
5.40
5.40 search
5.40 run=7 nbConstraintChecks=1605895 nbValidityChecks=3207605 nbPropagations=46867 nbRevisions=608461
5.40 nbUselessRevisions=485349 nbAssignments=1240 nbFailedAssignments=687 nbBacktracks=492 nbVisitedNodes=2252
5.40 nbRestartNogoods=31 mapSize=441 nbInferences=0 nbTooLargeKeys=0
5.40 => wckTime=2.782 cpuTime=2.71 mem=64M780
7.17
7.17 search
7.17 run=8 nbConstraintChecks=2661205 nbValidityChecks=5375869 nbPropagations=73648 nbRevisions=957466
7.17 nbUselessRevisions=762564 nbAssignments=1973 nbFailedAssignments=1156 nbBacktracks=748 nbVisitedNodes=3660
7.17 nbRestartNogoods=41 mapSize=692 nbInferences=0 nbTooLargeKeys=0
7.17 => wckTime=4.553 cpuTime=4.44 mem=64M780
9.71
9.71 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=65M772)
9.91
9.91 search
9.91 run=9 nbConstraintChecks=4379905 nbValidityChecks=8789279 nbPropagations=115931 nbRevisions=1496882
9.91 nbUselessRevisions=1188507 nbAssignments=3108 nbFailedAssignments=1900 nbBacktracks=1133 nbVisitedNodes=5811
9.91 nbRestartNogoods=51
9.91 => wckTime=7.293 cpuTime=7.17 mem=65M772
12.55
12.55 search
12.55 run=10 nbConstraintChecks=6030407 nbValidityChecks=12046135 nbPropagations=175784 nbRevisions=2273308
12.55 nbUselessRevisions=1804778 nbAssignments=4490 nbFailedAssignments=2701 nbBacktracks=1709 nbVisitedNodes=8359
12.55 nbRestartNogoods=58
12.55 => wckTime=9.932 cpuTime=9.78 mem=65M772
17.13
17.13 search
17.13 run=11 nbConstraintChecks=8861988 nbValidityChecks=17801083 nbPropagations=266141 nbRevisions=3425241
17.13 nbUselessRevisions=2718174 nbAssignments=6553 nbFailedAssignments=3894 nbBacktracks=2573 nbVisitedNodes=12206
17.13 nbRestartNogoods=64
17.13 => wckTime=14.513 cpuTime=14.34 mem=65M772
26.39
26.39 search
26.39 run=12 nbConstraintChecks=14569003 nbValidityChecks=29102793 nbPropagations=400813 nbRevisions=5157035
26.39 nbUselessRevisions=4093150 nbAssignments=9597 nbFailedAssignments=5633 nbBacktracks=3870 nbVisitedNodes=17901
26.39 nbRestartNogoods=71
26.39 => wckTime=23.773 cpuTime=23.56 mem=65M772
37.28
37.28 search
37.28 run=13 nbConstraintChecks=21175157 nbValidityChecks=42936779 nbPropagations=611238 nbRevisions=7841998
37.28 nbUselessRevisions=6216163 nbAssignments=14812 nbFailedAssignments=8894 nbBacktracks=5818 nbVisitedNodes=27734
37.28 nbRestartNogoods=85
37.28 => wckTime=34.664 cpuTime=34.39 mem=65M772
51.31
51.31 search
51.31 run=14 nbConstraintChecks=29956184 nbValidityChecks=60491885 nbPropagations=908110 nbRevisions=11599569
51.31 nbUselessRevisions=9190411 nbAssignments=21532 nbFailedAssignments=12688 nbBacktracks=8737 nbVisitedNodes=39895
51.31 nbRestartNogoods=95
51.31 => wckTime=48.687 cpuTime=48.34 mem=65M772
71.50
71.50 search
71.50 run=15 nbConstraintChecks=42398389 nbValidityChecks=85741412 nbPropagations=1354548 nbRevisions=17195388
71.50 nbUselessRevisions=13619270 nbAssignments=31981 nbFailedAssignments=18753 nbBacktracks=13116
71.50 nbVisitedNodes=59157 nbRestartNogoods=113
71.50 => wckTime=68.884 cpuTime=68.44 mem=65M772
104.55
104.55 search
104.55 run=16 nbConstraintChecks=63401501 nbValidityChecks=128804204 nbPropagations=2015976 nbRevisions=25615599
104.55 nbUselessRevisions=20294951 nbAssignments=48011 nbFailedAssignments=28206 nbBacktracks=19686
104.55 nbVisitedNodes=89230 nbRestartNogoods=126
104.55 => wckTime=101.929 cpuTime=101.33 mem=65M772
154.84
154.84 search
154.84 run=17 nbConstraintChecks=94935600 nbValidityChecks=191006169 nbPropagations=3025710 nbRevisions=38490288
154.84 nbUselessRevisions=30507233 nbAssignments=72212 nbFailedAssignments=42549 nbBacktracks=29538
154.84 nbVisitedNodes=134373 nbRestartNogoods=138
154.84 => wckTime=152.224 cpuTime=151.39 mem=65M772
231.70
231.70 search
231.70 run=18 nbConstraintChecks=143200419 nbValidityChecks=288314998 nbPropagations=4537873 nbRevisions=57764200
231.70 nbUselessRevisions=45816434 nbAssignments=107264 nbFailedAssignments=62816 nbBacktracks=44316
231.70 nbVisitedNodes=199807 nbRestartNogoods=158
231.70 => wckTime=229.081 cpuTime=227.89 mem=65M772
360.69
360.69 search
360.69 run=19 nbConstraintChecks=223025849 nbValidityChecks=451581833 nbPropagations=6837434 nbRevisions=86951324
360.69 nbUselessRevisions=68944858 nbAssignments=165458 nbFailedAssignments=98835 nbBacktracks=66485
360.69 nbVisitedNodes=308833 nbRestartNogoods=166
360.69 => wckTime=358.073 cpuTime=356.27 mem=65M772
521.88
521.88 search
521.88 run=20 nbConstraintChecks=324354060 nbValidityChecks=653243602 nbPropagations=10271420 nbRevisions=130756314
521.88 nbUselessRevisions=103682778 nbAssignments=247539 nbFailedAssignments=147657 nbBacktracks=99737
521.88 nbVisitedNodes=461458 nbRestartNogoods=172
521.88 => wckTime=519.258 cpuTime=516.71 mem=65M772
767.09
767.09 search
767.09 run=21 nbConstraintChecks=478149656 nbValidityChecks=965499563 nbPropagations=15302002 nbRevisions=194817834
767.09 nbUselessRevisions=154544444 nbAssignments=360115 nbFailedAssignments=210349 nbBacktracks=149615
767.09 nbVisitedNodes=669902 nbRestartNogoods=188
767.09 => wckTime=764.473 cpuTime=760.76 mem=65M772
1134.24
1134.24 search
1134.24 run=22 nbConstraintChecks=708197164 nbValidityChecks=1423229993 nbPropagations=22897228 nbRevisions=291397283
1134.24 nbUselessRevisions=231200373 nbAssignments=541928 nbFailedAssignments=317336 nbBacktracks=224433
1134.24 nbVisitedNodes=1008326 nbRestartNogoods=214
1134.24 => wckTime=1131.617 cpuTime=1126.19 mem=65M772
1669.13
1669.13 search
1669.13 run=23 nbConstraintChecks=1060741290 nbValidityChecks=2146297753 nbPropagations=34154419 nbRevisions=433423143
1669.13 nbUselessRevisions=343993493 nbAssignments=796450 nbFailedAssignments=459624 nbBacktracks=336660
1669.13 nbVisitedNodes=1481368 nbRestartNogoods=229
1669.13 => wckTime=1666.507 cpuTime=1660.36 mem=65M772
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-203119-1168072860 -o ROOT/results/node44/solver-203119-1168072860 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203119-1168072860/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: 1.94 1.89 1.60 4/80 9213
/proc/meminfo: memFree=1446936/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=47416 CPUtime=0
/proc/9212/stat : 9212 (java) D 9210 9212 8845 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 155685096 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/9212/statm: 11854 960 760 14 0 1707 0
[startup+0.103734 s]
/proc/loadavg: 1.94 1.89 1.60 4/80 9213
/proc/meminfo: memFree=1446936/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=914988 CPUtime=0.08
/proc/9212/stat : 9212 (java) D 9210 9212 8845 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 155685096 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511816 s]
/proc/loadavg: 1.94 1.89 1.60 4/80 9213
/proc/meminfo: memFree=1446936/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915328 CPUtime=0.48
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 7582 0 1 0 44 4 0 0 18 0 8 0 155685096 937295872 7321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073553310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228832 7321 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33286 s]
/proc/loadavg: 1.94 1.89 1.60 3/87 9220
/proc/meminfo: memFree=1379872/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915328 CPUtime=1.3
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 19098 0 1 0 122 8 0 0 25 0 8 0 155685096 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228832 18836 2149 14 0 215302 0
[pid=9212/tid=9214] ppid=9210 vsize=915328 CPUtime=0.05
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 155685100 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915328 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915328 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915328 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915328 CPUtime=0.08
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155685104 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915328 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915328 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.97903 s]
/proc/loadavg: 2.03 1.91 1.61 3/87 9220
/proc/meminfo: memFree=1339168/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=2.94
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32295 0 1 0 278 16 0 0 25 0 8 0 155685096 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228857 32029 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.21
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 155685104 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915428
[startup+6.18637 s]
/proc/loadavg: 2.03 1.91 1.61 3/87 9220
/proc/meminfo: memFree=1328160/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=6.12
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32312 0 1 0 596 16 0 0 25 0 8 0 155685096 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228857 32043 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 17 0 8 0 155685100 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.24
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 155685104 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915428
[startup+12.662 s]
/proc/loadavg: 2.02 1.91 1.61 3/87 9220
/proc/meminfo: memFree=1328288/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=12.56
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32323 0 1 0 1240 16 0 0 25 0 8 0 155685096 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073623712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228857 32051 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.25
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155685104 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915428
[startup+25.5263 s]
/proc/loadavg: 2.02 1.91 1.62 3/87 9220
/proc/meminfo: memFree=1328480/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=25.37
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32324 0 1 0 2521 16 0 0 25 0 8 0 155685096 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228857 32052 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915428
[startup+51.155 s]
/proc/loadavg: 2.01 1.92 1.62 3/87 9220
/proc/meminfo: memFree=1328480/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=50.87
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32324 0 1 0 5071 16 0 0 25 0 8 0 155685096 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228857 32052 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915428
[startup+102.408 s]
/proc/loadavg: 2.00 1.93 1.64 3/87 9220
/proc/meminfo: memFree=1328480/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=101.89
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32324 0 1 0 10172 17 0 0 25 0 8 0 155685096 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9212/statm: 228857 32052 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915428
[startup+162.408 s]
/proc/loadavg: 2.00 1.94 1.66 3/87 9220
/proc/meminfo: memFree=1328544/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=161.61
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32324 0 1 0 16144 17 0 0 25 0 8 0 155685096 937398272 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.53
Current children cumulated vsize (KiB) 915428
[startup+1483.49 s]
/proc/loadavg: 2.03 2.02 1.91 3/87 9476
/proc/meminfo: memFree=1390480/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1477.58
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 147718 40 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073623740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.58
Current children cumulated vsize (KiB) 915428
[startup+1543.5 s]
/proc/loadavg: 2.01 2.02 1.91 3/87 9476
/proc/meminfo: memFree=1390544/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1537.55
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 153714 41 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073623812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.55
Current children cumulated vsize (KiB) 915428
[startup+1603.52 s]
/proc/loadavg: 2.00 2.01 1.91 3/87 9476
/proc/meminfo: memFree=1390616/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1597.48
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 159707 41 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073623740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.48
Current children cumulated vsize (KiB) 915428
[startup+1663.53 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 9476
/proc/meminfo: memFree=1390616/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1657.44
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 165703 41 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.44
Current children cumulated vsize (KiB) 915428
[startup+1723.53 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 9476
/proc/meminfo: memFree=1390552/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1717.4
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 171699 41 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.4
Current children cumulated vsize (KiB) 915428
[startup+1783.55 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 9476
/proc/meminfo: memFree=1390488/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1777.34
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 177692 42 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.34
Current children cumulated vsize (KiB) 915428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.29 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 9476
/proc/meminfo: memFree=1390488/2055920 swapFree=4192812/4192956
[pid=9212] ppid=9210 vsize=915428 CPUtime=1800.08
/proc/9212/stat : 9212 (java) R 9210 9212 8845 0 -1 0 32326 0 1 0 179966 42 0 0 25 0 8 0 155685096 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9212/statm: 228857 32053 2521 14 0 215327 0
[pid=9212/tid=9214] ppid=9210 vsize=915428 CPUtime=0.43
/proc/9212/task/9214/stat : 9214 (java) S 9210 9212 8845 0 -1 64 15324 0 0 0 37 6 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9215] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9215/stat : 9215 (java) S 9210 9212 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9216] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9216/stat : 9216 (java) S 9210 9212 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155685100 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9217] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9217/stat : 9217 (java) S 9210 9212 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9218] ppid=9210 vsize=915428 CPUtime=0.26
/proc/9212/task/9218/stat : 9218 (java) S 9210 9212 8845 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9219] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9219/stat : 9219 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9212/tid=9220] ppid=9210 vsize=915428 CPUtime=0
/proc/9212/task/9220/stat : 9220 (java) S 9210 9212 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155685104 937398272 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.38
CPU time (s): 1800.17
CPU user time (s): 1799.72
CPU system time (s): 0.442932
CPU usage (%): 99.6561
Max. virtual memory (cumulated for all children) (KiB): 915428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.442932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32341
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= 37696
involuntary context switches= 61206
runsolver used 1.87571 s user time and 6.13707 s system time
The end
Begin job on node44 on Sat Jan 6 08:41:00 UTC 2007
IDJOB= 203119
IDBENCH= 3915
FILE ID= node44/203119-1168072860
PBS_JOBID= 3475970
Free space on /tmp= 66526 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203119-1168072860/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-203119-1168072860 -o ROOT/results/node44/solver-203119-1168072860 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203119-1168072860/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 077726e8764cc622524dd7385385087b
RANDOM SEED= 79803176
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.213
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.213
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: 1447352 kB
Buffers: 19444 kB
Cached: 310492 kB
SwapCached: 0 kB
Active: 266340 kB
Inactive: 272792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1447352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7488 kB
Writeback: 0 kB
Mapped: 229396 kB
Slab: 54400 kB
Committed_AS: 3711392 kB
PageTables: 2168 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= 66526 MiB
End job on node44 on Sat Jan 6 09:11:07 UTC 2007