0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206827-1168074080/unknown.xml
0.38
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
1.58
1.58 constraints being loaded...
2.37 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.37 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.37 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.37 => wckTime=2.053 cpuTime=1.61 mem=56M166
2.53
2.53 solver IterativeSystematicSolver being built...
2.70 => wckTime=2.374 cpuTime=1.75 mem=64M792
2.70
2.70 preprocessing
2.70 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.70 detectedInconsistency=no
2.70 => wckTime=0.0040 cpuTime=0.0 mem=64M792
2.83
2.83 search
2.83 run=0 nbConstraintChecks=35807 nbValidityChecks=60329 nbPropagations=329 nbRevisions=3592
2.83 nbUselessRevisions=2826 nbAssignments=30 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=49
2.83 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.83 => wckTime=0.133 cpuTime=0.1 mem=64M792
2.93
2.93 search
2.93 run=1 nbConstraintChecks=78746 nbValidityChecks=146580 nbPropagations=1142 nbRevisions=12860
2.93 nbUselessRevisions=10179 nbAssignments=82 nbFailedAssignments=41 nbBacktracks=26 nbVisitedNodes=137
2.93 nbRestartNogoods=1 mapSize=19 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=0.227 cpuTime=0.18 mem=64M792
3.08
3.08 search
3.08 run=2 nbConstraintChecks=157822 nbValidityChecks=302753 nbPropagations=2665 nbRevisions=31094
3.08 nbUselessRevisions=24764 nbAssignments=137 nbFailedAssignments=66 nbBacktracks=50 nbVisitedNodes=234
3.08 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=0.378 cpuTime=0.32 mem=64M792
3.21
3.22 search
3.22 run=3 nbConstraintChecks=240181 nbValidityChecks=459177 nbPropagations=5010 nbRevisions=58846
3.22 nbUselessRevisions=46926 nbAssignments=215 nbFailedAssignments=101 nbBacktracks=84 nbVisitedNodes=363
3.22 nbRestartNogoods=8 mapSize=64 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=0.517 cpuTime=0.46 mem=64M792
3.58
3.58 search
3.58 run=4 nbConstraintChecks=459817 nbValidityChecks=880633 nbPropagations=9179 nbRevisions=109138
3.58 nbUselessRevisions=87022 nbAssignments=369 nbFailedAssignments=197 nbBacktracks=134 nbVisitedNodes=651
3.58 nbRestartNogoods=14 mapSize=109 nbInferences=0 nbTooLargeKeys=0
3.58 => wckTime=0.876 cpuTime=0.81 mem=64M792
3.86
3.86 search
3.86 run=5 nbConstraintChecks=621861 nbValidityChecks=1202513 nbPropagations=15267 nbRevisions=181134
3.86 nbUselessRevisions=144468 nbAssignments=523 nbFailedAssignments=266 nbBacktracks=212 nbVisitedNodes=912
3.86 nbRestartNogoods=20 mapSize=169 nbInferences=0 nbTooLargeKeys=0
3.86 => wckTime=1.16 cpuTime=1.08 mem=64M792
4.55
4.55 search
4.55 run=6 nbConstraintChecks=1020822 nbValidityChecks=2048825 nbPropagations=26224 nbRevisions=309327
4.55 nbUselessRevisions=245439 nbAssignments=854 nbFailedAssignments=476 nbBacktracks=325 nbVisitedNodes=1542
4.55 nbRestartNogoods=23 mapSize=271 nbInferences=0 nbTooLargeKeys=0
4.55 => wckTime=1.854 cpuTime=1.77 mem=64M792
5.18
5.18 search
5.18 run=7 nbConstraintChecks=1375591 nbValidityChecks=2782503 nbPropagations=41596 nbRevisions=488731
5.18 nbUselessRevisions=386878 nbAssignments=1225 nbFailedAssignments=666 nbBacktracks=495 nbVisitedNodes=2187
5.18 nbRestartNogoods=40 mapSize=396 nbInferences=0 nbTooLargeKeys=0
5.18 => wckTime=2.483 cpuTime=2.38 mem=64M792
6.49
6.49 search
6.49 run=8 nbConstraintChecks=2132560 nbValidityChecks=4387504 nbPropagations=66505 nbRevisions=779650
6.49 nbUselessRevisions=615040 nbAssignments=1939 nbFailedAssignments=1116 nbBacktracks=751 nbVisitedNodes=3521
6.49 nbRestartNogoods=44 mapSize=617 nbInferences=0 nbTooLargeKeys=0
6.49 => wckTime=3.79 cpuTime=3.66 mem=64M792
8.02
8.02 search
8.02 run=9 nbConstraintChecks=3042290 nbValidityChecks=6259614 nbPropagations=102508 nbRevisions=1203136
8.02 nbUselessRevisions=947644 nbAssignments=2914 nbFailedAssignments=1699 nbBacktracks=1138 nbVisitedNodes=5300
8.02 nbRestartNogoods=53 mapSize=917 nbInferences=0 nbTooLargeKeys=0
8.02 => wckTime=5.319 cpuTime=5.16 mem=65M798
8.50
8.50 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=65M798)
10.72
10.72 search
10.72 run=10 nbConstraintChecks=4655616 nbValidityChecks=9682570 nbPropagations=157974 nbRevisions=1861328
10.72 nbUselessRevisions=1463002 nbAssignments=4300 nbFailedAssignments=2502 nbBacktracks=1714 nbVisitedNodes=7883
10.72 nbRestartNogoods=59
10.72 => wckTime=8.019 cpuTime=7.82 mem=65M798
14.82
14.82 search
14.82 run=11 nbConstraintChecks=7163640 nbValidityChecks=14955354 nbPropagations=243125 nbRevisions=2879822
14.82 nbUselessRevisions=2261494 nbAssignments=6722 nbFailedAssignments=4051 nbBacktracks=2579 nbVisitedNodes=12421
14.82 nbRestartNogoods=65
14.82 => wckTime=12.125 cpuTime=11.88 mem=65M798
19.64
19.64 search
19.64 run=12 nbConstraintChecks=10133911 nbValidityChecks=20970066 nbPropagations=364341 nbRevisions=4321594
19.64 nbUselessRevisions=3391090 nbAssignments=9541 nbFailedAssignments=5564 nbBacktracks=3876 nbVisitedNodes=17485
19.64 nbRestartNogoods=73
19.64 => wckTime=16.938 cpuTime=16.64 mem=65M798
29.24
29.24 search
29.24 run=13 nbConstraintChecks=15898802 nbValidityChecks=33026225 nbPropagations=547199 nbRevisions=6535241
29.24 nbUselessRevisions=5133332 nbAssignments=14056 nbFailedAssignments=8125 nbBacktracks=5822 nbVisitedNodes=25832
29.24 nbRestartNogoods=84
29.24 => wckTime=26.546 cpuTime=26.15 mem=65M798
42.38
42.38 search
42.38 run=14 nbConstraintChecks=23900836 nbValidityChecks=49693428 nbPropagations=826236 nbRevisions=9912117
42.38 nbUselessRevisions=7789748 nbAssignments=22286 nbFailedAssignments=13428 nbBacktracks=8741 nbVisitedNodes=41306
42.38 nbRestartNogoods=98
42.38 => wckTime=39.677 cpuTime=39.15 mem=65M798
62.73
62.73 search
62.73 run=15 nbConstraintChecks=36341686 nbValidityChecks=74405288 nbPropagations=1235805 nbRevisions=14866682
62.73 nbUselessRevisions=11704895 nbAssignments=32183 nbFailedAssignments=18940 nbBacktracks=13119
62.73 nbVisitedNodes=59325 nbRestartNogoods=111
62.73 => wckTime=60.03 cpuTime=59.3 mem=65M798
86.14
86.14 search
86.14 run=16 nbConstraintChecks=50805204 nbValidityChecks=103919485 nbPropagations=1819325 nbRevisions=21883279
86.14 nbUselessRevisions=17243564 nbAssignments=46635 nbFailedAssignments=26814 nbBacktracks=19689
86.14 nbVisitedNodes=85166 nbRestartNogoods=124
86.14 => wckTime=83.442 cpuTime=82.46 mem=65M798
136.65
136.65 search
136.65 run=17 nbConstraintChecks=81632198 nbValidityChecks=167363849 nbPropagations=2750714 nbRevisions=33134276
136.65 nbUselessRevisions=26113950 nbAssignments=72311 nbFailedAssignments=42632 nbBacktracks=29541
136.65 nbVisitedNodes=133131 nbRestartNogoods=138
136.65 => wckTime=133.956 cpuTime=132.52 mem=65M798
195.24
195.24 search
195.24 run=18 nbConstraintChecks=117837282 nbValidityChecks=241445469 nbPropagations=4130732 nbRevisions=49672056
195.24 nbUselessRevisions=39124019 nbAssignments=107142 nbFailedAssignments=62674 nbBacktracks=44319
195.24 nbVisitedNodes=196641 nbRestartNogoods=156
195.24 => wckTime=192.544 cpuTime=190.57 mem=65M798
299.28
299.28 search
299.28 run=19 nbConstraintChecks=182447125 nbValidityChecks=374193660 nbPropagations=6266420 nbRevisions=75217124
299.28 nbUselessRevisions=59203994 nbAssignments=170410 nbFailedAssignments=103768 nbBacktracks=66488
299.28 nbVisitedNodes=315411 nbRestartNogoods=182
299.28 => wckTime=296.586 cpuTime=293.66 mem=65M798
432.10
432.10 search
432.10 run=20 nbConstraintChecks=264529599 nbValidityChecks=542470138 nbPropagations=9414478 nbRevisions=112722732
432.10 nbUselessRevisions=88650141 nbAssignments=248311 nbFailedAssignments=148407 nbBacktracks=99742
432.10 nbVisitedNodes=457967 nbRestartNogoods=189
432.10 => wckTime=429.405 cpuTime=425.28 mem=65M798
708.68
708.68 search
708.68 run=21 nbConstraintChecks=439129509 nbValidityChecks=901118669 nbPropagations=14332616 nbRevisions=172988263
708.68 nbUselessRevisions=136223746 nbAssignments=382179 nbFailedAssignments=232391 nbBacktracks=149620
708.68 nbVisitedNodes=710233 nbRestartNogoods=206
708.68 => wckTime=705.981 cpuTime=700.15 mem=65M798
1164.06
1164.06 search
1164.06 run=22 nbConstraintChecks=740187753 nbValidityChecks=1498113281 nbPropagations=22030798 nbRevisions=267570596
1164.06 nbUselessRevisions=210986015 nbAssignments=581720 nbFailedAssignments=357106 nbBacktracks=224438
1164.06 nbVisitedNodes=1085743 nbRestartNogoods=226
1164.06 => wckTime=1161.361 cpuTime=1155.4 mem=65M798
1715.15
1715.15 search
1715.15 run=23 nbConstraintChecks=1107945683 nbValidityChecks=2252941779 nbPropagations=34045707 nbRevisions=414728447
1715.15 nbUselessRevisions=327101510 nbAssignments=917475 nbFailedAssignments=580628 nbBacktracks=336665
1715.15 nbVisitedNodes=1722838 nbRestartNogoods=257
1715.15 => wckTime=1712.451 cpuTime=1706.34 mem=65M798
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-206827-1168074080 -o ROOT/results/node48/solver-206827-1168074080 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206827-1168074080/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.92 1.98 1.83 4/86 30737
/proc/meminfo: memFree=1517984/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=47976 CPUtime=0
/proc/30736/stat : 30736 (java) D 30734 30736 30254 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 155806758 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30736/statm: 11994 972 769 14 0 1707 0
[startup+0.103708 s]
/proc/loadavg: 1.92 1.98 1.83 4/86 30737
/proc/meminfo: memFree=1517984/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=913228 CPUtime=0.08
/proc/30736/stat : 30736 (java) S 30734 30736 30254 0 -1 0 2905 0 1 0 7 1 0 0 18 0 8 0 155806758 935145472 2651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228307 2651 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.511742 s]
/proc/loadavg: 1.92 1.98 1.83 4/86 30737
/proc/meminfo: memFree=1517984/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915328 CPUtime=0.48
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 7327 0 1 0 44 4 0 0 18 0 8 0 155806758 937295872 7066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228832 7066 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33482 s]
/proc/loadavg: 1.92 1.98 1.83 3/93 30744
/proc/meminfo: memFree=1450792/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915328 CPUtime=1.3
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 19099 0 1 0 119 11 0 0 25 0 8 0 155806758 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228832 18837 2149 14 0 215302 0
[pid=30736/tid=30738] ppid=30734 vsize=915328 CPUtime=0.05
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 155806762 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915328 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915328 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915328 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915328 CPUtime=0.08
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155806766 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915328 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915328 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937295872 18837 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.98797 s]
/proc/loadavg: 1.92 1.98 1.83 4/93 30762
/proc/meminfo: memFree=1411040/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=2.92
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32302 0 1 0 273 19 0 0 25 0 8 0 155806758 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228860 32036 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.22
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 155806766 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915440
[startup+6.27928 s]
/proc/loadavg: 1.93 1.98 1.83 3/93 30768
/proc/meminfo: memFree=1399200/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=6.17
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32321 0 1 0 598 19 0 0 25 0 8 0 155806758 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228860 32052 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 17 0 8 0 155806762 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.26
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 155806766 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915440
[startup+12.7779 s]
/proc/loadavg: 1.93 1.98 1.83 3/93 30778
/proc/meminfo: memFree=1399328/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=12.59
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32330 0 1 0 1240 19 0 0 25 0 8 0 155806758 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228860 32059 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915440
[startup+25.6291 s]
/proc/loadavg: 2.02 2.00 1.83 3/93 30800
/proc/meminfo: memFree=1399456/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=25.31
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32330 0 1 0 2512 19 0 0 25 0 8 0 155806758 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228860 32059 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915440
[startup+51.2684 s]
/proc/loadavg: 2.01 2.00 1.84 3/93 30824
/proc/meminfo: memFree=1399520/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=50.69
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32330 0 1 0 5050 19 0 0 25 0 8 0 155806758 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228860 32059 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915440
[startup+102.533 s]
/proc/loadavg: 2.00 2.00 1.84 3/87 30858
/proc/meminfo: memFree=1400536/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=101.44
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32330 0 1 0 10125 19 0 0 25 0 8 0 155806758 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30736/statm: 228860 32059 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915440
[startup+162.537 s]
/proc/loadavg: 2.00 2.00 1.85 3/87 30858
/proc/meminfo: memFree=1400536/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=160.9
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32331 0 1 0 16071 19 0 0 25 0 8 0 155806758 937410560 32059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.12
Current children cumulated vsize (KiB) 915440
[startup+1483.12 s]
/proc/loadavg: 1.03 1.09 1.38 2/72 30932
/proc/meminfo: memFree=1533616/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1477.11
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 147688 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.11
Current children cumulated vsize (KiB) 915440
[startup+1543.13 s]
/proc/loadavg: 1.01 1.07 1.35 2/72 30932
/proc/meminfo: memFree=1533616/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1537.1
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 153687 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.1
Current children cumulated vsize (KiB) 915440
[startup+1603.14 s]
/proc/loadavg: 1.00 1.05 1.33 2/72 30932
/proc/meminfo: memFree=1533616/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1597.09
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 159686 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.09
Current children cumulated vsize (KiB) 915440
[startup+1663.15 s]
/proc/loadavg: 1.00 1.04 1.31 2/72 30932
/proc/meminfo: memFree=1533616/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1657.09
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 165686 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.09
Current children cumulated vsize (KiB) 915440
[startup+1723.16 s]
/proc/loadavg: 1.00 1.03 1.28 2/72 30932
/proc/meminfo: memFree=1533552/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1717.08
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 171685 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.08
Current children cumulated vsize (KiB) 915440
[startup+1783.17 s]
/proc/loadavg: 1.00 1.02 1.26 2/72 30932
/proc/meminfo: memFree=1533552/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1777.07
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 177684 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.07
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.17 s]
/proc/loadavg: 1.00 1.02 1.26 2/72 30932
/proc/meminfo: memFree=1533488/2055920 swapFree=4192812/4192956
[pid=30736] ppid=30734 vsize=915440 CPUtime=1800.07
/proc/30736/stat : 30736 (java) R 30734 30736 30254 0 -1 0 32332 0 1 0 179984 23 0 0 25 0 8 0 155806758 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30736/statm: 228860 32060 2521 14 0 215330 0
[pid=30736/tid=30738] ppid=30734 vsize=915440 CPUtime=0.44
/proc/30736/task/30738/stat : 30738 (java) S 30734 30736 30254 0 -1 64 15324 0 0 0 37 7 0 0 16 0 8 0 155806762 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30739] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30739/stat : 30739 (java) S 30734 30736 30254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30740] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30740/stat : 30740 (java) S 30734 30736 30254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806763 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30741] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30741/stat : 30741 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30742] ppid=30734 vsize=915440 CPUtime=0.28
/proc/30736/task/30742/stat : 30742 (java) S 30734 30736 30254 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30743] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30743/stat : 30743 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30736/tid=30744] ppid=30734 vsize=915440 CPUtime=0
/proc/30736/task/30744/stat : 30744 (java) S 30734 30736 30254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806766 937410560 32060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.24
CPU time (s): 1800.15
CPU user time (s): 1799.89
CPU system time (s): 0.26096
CPU usage (%): 99.663
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32348
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= 37721
involuntary context switches= 52518
runsolver used 2.23466 s user time and 4.79327 s system time
The end
Begin job on node48 on Sat Jan 6 09:01:21 UTC 2007
IDJOB= 206827
IDBENCH= 4238
FILE ID= node48/206827-1168074080
PBS_JOBID= 3475975
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-48_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206827-1168074080/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-206827-1168074080 -o ROOT/results/node48/solver-206827-1168074080 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206827-1168074080/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9534b39899ee9b0639caa17fe64db461
RANDOM SEED= 410950919
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.218
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.218
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: 1518400 kB
Buffers: 28916 kB
Cached: 293268 kB
SwapCached: 0 kB
Active: 193724 kB
Inactive: 269812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1518400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7564 kB
Writeback: 0 kB
Mapped: 162012 kB
Slab: 58692 kB
Committed_AS: 3893988 kB
PageTables: 2240 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= 66554 MiB
End job on node48 on Sat Jan 6 09:31:27 UTC 2007