0.69
0.69 Abscon 109 (November, 2006)
0.69
0.69 configuration
0.69 name=mac.xml
0.73
0.73 instance
0.73 name=/tmp/evaluation/196131-1168070443/unknown.xml
0.76
0.76 domains being loaded...
0.77
0.77 variables being loaded...
0.80 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.80 => wckTime=0.112 cpuTime=0.08 mem=6M951
0.80
0.80 relations being loaded...
1.46
1.47 constraints being loaded...
1.74 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.74 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.74 => wckTime=1.055 cpuTime=0.9 mem=50M819
1.87
1.87 solver IterativeSystematicSolver being built...
2.04 => wckTime=1.348 cpuTime=1.04 mem=34M592
2.04
2.04 preprocessing
2.04 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.04 detectedInconsistency=no
2.04 => wckTime=0.0030 cpuTime=0.0 mem=34M592
2.16
2.16 search
2.16 run=0 nbConstraintChecks=28122 nbValidityChecks=50096 nbPropagations=356 nbRevisions=3955
2.16 nbUselessRevisions=3206 nbAssignments=29 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=49
2.16 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.16 => wckTime=0.116 cpuTime=0.07 mem=35M583
2.25
2.25 search
2.25 run=1 nbConstraintChecks=82953 nbValidityChecks=153422 nbPropagations=1261 nbRevisions=14802
2.25 nbUselessRevisions=11997 nbAssignments=79 nbFailedAssignments=41 nbBacktracks=25 nbVisitedNodes=137
2.25 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=0.21 cpuTime=0.16 mem=35M583
2.35
2.35 search
2.35 run=2 nbConstraintChecks=135502 nbValidityChecks=255632 nbPropagations=2724 nbRevisions=32643
2.35 nbUselessRevisions=26426 nbAssignments=137 nbFailedAssignments=69 nbBacktracks=48 nbVisitedNodes=235
2.35 nbRestartNogoods=5 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=0.312 cpuTime=0.25 mem=35M583
2.54
2.54 search
2.54 run=3 nbConstraintChecks=260972 nbValidityChecks=516339 nbPropagations=5471 nbRevisions=67104
2.54 nbUselessRevisions=54183 nbAssignments=256 nbFailedAssignments=149 nbBacktracks=82 nbVisitedNodes=462
2.55 nbRestartNogoods=8 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.55 => wckTime=0.505 cpuTime=0.44 mem=35M583
2.70
2.70 search
2.70 run=4 nbConstraintChecks=363172 nbValidityChecks=715762 nbPropagations=9492 nbRevisions=117244
2.70 nbUselessRevisions=94356 nbAssignments=369 nbFailedAssignments=204 nbBacktracks=135 nbVisitedNodes=664
2.70 nbRestartNogoods=11 mapSize=121 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=0.659 cpuTime=0.59 mem=35M583
2.97
2.97 search
2.97 run=5 nbConstraintChecks=546529 nbValidityChecks=1072324 nbPropagations=15568 nbRevisions=192132
2.97 nbUselessRevisions=154459 nbAssignments=535 nbFailedAssignments=286 nbBacktracks=210 nbVisitedNodes=961
2.97 nbRestartNogoods=13 mapSize=187 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=0.934 cpuTime=0.86 mem=35M583
3.39
3.39 search
3.39 run=6 nbConstraintChecks=836467 nbValidityChecks=1646484 nbPropagations=24830 nbRevisions=310451
3.39 nbUselessRevisions=249641 nbAssignments=832 nbFailedAssignments=463 nbBacktracks=323 nbVisitedNodes=1519
3.39 nbRestartNogoods=21 mapSize=290 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=1.354 cpuTime=1.28 mem=35M583
3.89
3.89 search
3.89 run=7 nbConstraintChecks=1172672 nbValidityChecks=2316053 nbPropagations=38208 nbRevisions=479717
3.89 nbUselessRevisions=385355 nbAssignments=1224 nbFailedAssignments=678 nbBacktracks=494 nbVisitedNodes=2220
3.89 nbRestartNogoods=35 mapSize=438 nbInferences=0 nbTooLargeKeys=0
3.89 => wckTime=1.85 cpuTime=1.76 mem=35M583
4.85
4.85 search
4.85 run=8 nbConstraintChecks=1813741 nbValidityChecks=3617228 nbPropagations=58886 nbRevisions=737538
4.85 nbUselessRevisions=591462 nbAssignments=1866 nbFailedAssignments=1056 nbBacktracks=752 nbVisitedNodes=3420
4.85 nbRestartNogoods=41 mapSize=669 nbInferences=0 nbTooLargeKeys=0
4.85 => wckTime=2.812 cpuTime=2.7 mem=35M583
5.93
5.93 search
5.93 run=9 nbConstraintChecks=2578487 nbValidityChecks=5128628 nbPropagations=88973 nbRevisions=1111737
5.93 nbUselessRevisions=890127 nbAssignments=2702 nbFailedAssignments=1500 nbBacktracks=1136 nbVisitedNodes=4932
5.93 nbRestartNogoods=46 mapSize=1015 nbInferences=0 nbTooLargeKeys=0
5.93 => wckTime=3.892 cpuTime=3.76 mem=35M583
6.00
6.00 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=35M583)
8.71
8.71 search
8.71 run=10 nbConstraintChecks=4540073 nbValidityChecks=9129916 nbPropagations=138233 nbRevisions=1737701
8.71 nbUselessRevisions=1390077 nbAssignments=4470 nbFailedAssignments=2685 nbBacktracks=1712 nbVisitedNodes=8317
8.71 nbRestartNogoods=54
8.71 => wckTime=6.666 cpuTime=6.52 mem=35M583
11.02
11.02 search
11.02 run=11 nbConstraintChecks=6215605 nbValidityChecks=12544884 nbPropagations=210315 nbRevisions=2647693
11.02 nbUselessRevisions=2115659 nbAssignments=6625 nbFailedAssignments=3971 nbBacktracks=2576 nbVisitedNodes=12278
11.02 nbRestartNogoods=66
11.02 => wckTime=8.98 cpuTime=8.82 mem=35M583
15.74
15.74 search
15.74 run=12 nbConstraintChecks=9594366 nbValidityChecks=19413893 nbPropagations=321929 nbRevisions=4050209
15.74 nbUselessRevisions=3234647 nbAssignments=9942 nbFailedAssignments=5983 nbBacktracks=3873 nbVisitedNodes=18520
15.74 nbRestartNogoods=75
15.74 => wckTime=13.697 cpuTime=13.51 mem=35M583
21.66
21.66 search
21.66 run=13 nbConstraintChecks=13939435 nbValidityChecks=27914403 nbPropagations=484352 nbRevisions=6085976
21.66 nbUselessRevisions=4856917 nbAssignments=14642 nbFailedAssignments=8729 nbBacktracks=5819 nbVisitedNodes=27208
21.66 nbRestartNogoods=82
21.66 => wckTime=19.619 cpuTime=19.34 mem=35M583
31.18
31.18 search
31.18 run=14 nbConstraintChecks=20792130 nbValidityChecks=41667480 nbPropagations=723921 nbRevisions=9127108
31.18 nbUselessRevisions=7289462 nbAssignments=21343 nbFailedAssignments=12505 nbBacktracks=8739 nbVisitedNodes=39637
31.18 nbRestartNogoods=100
31.18 => wckTime=29.138 cpuTime=28.81 mem=35M583
43.56
43.56 search
43.56 run=15 nbConstraintChecks=29761064 nbValidityChecks=59720586 nbPropagations=1079505 nbRevisions=13589941
43.56 nbUselessRevisions=10851367 nbAssignments=31397 nbFailedAssignments=18172 nbBacktracks=13118
43.56 nbVisitedNodes=58229 nbRestartNogoods=104
43.56 => wckTime=41.519 cpuTime=41.1 mem=35M583
68.63
68.63 search
68.63 run=16 nbConstraintChecks=47310004 nbValidityChecks=94915114 nbPropagations=1635254 nbRevisions=20378148
68.63 nbUselessRevisions=16226268 nbAssignments=48618 nbFailedAssignments=28820 nbBacktracks=19686
68.63 nbVisitedNodes=90565 nbRestartNogoods=111
68.63 => wckTime=66.592 cpuTime=66.02 mem=35M583
100.43
100.43 search
100.43 run=17 nbConstraintChecks=70939453 nbValidityChecks=140508156 nbPropagations=2460275 nbRevisions=30493533
100.43 nbUselessRevisions=24242594 nbAssignments=72353 nbFailedAssignments=42695 nbBacktracks=29540
100.43 nbVisitedNodes=134482 nbRestartNogoods=128
100.43 => wckTime=98.39 cpuTime=97.64 mem=35M583
155.48
155.48 search
155.48 run=18 nbConstraintChecks=109893744 nbValidityChecks=220520837 nbPropagations=3719659 nbRevisions=46162547
155.48 nbUselessRevisions=36694960 nbAssignments=109986 nbFailedAssignments=65544 nbBacktracks=44318
155.48 nbVisitedNodes=205188 nbRestartNogoods=140
155.48 => wckTime=153.437 cpuTime=152.39 mem=35M583
229.65
229.65 search
229.65 run=19 nbConstraintChecks=163125216 nbValidityChecks=327813725 nbPropagations=5570406 nbRevisions=68979307
229.65 nbUselessRevisions=54826841 nbAssignments=162695 nbFailedAssignments=96078 nbBacktracks=66486
229.65 nbVisitedNodes=302153 nbRestartNogoods=160
229.65 => wckTime=227.615 cpuTime=226.22 mem=35M583
337.27
337.27 search
337.27 run=20 nbConstraintChecks=241388838 nbValidityChecks=484691829 nbPropagations=8347751 nbRevisions=103173200
337.27 nbUselessRevisions=81979481 nbAssignments=244682 nbFailedAssignments=144808 nbBacktracks=99738
337.27 nbVisitedNodes=454127 nbRestartNogoods=183
337.27 => wckTime=335.228 cpuTime=333.33 mem=35M583
513.08
513.08 search
513.08 run=21 nbConstraintChecks=366436916 nbValidityChecks=741876727 nbPropagations=12559047 nbRevisions=155190662
513.08 nbUselessRevisions=123309438 nbAssignments=368580 nbFailedAssignments=218821 nbBacktracks=149617
513.08 nbVisitedNodes=685419 nbRestartNogoods=206
513.08 => wckTime=511.041 cpuTime=508.32 mem=35M583
754.65
754.65 search
754.65 run=22 nbConstraintChecks=539926979 nbValidityChecks=1090245874 nbPropagations=18790484 nbRevisions=231671394
754.65 nbUselessRevisions=183951533 nbAssignments=546779 nbFailedAssignments=322193 nbBacktracks=224437
754.65 nbVisitedNodes=1014798 nbRestartNogoods=227
754.65 => wckTime=752.615 cpuTime=748.76 mem=35M583
1164.31
1164.31 search
1164.31 run=23 nbConstraintChecks=830992195 nbValidityChecks=1689635086 nbPropagations=28303630 nbRevisions=349617655
1164.31 nbUselessRevisions=277627311 nbAssignments=828388 nbFailedAssignments=491566 nbBacktracks=336669
1164.31 nbVisitedNodes=1542607 nbRestartNogoods=242
1164.31 => wckTime=1162.271 cpuTime=1156.49 mem=35M583
1666.75
1666.75 search
1666.75 run=24 nbConstraintChecks=1192971452 nbValidityChecks=2409333070 nbPropagations=41932822 nbRevisions=517332699
1666.75 nbUselessRevisions=410820393 nbAssignments=1183099 nbFailedAssignments=677930 nbBacktracks=505011
1666.75 nbVisitedNodes=2182761 nbRestartNogoods=259
1666.75 => wckTime=1664.709 cpuTime=1656.56 mem=35M583
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-196131-1168070443 -o ROOT/results/node56/solver-196131-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196131-1168070443/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.91 0.95 0.98 3/69 3838
/proc/meminfo: memFree=1717968/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=1784 CPUtime=0
/proc/3837/stat : 3837 (java) D 3835 3837 3732 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 155442490 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3837/statm: 446 136 102 14 0 91 0
[startup+0.105807 s]
/proc/loadavg: 0.91 0.95 0.98 3/69 3838
/proc/meminfo: memFree=1717968/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=9788 CPUtime=0
/proc/3837/stat : 3837 (java) D 3835 3837 3732 0 -1 0 507 0 6 0 0 0 0 0 18 0 1 0 155442490 10022912 300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153981936 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/3837/statm: 2447 300 225 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9788
[startup+0.513835 s]
/proc/loadavg: 0.91 0.95 0.98 3/69 3838
/proc/meminfo: memFree=1717968/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915120 CPUtime=0.2
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 3575 0 98 0 14 6 0 0 17 0 8 0 155442490 937082880 3418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3837/statm: 228780 3418 1705 14 0 215275 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 915120
[startup+1.33692 s]
/proc/loadavg: 1.00 0.97 0.98 3/87 3883
/proc/meminfo: memFree=1611200/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915328 CPUtime=0.97
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 15675 0 105 0 83 14 0 0 17 0 8 0 155442490 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073580028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228832 15517 2138 14 0 215302 0
[pid=3837/tid=3865] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 155442513 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155442514 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155442514 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915328 CPUtime=0.07
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915328 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937295872 15517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 915328
[startup+2.99009 s]
/proc/loadavg: 1.00 0.97 0.98 4/87 3883
/proc/meminfo: memFree=1523264/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=2.62
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23447 0 105 0 243 19 0 0 25 0 8 0 155442490 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23286 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.22
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 372 0 0 0 21 1 0 0 15 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 915420
[startup+6.2694 s]
/proc/loadavg: 1.16 1.00 0.99 3/87 3883
/proc/meminfo: memFree=1522816/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=5.88
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23465 0 105 0 569 19 0 0 25 0 8 0 155442490 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23301 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 17 0 8 0 155442513 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.25
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 389 0 0 0 24 1 0 0 15 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 915420
[startup+12.766 s]
/proc/loadavg: 1.23 1.02 1.00 3/87 3883
/proc/meminfo: memFree=1523152/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=12.34
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23469 0 105 0 1215 19 0 0 25 0 8 0 155442490 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23304 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 915420
[startup+25.6203 s]
/proc/loadavg: 1.35 1.05 1.01 3/93 3949
/proc/meminfo: memFree=1521976/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=25.07
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23469 0 105 0 2488 19 0 0 25 0 8 0 155442490 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23304 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 915420
[startup+51.2598 s]
/proc/loadavg: 1.65 1.16 1.04 3/93 4001
/proc/meminfo: memFree=1521992/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=50.54
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 5034 20 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 915420
[startup+102.532 s]
/proc/loadavg: 1.85 1.28 1.09 3/93 4055
/proc/meminfo: memFree=1522000/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=101.51
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 10131 20 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915420
[startup+162.534 s]
/proc/loadavg: 1.94 1.41 1.15 3/87 4081
/proc/meminfo: memFree=1523024/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=161.2
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 16100 20 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.91
Current children cumulated vsize (KiB) 915420
[startup+1484.26 s]
/proc/loadavg: 2.00 2.00 1.77 3/87 4083
/proc/meminfo: memFree=1522768/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1476.73
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 147649 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.73
Current children cumulated vsize (KiB) 915420
[startup+1544.36 s]
/proc/loadavg: 2.00 2.00 1.78 3/87 4083
/proc/meminfo: memFree=1522768/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1536.55
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 153631 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.55
Current children cumulated vsize (KiB) 915420
[startup+1604.36 s]
/proc/loadavg: 2.00 2.00 1.79 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1596.27
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 159603 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.27
Current children cumulated vsize (KiB) 915420
[startup+1664.46 s]
/proc/loadavg: 2.00 2.00 1.80 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1656.08
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 165584 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.08
Current children cumulated vsize (KiB) 915420
[startup+1724.56 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 4083
/proc/meminfo: memFree=1522704/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1715.9
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 171566 24 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.9
Current children cumulated vsize (KiB) 915420
[startup+1784.66 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 4083
/proc/meminfo: memFree=1522640/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1775.73
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 177548 25 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.73
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.06 s]
/proc/loadavg: 2.00 2.00 1.83 2/75 4085
/proc/meminfo: memFree=1606448/2055920 swapFree=4184772/4192956
[pid=3837] ppid=3835 vsize=915420 CPUtime=1800.01
/proc/3837/stat : 3837 (java) R 3835 3837 3732 0 -1 0 23472 0 105 0 179976 25 0 0 25 0 8 0 155442490 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3837/statm: 228855 23306 2521 14 0 215325 0
[pid=3837/tid=3865] ppid=3835 vsize=915420 CPUtime=0.16
/proc/3837/task/3865/stat : 3865 (java) S 3835 3837 3732 0 -1 64 6586 0 0 0 14 2 0 0 16 0 8 0 155442513 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3866] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3866/stat : 3866 (java) S 3835 3837 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3867] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3867/stat : 3867 (java) S 3835 3837 3732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442514 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3873] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3873/stat : 3873 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3874] ppid=3835 vsize=915420 CPUtime=0.26
/proc/3837/task/3874/stat : 3874 (java) S 3835 3837 3732 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3875] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3875/stat : 3875 (java) S 3835 3837 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3837/tid=3876] ppid=3835 vsize=915420 CPUtime=0
/proc/3837/task/3876/stat : 3876 (java) S 3835 3837 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442521 937390080 23306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.09
CPU time (s): 1800.05
CPU user time (s): 1799.78
CPU system time (s): 0.266959
CPU usage (%): 99.5
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23488
page faults= 105
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37884
involuntary context switches= 57237
runsolver used 2.35964 s user time and 5.65914 s system time
The end
Begin job on node56 on Sat Jan 6 08:00:43 UTC 2007
IDJOB= 196131
IDBENCH= 3328
FILE ID= node56/196131-1168070443
PBS_JOBID= 3475940
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-48_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196131-1168070443/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-196131-1168070443 -o ROOT/results/node56/solver-196131-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196131-1168070443/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 89efa41fbbac9f9b4ee5610173a37395
RANDOM SEED= 664390956
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.232
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.232
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: 1719088 kB
Buffers: 26324 kB
Cached: 229472 kB
SwapCached: 2060 kB
Active: 38256 kB
Inactive: 231684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719088 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 5140 kB
Writeback: 0 kB
Mapped: 21116 kB
Slab: 52552 kB
Committed_AS: 2627052 kB
PageTables: 1732 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= 66514 MiB
End job on node56 on Sat Jan 6 08:30:53 UTC 2007