0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.45
0.45 instance
0.45 name=/tmp/evaluation/195061-1168069654/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.52 => wckTime=0.196 cpuTime=0.09 mem=6M951
0.53
0.53 relations being loaded...
0.69
0.69 constraints being loaded...
0.85 nbConstraints=484 nbRelationTypes=484 nbExtensionStructures=484 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=484 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2660 maxDegree=28
0.85 maxArity=2
0.85 => wckTime=0.518 cpuTime=0.32 mem=17M711
0.89
0.89 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.731 cpuTime=0.46 mem=15M400
1.07
1.07 preprocessing
1.07 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.07 detectedInconsistency=no
1.07 => wckTime=0.0090 cpuTime=0.01 mem=15M400
1.13
1.13 search
1.13 run=0 nbConstraintChecks=37556 nbPropagations=518 nbRevisions=5412 nbUselessRevisions=4549 nbAssignments=28
1.13 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.13 nbTooLargeKeys=0
1.13 => wckTime=0.061 cpuTime=0.03 mem=15M400
1.16
1.16 search
1.16 run=1 nbConstraintChecks=93912 nbPropagations=1704 nbRevisions=19416 nbUselessRevisions=16352 nbAssignments=67
1.16 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=92 nbRestartNogoods=3 mapSize=17 nbInferences=0
1.16 nbTooLargeKeys=0
1.16 => wckTime=0.096 cpuTime=0.05 mem=15M400
1.18
1.18 search
1.18 run=2 nbConstraintChecks=163725 nbPropagations=3792 nbRevisions=45921 nbUselessRevisions=38624
1.18 nbAssignments=112 nbFailedAssignments=25 nbBacktracks=49 nbVisitedNodes=162 nbRestartNogoods=6 mapSize=37
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.119 cpuTime=0.07 mem=15M400
1.20
1.20 search
1.20 run=3 nbConstraintChecks=259148 nbPropagations=7105 nbRevisions=89187 nbUselessRevisions=74907
1.20 nbAssignments=177 nbFailedAssignments=45 nbBacktracks=83 nbVisitedNodes=261 nbRestartNogoods=7 mapSize=62
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.14 cpuTime=0.09 mem=15M400
1.23
1.23 search
1.23 run=4 nbConstraintChecks=386346 nbPropagations=12121 nbRevisions=157532 nbUselessRevisions=132329
1.23 nbAssignments=267 nbFailedAssignments=73 nbBacktracks=134 nbVisitedNodes=411 nbRestartNogoods=9 mapSize=106
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.17 cpuTime=0.11 mem=15M400
1.28
1.28 search
1.28 run=5 nbConstraintChecks=578332 nbPropagations=19482 nbRevisions=261912 nbUselessRevisions=219960
1.28 nbAssignments=394 nbFailedAssignments=117 nbBacktracks=209 nbVisitedNodes=625 nbRestartNogoods=12 mapSize=171
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.213 cpuTime=0.15 mem=15M400
1.33
1.33 search
1.33 run=6 nbConstraintChecks=861568 nbPropagations=30515 nbRevisions=421828 nbUselessRevisions=353799
1.33 nbAssignments=588 nbFailedAssignments=184 nbBacktracks=323 nbVisitedNodes=949 nbRestartNogoods=13 mapSize=268
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.27 cpuTime=0.21 mem=15M400
1.42
1.42 search
1.42 run=7 nbConstraintChecks=1324246 nbPropagations=47355 nbRevisions=673568 nbUselessRevisions=563879
1.42 nbAssignments=891 nbFailedAssignments=305 nbBacktracks=493 nbVisitedNodes=1464 nbRestartNogoods=18 mapSize=420
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.359 cpuTime=0.3 mem=15M400
1.56
1.56 search
1.56 run=8 nbConstraintChecks=1995146 nbPropagations=72808 nbRevisions=1064402 nbUselessRevisions=889853
1.56 nbAssignments=1350 nbFailedAssignments=494 nbBacktracks=751 nbVisitedNodes=2264 nbRestartNogoods=23
1.56 mapSize=651 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.495 cpuTime=0.43 mem=15M400
1.75
1.75 search
1.75 run=9 nbConstraintChecks=2935854 nbPropagations=110735 nbRevisions=1650631 nbUselessRevisions=1378171
1.75 nbAssignments=2001 nbFailedAssignments=745 nbBacktracks=1137 nbVisitedNodes=3381 nbRestartNogoods=27
1.75 mapSize=969 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.69 cpuTime=0.61 mem=15M400
1.79
1.79 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M400)
2.02
2.02 search
2.02 run=10 nbConstraintChecks=4472980 nbPropagations=166448 nbRevisions=2524379 nbUselessRevisions=2104013
2.02 nbAssignments=2918 nbFailedAssignments=1076 nbBacktracks=1713 nbVisitedNodes=4954 nbRestartNogoods=34
2.02 => wckTime=0.954 cpuTime=0.85 mem=15M400
2.38
2.38 search
2.38 run=11 nbConstraintChecks=6767750 nbPropagations=248868 nbRevisions=3822857 nbUselessRevisions=3180317
2.38 nbAssignments=4290 nbFailedAssignments=1574 nbBacktracks=2577 nbVisitedNodes=7295 nbRestartNogoods=41
2.38 => wckTime=1.316 cpuTime=1.21 mem=15M400
2.87
2.87 search
2.87 run=12 nbConstraintChecks=9884540 nbPropagations=368370 nbRevisions=5704454 nbUselessRevisions=4738141
2.87 nbAssignments=6305 nbFailedAssignments=2281 nbBacktracks=3876 nbVisitedNodes=10657 nbRestartNogoods=47
2.87 => wckTime=1.805 cpuTime=1.69 mem=15M400
3.68
3.68 search
3.68 run=13 nbConstraintChecks=14927310 nbPropagations=548566 nbRevisions=8590037 nbUselessRevisions=7132991
3.68 nbAssignments=9478 nbFailedAssignments=3497 nbBacktracks=5822 nbVisitedNodes=16142 nbRestartNogoods=52
3.68 => wckTime=2.622 cpuTime=2.5 mem=15M400
4.92
4.92 search
4.92 run=14 nbConstraintChecks=22638633 nbPropagations=821737 nbRevisions=12993844 nbUselessRevisions=10789791
4.92 nbAssignments=14363 nbFailedAssignments=5450 nbBacktracks=8742 nbVisitedNodes=24611 nbRestartNogoods=58
4.92 => wckTime=3.854 cpuTime=3.72 mem=15M400
6.74
6.74 search
6.74 run=15 nbConstraintChecks=33728574 nbPropagations=1234404 nbRevisions=19676503 nbUselessRevisions=16346653
6.74 nbAssignments=21709 nbFailedAssignments=8406 nbBacktracks=13123 nbVisitedNodes=37329 nbRestartNogoods=65
6.74 => wckTime=5.678 cpuTime=5.53 mem=15M400
9.58
9.58 search
9.58 run=16 nbConstraintChecks=51882352 nbPropagations=1857425 nbRevisions=29789797 nbUselessRevisions=24747259
9.58 nbAssignments=32515 nbFailedAssignments=12631 nbBacktracks=19693 nbVisitedNodes=55884 nbRestartNogoods=73
9.58 => wckTime=8.519 cpuTime=8.34 mem=15M400
13.44
13.44 search
13.44 run=17 nbConstraintChecks=76338816 nbPropagations=2770070 nbRevisions=44502235 nbUselessRevisions=36947854
13.44 nbAssignments=47959 nbFailedAssignments=18210 nbBacktracks=29549 nbVisitedNodes=81885 nbRestartNogoods=83
13.44 => wckTime=12.378 cpuTime=12.18 mem=15M400
19.51
19.51 search
19.51 run=18 nbConstraintChecks=113215082 nbPropagations=4142479 nbRevisions=66776840 nbUselessRevisions=55453609
19.51 nbAssignments=72529 nbFailedAssignments=27991 nbBacktracks=44328 nbVisitedNodes=124439 nbRestartNogoods=95
19.51 => wckTime=18.452 cpuTime=18.19 mem=15M400
28.47
28.47 search
28.47 run=19 nbConstraintChecks=170118437 nbPropagations=6196878 nbRevisions=99901096 nbUselessRevisions=82939973
28.47 nbAssignments=107979 nbFailedAssignments=41263 nbBacktracks=66496 nbVisitedNodes=185127 nbRestartNogoods=108
28.47 => wckTime=27.404 cpuTime=27.06 mem=15M400
41.74
41.74 search
41.74 run=20 nbConstraintChecks=250004646 nbPropagations=9254410 nbRevisions=149573231 nbUselessRevisions=124275087
41.74 nbAssignments=162172 nbFailedAssignments=62191 nbBacktracks=99748 nbVisitedNodes=278295 nbRestartNogoods=116
41.74 => wckTime=40.682 cpuTime=40.22 mem=15M400
61.48
61.48 search
61.48 run=21 nbConstraintChecks=373594825 nbPropagations=13816671 nbRevisions=223282489 nbUselessRevisions=185534639
61.48 nbAssignments=241668 nbFailedAssignments=91797 nbBacktracks=149626 nbVisitedNodes=414232 nbRestartNogoods=133
61.48 => wckTime=60.417 cpuTime=59.77 mem=15M400
91.32
91.32 search
91.32 run=22 nbConstraintChecks=557758279 nbPropagations=20629700 nbRevisions=333820159 nbUselessRevisions=277461066
91.32 nbAssignments=362208 nbFailedAssignments=137507 nbBacktracks=224446 nbVisitedNodes=620600 nbRestartNogoods=143
91.32 => wckTime=90.26 cpuTime=89.33 mem=15M400
133.97
133.97 search
133.97 run=23 nbConstraintChecks=823282765 nbPropagations=30685212 nbRevisions=495944852 nbUselessRevisions=412125807
133.97 nbAssignments=538825 nbFailedAssignments=201887 nbBacktracks=336673 nbVisitedNodes=919064 nbRestartNogoods=157
133.97 => wckTime=132.913 cpuTime=131.6 mem=15M400
202.41
202.41 search
202.41 run=24 nbConstraintChecks=1253962273 nbPropagations=45849221 nbRevisions=741023586 nbUselessRevisions=615640298
202.41 nbAssignments=807214 nbFailedAssignments=301927 nbBacktracks=505014 nbVisitedNodes=1377677 nbRestartNogoods=167
202.41 => wckTime=201.348 cpuTime=199.41 mem=15M400
305.26
305.26 search
305.26 run=25 nbConstraintChecks=1896619649 nbPropagations=68797330 nbRevisions=1112498270
305.26 nbUselessRevisions=924265687 nbAssignments=1215494 nbFailedAssignments=457685 nbBacktracks=757525
305.26 nbVisitedNodes=2078367 nbRestartNogoods=181
305.26 => wckTime=304.201 cpuTime=301.32 mem=15M400
456.26
456.26 search
456.26 run=26 nbConstraintChecks=2830279454 nbPropagations=103161982 nbRevisions=1669799919
456.26 nbUselessRevisions=1387597784 nbAssignments=1820576 nbFailedAssignments=683987 nbBacktracks=1136293
456.26 nbVisitedNodes=3111877 nbRestartNogoods=195
456.26 => wckTime=455.202 cpuTime=450.93 mem=15M400
680.27
680.27 search
680.27 run=27 nbConstraintChecks=4287929591 nbPropagations=154896829 nbRevisions=2505067475
680.27 nbUselessRevisions=2081031208 nbAssignments=2732825 nbFailedAssignments=1028074 nbBacktracks=1704444
680.27 nbVisitedNodes=4672045 nbRestartNogoods=208
680.27 => wckTime=679.208 cpuTime=673.36 mem=15M400
997.81
997.81 search
997.81 run=28 nbConstraintChecks=6418886006 nbPropagations=232478615 nbRevisions=3759899492
997.81 nbUselessRevisions=3123459424 nbAssignments=4094138 nbFailedAssignments=1537151 nbBacktracks=2556670
997.81 nbVisitedNodes=7003040 nbRestartNogoods=220
997.81 => wckTime=996.751 cpuTime=989.35 mem=15M400
1482.09
1482.09 search
1482.09 run=29 nbConstraintChecks=9672461092 nbPropagations=349063808 nbRevisions=5649426549
1482.09 nbUselessRevisions=4693679995 nbAssignments=6134388 nbFailedAssignments=2299052 nbBacktracks=3835011
1482.09 nbVisitedNodes=10488512 nbRestartNogoods=232
1482.09 => wckTime=1481.025 cpuTime=1469.4 mem=15M400
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-195061-1168069654 -o ROOT/results/node13/solver-195061-1168069654 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195061-1168069654/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.99 1.83 1.82 4/93 3431
/proc/meminfo: memFree=1293368/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=1784 CPUtime=0
/proc/3430/stat : 3430 (java) D 3428 3430 2952 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 155360367 1826816 136 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3430/statm: 446 136 102 14 0 91 0
[startup+0.107451 s]
/proc/loadavg: 1.99 1.83 1.82 4/93 3431
/proc/meminfo: memFree=1293368/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=914988 CPUtime=0.08
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 155360367 936947712 2726 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072929005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515503 s]
/proc/loadavg: 1.99 1.83 1.82 4/93 3431
/proc/meminfo: memFree=1293368/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915328 CPUtime=0.41
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 6083 0 1 0 37 4 0 0 18 0 8 0 155360367 937295872 5822 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152155713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228832 5822 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33661 s]
/proc/loadavg: 1.99 1.83 1.82 3/100 3438
/proc/meminfo: memFree=1265600/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1.21
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9675 0 1 0 114 7 0 0 23 0 8 0 155360367 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9413 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.24
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 380 0 0 0 23 1 0 0 15 0 8 0 155360375 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9413 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915460
[startup+2.98383 s]
/proc/loadavg: 1.99 1.83 1.82 3/100 3438
/proc/meminfo: memFree=1265472/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=2.84
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9693 0 1 0 277 7 0 0 25 0 8 0 155360367 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073839655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9430 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 17 0 8 0 155360371 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.27
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 398 0 0 0 26 1 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915460
[startup+6.18826 s]
/proc/loadavg: 1.99 1.83 1.82 3/100 3438
/proc/meminfo: memFree=1265344/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=6.02
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9694 0 1 0 595 7 0 0 25 0 8 0 155360367 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073817868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9430 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.27
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 399 0 0 0 26 1 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915460
[startup+12.6621 s]
/proc/loadavg: 1.99 1.83 1.82 3/100 3438
/proc/meminfo: memFree=1265344/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=12.43
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9694 0 1 0 1236 7 0 0 25 0 8 0 155360367 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073843777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9430 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.27
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 399 0 0 0 26 1 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915460
[startup+25.5168 s]
/proc/loadavg: 1.99 1.84 1.82 3/100 3438
/proc/meminfo: memFree=1265408/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=25.18
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9694 0 1 0 2510 8 0 0 25 0 8 0 155360367 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073817868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9430 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.27
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 399 0 0 0 26 1 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915460
[startup+51.1323 s]
/proc/loadavg: 1.99 1.85 1.82 3/100 3438
/proc/meminfo: memFree=1265472/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=50.55
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9696 0 1 0 5047 8 0 0 25 0 8 0 155360367 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9431 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.27
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 400 0 0 0 26 1 0 0 16 0 8 0 155360375 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 915460
[startup+102.355 s]
/proc/loadavg: 1.99 1.87 1.83 3/100 3438
/proc/meminfo: memFree=1265472/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=101.31
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 10123 8 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073827994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 915460
[startup+162.419 s]
/proc/loadavg: 1.99 1.89 1.83 3/100 3438
/proc/meminfo: memFree=1265408/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=160.82
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 16074 8 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073839439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.25
Current children cumulated vsize (KiB) 915460
[startup+1483.41 s]
/proc/loadavg: 2.08 2.05 1.94 3/100 3692
/proc/meminfo: memFree=1204280/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1471.75
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 147148 27 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073850663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.75
Current children cumulated vsize (KiB) 915460
[startup+1543.44 s]
/proc/loadavg: 2.03 2.04 1.94 3/100 3692
/proc/meminfo: memFree=1204344/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1531.28
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 153100 28 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.28
Current children cumulated vsize (KiB) 915460
[startup+1603.48 s]
/proc/loadavg: 2.01 2.03 1.94 3/100 3692
/proc/meminfo: memFree=1204280/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1590.82
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 159054 28 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073836355 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.82
Current children cumulated vsize (KiB) 915460
[startup+1663.52 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 3692
/proc/meminfo: memFree=1204344/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1650.33
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 165005 28 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073855581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.33
Current children cumulated vsize (KiB) 915460
[startup+1723.56 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 3692
/proc/meminfo: memFree=1204280/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1709.85
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 170957 28 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.85
Current children cumulated vsize (KiB) 915460
[startup+1783.61 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 3692
/proc/meminfo: memFree=1204280/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1769.38
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 176910 28 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073816682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.38
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.56 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 3692
/proc/meminfo: memFree=1204280/2055920 swapFree=4192812/4192956
[pid=3430] ppid=3428 vsize=915460 CPUtime=1800.07
/proc/3430/stat : 3430 (java) R 3428 3430 2952 0 -1 0 9697 0 1 0 179978 29 0 0 25 0 8 0 155360367 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073818056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3430/statm: 228865 9432 2513 14 0 215335 0
[pid=3430/tid=3432] ppid=3428 vsize=915460 CPUtime=0.03
/proc/3430/task/3432/stat : 3432 (java) S 3428 3430 2952 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 155360371 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3433] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3433/stat : 3433 (java) S 3428 3430 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3434] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3434/stat : 3434 (java) S 3428 3430 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155360372 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3435] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3435/stat : 3435 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3436] ppid=3428 vsize=915460 CPUtime=0.28
/proc/3430/task/3436/stat : 3436 (java) S 3428 3430 2952 0 -1 64 401 0 0 0 27 1 0 0 16 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3430/tid=3437] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3437/stat : 3437 (java) S 3428 3430 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3430/tid=3438] ppid=3428 vsize=915460 CPUtime=0
/proc/3430/task/3438/stat : 3438 (java) S 3428 3430 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155360375 937431040 9432 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.59
CPU time (s): 1800.1
CPU user time (s): 1799.8
CPU system time (s): 0.297954
CPU usage (%): 99.2012
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9714
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= 37840
involuntary context switches= 79104
runsolver used 1.91771 s user time and 5.50716 s system time
The end
Begin job on node13 on Sat Jan 6 07:47:34 UTC 2007
IDJOB= 195061
IDBENCH= 3247
FILE ID= node13/195061-1168069654
PBS_JOBID= 3475671
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195061-1168069654/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-195061-1168069654 -o ROOT/results/node13/solver-195061-1168069654 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195061-1168069654/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8f948212b2819e3fd0e98ce18eeb5756
RANDOM SEED= 994243964
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.247
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.247
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: 1293848 kB
Buffers: 70888 kB
Cached: 518672 kB
SwapCached: 0 kB
Active: 401516 kB
Inactive: 265824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1293848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 106796 kB
Slab: 79228 kB
Committed_AS: 4360728 kB
PageTables: 2492 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= 66315 MiB
End job on node13 on Sat Jan 6 08:17:49 UTC 2007