0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/198924-1168071309/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.56 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=43
0.56 => wckTime=0.169 cpuTime=0.14 mem=8M837
0.56
0.56 predicates being loaded...
0.56
0.56 constraints being loaded...
1.34 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=227251 nbExtensionStructures=173
1.34 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.34 nbSharedBinaryRepresentations=11998 maxDegree=62 maxArity=2
1.34 => wckTime=0.947 cpuTime=0.77 mem=29M316
1.41
1.41 solver IterativeSystematicSolver being built...
1.61 => wckTime=1.222 cpuTime=0.94 mem=20M349
1.67
1.67 preprocessing
1.67 nbConstraintChecks=14196 nbPropagations=846 nbRevisions=332 nbUselessRevisions=0 nbRemovedValues=332
1.67 detectedInconsistency=no
1.67 => wckTime=0.052 cpuTime=0.04 mem=20M349
1.76
1.76 search
1.76 run=0 nbConstraintChecks=54052 nbPropagations=1420 nbRevisions=2888 nbUselessRevisions=1365 nbAssignments=46
1.76 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.76 nbTooLargeKeys=0
1.76 => wckTime=0.14 cpuTime=0.11 mem=20M349
1.79
1.79 search
1.79 run=1 nbConstraintChecks=131369 nbPropagations=3562 nbRevisions=9901 nbUselessRevisions=5033 nbAssignments=112
1.79 nbFailedAssignments=30 nbBacktracks=26 nbVisitedNodes=155 nbRestartNogoods=2 mapSize=13 nbInferences=0
1.79 nbTooLargeKeys=0
1.79 => wckTime=0.178 cpuTime=0.14 mem=20M349
1.83
1.83 search
1.83 run=2 nbConstraintChecks=204203 nbPropagations=6372 nbRevisions=21240 nbUselessRevisions=11082
1.83 nbAssignments=184 nbFailedAssignments=62 nbBacktracks=48 nbVisitedNodes=270 nbRestartNogoods=10 mapSize=24
1.83 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.211 cpuTime=0.17 mem=21M323
1.88
1.88 search
1.88 run=3 nbConstraintChecks=333664 nbPropagations=10205 nbRevisions=40631 nbUselessRevisions=21455
1.88 nbAssignments=300 nbFailedAssignments=126 nbBacktracks=82 nbVisitedNodes=466 nbRestartNogoods=17 mapSize=41
1.88 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.268 cpuTime=0.22 mem=21M323
1.95
1.95 search
1.95 run=4 nbConstraintChecks=525804 nbPropagations=15704 nbRevisions=72036 nbUselessRevisions=38715
1.95 nbAssignments=444 nbFailedAssignments=202 nbBacktracks=132 nbVisitedNodes=710 nbRestartNogoods=19 mapSize=66
1.95 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.332 cpuTime=0.28 mem=21M323
2.05
2.05 search
2.05 run=5 nbConstraintChecks=810916 nbPropagations=23492 nbRevisions=122754 nbUselessRevisions=66859
2.05 nbAssignments=684 nbFailedAssignments=356 nbBacktracks=208 nbVisitedNodes=1140 nbRestartNogoods=29 mapSize=104
2.05 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=0.43 cpuTime=0.38 mem=21M323
2.17
2.17 search
2.17 run=6 nbConstraintChecks=1161877 nbPropagations=34240 nbRevisions=197606 nbUselessRevisions=108914
2.17 nbAssignments=985 nbFailedAssignments=522 nbBacktracks=321 nbVisitedNodes=1673 nbRestartNogoods=32 mapSize=163
2.17 nbInferences=10 nbTooLargeKeys=0
2.17 => wckTime=0.557 cpuTime=0.5 mem=22M297
2.34
2.34 search
2.34 run=7 nbConstraintChecks=1596646 nbPropagations=48624 nbRevisions=301875 nbUselessRevisions=167953
2.34 nbAssignments=1407 nbFailedAssignments=752 nbBacktracks=493 nbVisitedNodes=2416 nbRestartNogoods=36
2.34 mapSize=249 nbInferences=20 nbTooLargeKeys=0
2.34 => wckTime=0.724 cpuTime=0.66 mem=22M297
2.64
2.64 search
2.64 run=8 nbConstraintChecks=2652836 nbPropagations=70702 nbRevisions=473356 nbUselessRevisions=263676
2.64 nbAssignments=2247 nbFailedAssignments=1319 nbBacktracks=749 nbVisitedNodes=3962 nbRestartNogoods=48
2.64 mapSize=380 nbInferences=29 nbTooLargeKeys=0
2.64 => wckTime=1.028 cpuTime=0.94 mem=23M271
2.95
2.95 search
2.95 run=9 nbConstraintChecks=3543352 nbPropagations=100719 nbRevisions=722384 nbUselessRevisions=406437
2.95 nbAssignments=3238 nbFailedAssignments=1913 nbBacktracks=1136 nbVisitedNodes=5717 nbRestartNogoods=62
2.95 mapSize=574 nbInferences=31 nbTooLargeKeys=0
2.95 => wckTime=1.337 cpuTime=1.25 mem=24M245
3.47
3.47 search
3.47 run=10 nbConstraintChecks=5230071 nbPropagations=145971 nbRevisions=1094819 nbUselessRevisions=622356
3.47 nbAssignments=4675 nbFailedAssignments=2689 nbBacktracks=1713 nbVisitedNodes=8282 nbRestartNogoods=73
3.47 mapSize=885 nbInferences=109 nbTooLargeKeys=0
3.47 => wckTime=1.858 cpuTime=1.75 mem=26M194
4.15
4.15 search
4.15 run=11 nbConstraintChecks=7073728 nbPropagations=208675 nbRevisions=1626616 nbUselessRevisions=933696
4.15 nbAssignments=6900 nbFailedAssignments=4035 nbBacktracks=2577 nbVisitedNodes=12246 nbRestartNogoods=76
4.15 mapSize=1326 nbInferences=114 nbTooLargeKeys=0
4.15 => wckTime=2.532 cpuTime=2.42 mem=28M142
5.19
5.19 search
5.19 run=12 nbConstraintChecks=10548564 nbPropagations=301480 nbRevisions=2420026 nbUselessRevisions=1400961
5.19 nbAssignments=9971 nbFailedAssignments=5700 nbBacktracks=3876 nbVisitedNodes=17695 nbRestartNogoods=100
5.19 mapSize=2044 nbInferences=213 nbTooLargeKeys=0
5.19 => wckTime=3.577 cpuTime=3.46 mem=32M39
6.70
6.70 search
6.70 run=13 nbConstraintChecks=14595583 nbPropagations=433959 nbRevisions=3565931 nbUselessRevisions=2083149
6.70 nbAssignments=14871 nbFailedAssignments=8563 nbBacktracks=5823 nbVisitedNodes=26404 nbRestartNogoods=112
6.70 mapSize=3023 nbInferences=295 nbTooLargeKeys=0
6.70 => wckTime=5.081 cpuTime=4.95 mem=37M884
9.62
9.62 search
9.62 run=14 nbConstraintChecks=25104774 nbPropagations=650708 nbRevisions=5495614 nbUselessRevisions=3237360
9.62 nbAssignments=23668 nbFailedAssignments=14157 nbBacktracks=8743 nbVisitedNodes=42447 nbRestartNogoods=127
9.62 mapSize=4623 nbInferences=567 nbTooLargeKeys=0
9.62 => wckTime=8.009 cpuTime=7.85 mem=45M678
13.15
13.15 search
13.15 run=15 nbConstraintChecks=35417847 nbPropagations=966829 nbRevisions=8269173 nbUselessRevisions=4905319
13.15 nbAssignments=34550 nbFailedAssignments=20409 nbBacktracks=13122 nbVisitedNodes=61742 nbRestartNogoods=144
13.15 mapSize=6869 nbInferences=808 nbTooLargeKeys=0
13.15 => wckTime=11.538 cpuTime=11.31 mem=27M245
18.72
18.72 search
18.72 run=16 nbConstraintChecks=52807759 nbPropagations=1454042 nbRevisions=12421835 nbUselessRevisions=7419593
18.72 nbAssignments=51694 nbFailedAssignments=29959 nbBacktracks=19691 nbVisitedNodes=92404 nbRestartNogoods=162
18.72 mapSize=10373 nbInferences=1824 nbTooLargeKeys=0
18.72 => wckTime=17.105 cpuTime=16.82 mem=47M1
27.36
27.36 search
27.36 run=17 nbConstraintChecks=80017727 nbPropagations=2191910 nbRevisions=18695253 nbUselessRevisions=11220773
27.36 nbAssignments=78315 nbFailedAssignments=45468 nbBacktracks=29544 nbVisitedNodes=139967 nbRestartNogoods=191
27.36 mapSize=15537 nbInferences=3075 nbTooLargeKeys=0
27.36 => wckTime=25.746 cpuTime=25.32 mem=50M737
41.19
41.19 search
41.19 run=18 nbConstraintChecks=128742915 nbPropagations=3363566 nbRevisions=28595492 nbUselessRevisions=17255488
41.19 nbAssignments=118399 nbFailedAssignments=68389 nbBacktracks=44322 nbVisitedNodes=212028 nbRestartNogoods=228
41.19 mapSize=23709 nbInferences=5450 nbTooLargeKeys=0
41.19 => wckTime=39.573 cpuTime=38.95 mem=70M974
60.57
60.57 search
60.57 run=19 nbConstraintChecks=191942380 nbPropagations=5073485 nbRevisions=43395604 nbUselessRevisions=26247061
60.57 nbAssignments=179131 nbFailedAssignments=105442 nbBacktracks=66490 nbVisitedNodes=320957 nbRestartNogoods=249
60.57 mapSize=34929 nbInferences=6955 nbTooLargeKeys=0
60.57 => wckTime=58.952 cpuTime=58.09 mem=108M546
89.15
89.15 search
89.15 run=20 nbConstraintChecks=294796141 nbPropagations=7705518 nbRevisions=66033904 nbUselessRevisions=40133072
89.15 nbAssignments=266258 nbFailedAssignments=155545 nbBacktracks=99743 nbVisitedNodes=477047 nbRestartNogoods=269
89.15 mapSize=52647 nbInferences=10717 nbTooLargeKeys=0
89.15 => wckTime=87.533 cpuTime=86.4 mem=156M656
127.84
127.84 search
127.84 run=21 nbConstraintChecks=430485497 nbPropagations=11572050 nbRevisions=99654883 nbUselessRevisions=60780143
127.84 nbAssignments=397559 nbFailedAssignments=232232 nbBacktracks=149621 nbVisitedNodes=711237 nbRestartNogoods=292
127.84 mapSize=77856 nbInferences=15447 nbTooLargeKeys=0
127.84 => wckTime=126.227 cpuTime=124.88 mem=223M979
188.45
188.45 search
188.45 run=22 nbConstraintChecks=667025926 nbPropagations=17480003 nbRevisions=150563967 nbUselessRevisions=92430431
188.45 nbAssignments=591700 nbFailedAssignments=339181 nbBacktracks=224440 nbVisitedNodes=1057586 nbRestartNogoods=302
188.45 mapSize=116769 nbInferences=27810 nbTooLargeKeys=0
188.45 => wckTime=186.838 cpuTime=185.13 mem=322M691
273.35
273.35 search
273.35 run=23 nbConstraintChecks=967127558 nbPropagations=26239381 nbRevisions=225907757 nbUselessRevisions=139730433
273.35 nbAssignments=869463 nbFailedAssignments=489870 nbBacktracks=336667 nbVisitedNodes=1548848 nbRestartNogoods=362
273.35 mapSize=174056 nbInferences=42650 nbTooLargeKeys=0
273.35 => wckTime=271.732 cpuTime=269.58 mem=472M369
334.10
334.10 INFO : Stopping hyperNogood (mapSize=213038, nbTooLargekeys=0, mem=600M477)
389.23
389.23 search
389.23 run=24 nbConstraintChecks=1421565297 nbPropagations=39059582 nbRevisions=336439343 nbUselessRevisions=208843295
389.23 nbAssignments=1297600 nbFailedAssignments=739647 nbBacktracks=505008 nbVisitedNodes=2310457
389.23 nbRestartNogoods=393
389.23 => wckTime=387.611 cpuTime=385.08 mem=600M477
548.71
548.71 search
548.71 run=25 nbConstraintChecks=2110775118 nbPropagations=57955011 nbRevisions=499997614 nbUselessRevisions=310643722
548.71 nbAssignments=1944357 nbFailedAssignments=1133883 nbBacktracks=757519 nbVisitedNodes=3463689
548.71 nbRestartNogoods=435
548.71 => wckTime=547.096 cpuTime=544.39 mem=600M477
776.96
776.96 search
776.96 run=26 nbConstraintChecks=3039022681 nbPropagations=85211451 nbRevisions=739425300 nbUselessRevisions=459765535
776.96 nbAssignments=2901184 nbFailedAssignments=1711936 nbBacktracks=1136287 nbVisitedNodes=5161932
776.96 nbRestartNogoods=490
776.96 => wckTime=775.347 cpuTime=772.41 mem=600M477
1116.88
1116.88 search
1116.88 run=27 nbConstraintChecks=4465910864 nbPropagations=125536746 nbRevisions=1095063007
1116.88 nbUselessRevisions=682684057 nbAssignments=4284524 nbFailedAssignments=2527119 nbBacktracks=1704438
1116.88 nbVisitedNodes=7611492 nbRestartNogoods=544
1116.88 => wckTime=1115.267 cpuTime=1112.01 mem=600M477
1627.16
1627.16 search
1627.16 run=28 nbConstraintChecks=6504454452 nbPropagations=184672280 nbRevisions=1622724639
1627.16 nbUselessRevisions=1013743655 nbAssignments=6419549 nbFailedAssignments=3809910 nbBacktracks=2556664
1627.16 nbVisitedNodes=11401318 nbRestartNogoods=593
1627.16 => wckTime=1625.547 cpuTime=1621.39 mem=600M477
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-198924-1168071309 -o ROOT/results/node4/solver-198924-1168071309 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198924-1168071309/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.92 4/93 10861
/proc/meminfo: memFree=1111936/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=18540 CPUtime=0
/proc/10860/stat : 10860 (runsolver) R 10858 10860 10681 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155526871 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10860/statm: 4635 279 244 17 0 2626 0
[startup+0.10789 s]
/proc/loadavg: 1.92 1.98 1.92 4/93 10861
/proc/meminfo: memFree=1111936/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=906128 CPUtime=0.02
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 1953 0 1 0 1 1 0 0 17 0 1 0 155526871 927875072 1702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155171073 0 4 0 7368 0 0 0 17 1 0 0
/proc/10860/statm: 226532 1702 984 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128
[startup+0.515926 s]
/proc/loadavg: 1.92 1.98 1.92 4/93 10861
/proc/meminfo: memFree=1111936/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915328 CPUtime=0.42
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 6119 0 1 0 38 4 0 0 18 0 8 0 155526871 937295872 5858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228832 5858 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.339 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1077512/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915628 CPUtime=1.23
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 11867 0 1 0 98 25 0 0 24 0 8 0 155526871 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228907 11605 2177 14 0 215377 0
[pid=10860/tid=10862] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 155526882 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155526883 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155526883 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915628 CPUtime=0.19
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 433 0 0 0 19 0 0 0 16 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915628
[startup+2.99216 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1069640/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=2.87
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 13257 0 1 0 259 28 0 0 25 0 8 0 155526871 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 12993 2530 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.06
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 897 0 0 0 6 0 0 0 17 0 8 0 155526882 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.3
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 492 0 0 0 29 1 0 0 15 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915720
[startup+6.27247 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1069192/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=6.12
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 13892 0 1 0 584 28 0 0 25 0 8 0 155526871 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 13627 2530 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.06
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 897 0 0 0 6 0 0 0 16 0 8 0 155526882 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 496 0 0 0 30 1 0 0 15 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915720
[startup+12.7651 s]
/proc/loadavg: 1.93 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1034120/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=12.55
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 22123 0 1 0 1223 32 0 0 25 0 8 0 155526871 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 21856 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.1
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 5008 0 0 0 8 2 0 0 16 0 8 0 155526882 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915720
[startup+25.6123 s]
/proc/loadavg: 1.94 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1006216/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=25.28
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 29101 0 1 0 2493 35 0 0 25 0 8 0 155526871 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 28833 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.16
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 11985 0 0 0 11 5 0 0 16 0 8 0 155526882 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915720
[startup+51.2288 s]
/proc/loadavg: 1.96 1.98 1.92 3/100 10868
/proc/meminfo: memFree=983624/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=50.66
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 34765 0 1 0 5028 38 0 0 25 0 8 0 155526871 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 34496 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.22
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 17648 0 0 0 15 7 0 0 16 0 8 0 155526882 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915720
[startup+102.45 s]
/proc/loadavg: 1.92 1.96 1.91 3/100 10924
/proc/meminfo: memFree=955272/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=101.61
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 57524 0 1 0 10114 47 0 0 25 0 8 0 155526871 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 57250 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.46
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 40402 0 0 0 30 16 0 0 16 0 8 0 155526882 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) R 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915720
[startup+162.502 s]
/proc/loadavg: 2.01 1.98 1.92 5/100 10926
/proc/meminfo: memFree=846096/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=161.61
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 84731 0 1 0 16104 57 0 0 25 0 8 0 155526871 937697280 84452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.95
Current children cumulated vsize (KiB) 915720
[startup+1483.14 s]
/proc/loadavg: 2.03 2.03 1.97 3/100 10982
/proc/meminfo: memFree=538192/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1480.92
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 148005 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.92
Current children cumulated vsize (KiB) 915720
[startup+1543.15 s]
/proc/loadavg: 2.01 2.02 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1540.82
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 153995 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.82
Current children cumulated vsize (KiB) 915720
[startup+1603.16 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1600.53
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 159966 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (KiB) 915720
[startup+1663.17 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1660.24
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 165937 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.24
Current children cumulated vsize (KiB) 915720
[startup+1723.18 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1719.92
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 171904 88 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.92
Current children cumulated vsize (KiB) 915720
[startup+1783.18 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1779.62
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 177874 88 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.62
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.65 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1800.01
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 179912 89 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.77
CPU time (s): 1800.13
CPU user time (s): 1799.15
CPU system time (s): 0.979851
CPU usage (%): 99.7981
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.979851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154882
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= 38048
involuntary context switches= 45947
runsolver used 2.68259 s user time and 5.30319 s system time
The end
Begin job on node4 on Sat Jan 6 08:15:10 UTC 2007
IDJOB= 198924
IDBENCH= 3582
FILE ID= node4/198924-1168071309
PBS_JOBID= 3475728
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198924-1168071309/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-198924-1168071309 -o ROOT/results/node4/solver-198924-1168071309 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198924-1168071309/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a9ee5762bd9cc960c2c3327ea9b7951e
RANDOM SEED= 978503240
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1112416 kB
Buffers: 73516 kB
Cached: 640964 kB
SwapCached: 268 kB
Active: 499232 kB
Inactive: 348368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1112416 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2304 kB
Writeback: 0 kB
Mapped: 161404 kB
Slab: 80396 kB
Committed_AS: 4503080 kB
PageTables: 2608 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= 66305 MiB
End job on node4 on Sat Jan 6 08:45:17 UTC 2007