0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/200086-1168071920/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=56 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.40 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.57
0.57 constraints being loaded...
0.73 nbConstraints=512 nbRelationTypes=512 nbExtensionStructures=512 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=512 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=992 maxDegree=25
0.73 maxArity=2
0.73 => wckTime=0.424 cpuTime=0.31 mem=20M653
0.78
0.78 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.623 cpuTime=0.43 mem=15M743
0.94
0.94 preprocessing
0.94 nbConstraintChecks=0 nbPropagations=56 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.94 detectedInconsistency=no
0.94 => wckTime=0.01 cpuTime=0.01 mem=15M743
1.00
1.00 search
1.00 run=0 nbConstraintChecks=80595 nbPropagations=849 nbRevisions=10265 nbUselessRevisions=8279 nbAssignments=33
1.00 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.066 cpuTime=0.04 mem=15M743
1.02
1.02 search
1.02 run=1 nbConstraintChecks=150679 nbPropagations=2480 nbRevisions=30985 nbUselessRevisions=25311
1.02 nbAssignments=69 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=112 nbRestartNogoods=2 mapSize=24
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.091 cpuTime=0.06 mem=15M743
1.04
1.04 search
1.04 run=2 nbConstraintChecks=256027 nbPropagations=5310 nbRevisions=68542 nbUselessRevisions=56261
1.04 nbAssignments=124 nbFailedAssignments=40 nbBacktracks=50 nbVisitedNodes=200 nbRestartNogoods=4 mapSize=47
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.112 cpuTime=0.08 mem=15M743
1.07
1.07 search
1.07 run=3 nbConstraintChecks=385954 nbPropagations=9527 nbRevisions=127644 nbUselessRevisions=105062
1.07 nbAssignments=190 nbFailedAssignments=61 nbBacktracks=85 nbVisitedNodes=308 nbRestartNogoods=6 mapSize=74
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.137 cpuTime=0.1 mem=15M743
1.10
1.10 search
1.10 run=4 nbConstraintChecks=587641 nbPropagations=15903 nbRevisions=218812 nbUselessRevisions=179959
1.10 nbAssignments=289 nbFailedAssignments=99 nbBacktracks=135 nbVisitedNodes=476 nbRestartNogoods=8 mapSize=114
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.172 cpuTime=0.13 mem=15M743
1.15
1.15 search
1.15 run=5 nbConstraintChecks=819485 nbPropagations=25012 nbRevisions=350995 nbUselessRevisions=288807
1.15 nbAssignments=425 nbFailedAssignments=151 nbBacktracks=211 nbVisitedNodes=702 nbRestartNogoods=12 mapSize=182
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.222 cpuTime=0.18 mem=15M743
1.22
1.22 search
1.22 run=6 nbConstraintChecks=1212699 nbPropagations=38405 nbRevisions=547186 nbUselessRevisions=450172
1.22 nbAssignments=630 nbFailedAssignments=230 nbBacktracks=324 nbVisitedNodes=1051 nbRestartNogoods=13 mapSize=273
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.289 cpuTime=0.24 mem=15M743
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1782514 nbPropagations=58110 nbRevisions=843886 nbUselessRevisions=694350
1.31 nbAssignments=938 nbFailedAssignments=356 nbBacktracks=498 nbVisitedNodes=1579 nbRestartNogoods=18 mapSize=417
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.385 cpuTime=0.34 mem=15M743
1.45
1.45 search
1.45 run=8 nbConstraintChecks=2567245 nbPropagations=87001 nbRevisions=1281530 nbUselessRevisions=1053462
1.45 nbAssignments=1381 nbFailedAssignments=530 nbBacktracks=754 nbVisitedNodes=2334 nbRestartNogoods=19
1.45 mapSize=619 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.52 cpuTime=0.47 mem=15M743
1.65
1.65 search
1.65 run=9 nbConstraintChecks=3774208 nbPropagations=128850 nbRevisions=1920892 nbUselessRevisions=1576933
1.65 nbAssignments=2025 nbFailedAssignments=776 nbBacktracks=1142 nbVisitedNodes=3430 nbRestartNogoods=26
1.65 mapSize=933 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.717 cpuTime=0.66 mem=15M743
1.71
1.71 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=15M743)
1.92
1.92 search
1.92 run=10 nbConstraintChecks=5588608 nbPropagations=191082 nbRevisions=2872729 nbUselessRevisions=2355668
1.92 nbAssignments=2990 nbFailedAssignments=1152 nbBacktracks=1718 nbVisitedNodes=5079 nbRestartNogoods=32
1.92 => wckTime=0.99 cpuTime=0.92 mem=15M743
2.34
2.34 search
2.34 run=11 nbConstraintChecks=8645686 nbPropagations=285260 nbRevisions=4333070 nbUselessRevisions=3551773
2.34 nbAssignments=4429 nbFailedAssignments=1716 nbBacktracks=2582 nbVisitedNodes=7573 nbRestartNogoods=41
2.34 => wckTime=1.408 cpuTime=1.33 mem=15M743
2.88
2.88 search
2.88 run=12 nbConstraintChecks=12427091 nbPropagations=424062 nbRevisions=6509606 nbUselessRevisions=5340473
2.88 nbAssignments=6583 nbFailedAssignments=2558 nbBacktracks=3882 nbVisitedNodes=11295 nbRestartNogoods=48
2.88 => wckTime=1.955 cpuTime=1.88 mem=15M743
3.81
3.81 search
3.81 run=13 nbConstraintChecks=19153012 nbPropagations=636219 nbRevisions=9854016 nbUselessRevisions=8088274
3.81 nbAssignments=9927 nbFailedAssignments=3945 nbBacktracks=5829 nbVisitedNodes=17145 nbRestartNogoods=55
3.81 => wckTime=2.883 cpuTime=2.8 mem=15M743
4.95
4.95 search
4.95 run=14 nbConstraintChecks=27470424 nbPropagations=940083 nbRevisions=14593564 nbUselessRevisions=11974191
4.95 nbAssignments=14371 nbFailedAssignments=5458 nbBacktracks=8748 nbVisitedNodes=24538 nbRestartNogoods=57
4.95 => wckTime=4.024 cpuTime=3.93 mem=15M743
6.76
6.76 search
6.76 run=15 nbConstraintChecks=40547257 nbPropagations=1390486 nbRevisions=21612807 nbUselessRevisions=17725728
6.76 nbAssignments=21377 nbFailedAssignments=8073 nbBacktracks=13127 nbVisitedNodes=36439 nbRestartNogoods=63
6.76 => wckTime=5.835 cpuTime=5.74 mem=15M743
9.51
9.51 search
9.51 run=16 nbConstraintChecks=60185425 nbPropagations=2063264 nbRevisions=32171603 nbUselessRevisions=26392778
9.51 nbAssignments=32169 nbFailedAssignments=12285 nbBacktracks=19697 nbVisitedNodes=54948 nbRestartNogoods=70
9.52 => wckTime=8.585 cpuTime=8.47 mem=15M743
13.84
13.84 search
13.84 run=17 nbConstraintChecks=92580642 nbPropagations=3080383 nbRevisions=48056377 nbUselessRevisions=39401384
13.84 nbAssignments=48222 nbFailedAssignments=18472 nbBacktracks=29549 nbVisitedNodes=82494 nbRestartNogoods=83
13.84 => wckTime=12.914 cpuTime=12.78 mem=15M743
20.11
20.11 search
20.11 run=18 nbConstraintChecks=136621386 nbPropagations=4604612 nbRevisions=71801170 nbUselessRevisions=58855391
20.11 nbAssignments=72192 nbFailedAssignments=27650 nbBacktracks=44327 nbVisitedNodes=123600 nbRestartNogoods=95
20.11 => wckTime=19.185 cpuTime=19.02 mem=15M743
29.44
29.44 search
29.44 run=19 nbConstraintChecks=202583826 nbPropagations=6887085 nbRevisions=107357793 nbUselessRevisions=88005883
29.44 nbAssignments=108292 nbFailedAssignments=41568 nbBacktracks=66497 nbVisitedNodes=185530 nbRestartNogoods=108
29.44 => wckTime=28.506 cpuTime=28.27 mem=16M718
42.92
42.92 search
42.92 run=20 nbConstraintChecks=298495647 nbPropagations=10254457 nbRevisions=159912968 nbUselessRevisions=131120109
42.92 nbAssignments=160702 nbFailedAssignments=60712 nbBacktracks=99749 nbVisitedNodes=274393 nbRestartNogoods=117
42.92 => wckTime=41.992 cpuTime=41.7 mem=16M718
63.68
63.68 search
63.68 run=21 nbConstraintChecks=448103969 nbPropagations=15300780 nbRevisions=238757246 nbUselessRevisions=195778918
63.68 nbAssignments=240522 nbFailedAssignments=90643 nbBacktracks=149628 nbVisitedNodes=410711 nbRestartNogoods=133
63.68 => wckTime=62.753 cpuTime=62.35 mem=16M718
96.69
96.69 search
96.69 run=22 nbConstraintChecks=681174293 nbPropagations=23009862 nbRevisions=359642005 nbUselessRevisions=295041488
96.69 nbAssignments=365672 nbFailedAssignments=140964 nbBacktracks=224447 nbVisitedNodes=628045 nbRestartNogoods=150
96.69 => wckTime=95.762 cpuTime=95.19 mem=16M718
142.89
142.89 search
142.89 run=23 nbConstraintChecks=1014594041 nbPropagations=34427452 nbRevisions=538541023 nbUselessRevisions=441873439
142.89 nbAssignments=543614 nbFailedAssignments=206668 nbBacktracks=336674 nbVisitedNodes=929537 nbRestartNogoods=161
142.89 => wckTime=141.958 cpuTime=141.14 mem=16M718
213.26
213.26 search
213.26 run=24 nbConstraintChecks=1510619280 nbPropagations=51496900 nbRevisions=806722381 nbUselessRevisions=662239801
213.26 nbAssignments=814157 nbFailedAssignments=308859 nbBacktracks=505016 nbVisitedNodes=1392320 nbRestartNogoods=175
213.26 => wckTime=212.326 cpuTime=211.16 mem=16M718
316.60
316.60 search
316.60 run=25 nbConstraintChecks=2233077327 nbPropagations=76998635 nbRevisions=1208524328
316.60 nbUselessRevisions=992916912 nbAssignments=1224163 nbFailedAssignments=466344 nbBacktracks=757529
316.60 nbVisitedNodes=2094142 nbRestartNogoods=190
316.60 => wckTime=315.666 cpuTime=313.97 mem=16M718
477.86
477.86 search
477.86 run=26 nbConstraintChecks=3402473030 nbPropagations=115592868 nbRevisions=1814543056
477.86 nbUselessRevisions=1491110323 nbAssignments=1842614 nbFailedAssignments=706016 nbBacktracks=1136299
477.86 nbVisitedNodes=3158446 nbRestartNogoods=207
477.86 => wckTime=476.933 cpuTime=474.4 mem=16M718
717.25
717.25 search
717.25 run=27 nbConstraintChecks=5037977151 nbPropagations=172802618 nbRevisions=2716249017
717.25 nbUselessRevisions=2233444472 nbAssignments=2744220 nbFailedAssignments=1039459 nbBacktracks=1704450
717.25 nbVisitedNodes=4691302 nbRestartNogoods=224
717.25 => wckTime=716.325 cpuTime=712.55 mem=16M718
1113.43
1113.43 search
1113.43 run=28 nbConstraintChecks=7780493740 nbPropagations=260475416 nbRevisions=4098411979
1113.43 nbUselessRevisions=3370647898 nbAssignments=4159890 nbFailedAssignments=1602891 nbBacktracks=2556676
1113.43 nbVisitedNodes=7143573 nbRestartNogoods=240
1113.43 => wckTime=1112.504 cpuTime=1106.72 mem=16M718
1680.71
1680.71 search
1680.71 run=29 nbConstraintChecks=11656192140 nbPropagations=391343795 nbRevisions=6170951318
1680.71 nbUselessRevisions=5076963082 nbAssignments=6230806 nbFailedAssignments=2395459 nbBacktracks=3835016
1680.71 nbVisitedNodes=10690890 nbRestartNogoods=265
1680.71 => wckTime=1679.781 cpuTime=1669.1 mem=16M718
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-200086-1168071920 -o ROOT/results/node24/solver-200086-1168071920 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200086-1168071920/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.98 1.01 7/86 15271
/proc/meminfo: memFree=1820624/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=1784 CPUtime=0
/proc/15270/stat : 15270 (java) D 15265 15270 15134 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155587326 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 18446744072100111516 0 0 17 1 0 0
/proc/15270/statm: 446 158 123 14 0 91 0
[startup+0.103933 s]
/proc/loadavg: 0.92 0.98 1.01 7/86 15271
/proc/meminfo: memFree=1820624/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=914988 CPUtime=0.09
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 2980 0 1 0 7 2 0 0 19 0 8 0 155587326 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515981 s]
/proc/loadavg: 0.92 0.98 1.01 7/86 15271
/proc/meminfo: memFree=1820624/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915328 CPUtime=0.49
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 7379 0 1 0 44 5 0 0 22 0 8 0 155587326 937295872 7118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228832 7118 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33706 s]
/proc/loadavg: 1.09 1.02 1.02 3/100 15285
/proc/meminfo: memFree=1758496/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1.31
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10459 0 1 0 124 7 0 0 25 0 8 0 155587326 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10197 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 17 0 8 0 155587330 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.22
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 387 0 0 0 22 0 0 0 15 0 8 0 155587334 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915544
[startup+2.97424 s]
/proc/loadavg: 1.09 1.02 1.02 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=2.93
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10477 0 1 0 286 7 0 0 25 0 8 0 155587326 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10213 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 17 0 8 0 155587330 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915544
[startup+6.26059 s]
/proc/loadavg: 1.16 1.03 1.03 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=6.2
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10477 0 1 0 613 7 0 0 25 0 8 0 155587326 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10213 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915544
[startup+12.7443 s]
/proc/loadavg: 1.23 1.05 1.03 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=12.65
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10477 0 1 0 1258 7 0 0 25 0 8 0 155587326 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10213 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915544
[startup+25.6117 s]
/proc/loadavg: 1.34 1.08 1.04 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=25.44
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10477 0 1 0 2537 7 0 0 25 0 8 0 155587326 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10213 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915544
[startup+51.2264 s]
/proc/loadavg: 1.60 1.17 1.07 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=50.93
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10477 0 1 0 5085 8 0 0 25 0 8 0 155587326 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10213 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915544
[startup+102.445 s]
/proc/loadavg: 1.83 1.29 1.12 3/100 15285
/proc/meminfo: memFree=1758176/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=101.89
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10480 0 1 0 10181 8 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915544
[startup+162.508 s]
/proc/loadavg: 1.93 1.42 1.17 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=161.64
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10480 0 1 0 16156 8 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858689 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.34
Current children cumulated vsize (KiB) 915544
[startup+1483.77 s]
/proc/loadavg: 2.08 2.00 1.78 3/100 15285
/proc/meminfo: memFree=1757280/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1474.85
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 147472 13 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.85
Current children cumulated vsize (KiB) 915544
[startup+1543.81 s]
/proc/loadavg: 2.03 2.00 1.79 3/100 15285
/proc/meminfo: memFree=1757216/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1534.38
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 153424 14 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.38
Current children cumulated vsize (KiB) 915544
[startup+1603.85 s]
/proc/loadavg: 2.01 2.00 1.80 3/100 15285
/proc/meminfo: memFree=1757216/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1593.89
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 159375 14 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.89
Current children cumulated vsize (KiB) 915544
[startup+1663.9 s]
/proc/loadavg: 2.00 2.00 1.81 3/100 15285
/proc/meminfo: memFree=1757152/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1653.41
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 165326 15 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.41
Current children cumulated vsize (KiB) 915544
[startup+1723.94 s]
/proc/loadavg: 2.00 2.00 1.82 3/100 15285
/proc/meminfo: memFree=1757088/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1712.93
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 171278 15 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.93
Current children cumulated vsize (KiB) 915544
[startup+1783.98 s]
/proc/loadavg: 2.00 2.00 1.83 3/100 15285
/proc/meminfo: memFree=1757088/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1772.45
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 177229 16 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.45
Current children cumulated vsize (KiB) 915544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.84 s]
/proc/loadavg: 2.08 2.02 1.84 3/100 15343
/proc/meminfo: memFree=1655888/2055920 swapFree=4192812/4192956
[pid=15270] ppid=15265 vsize=915544 CPUtime=1800.07
/proc/15270/stat : 15270 (java) R 15265 15270 15134 0 -1 0 10481 0 1 0 179990 17 0 0 25 0 8 0 155587326 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15270/statm: 228886 10215 2513 14 0 215356 0
[pid=15270/tid=15273] ppid=15265 vsize=915544 CPUtime=0.03
/proc/15270/task/15273/stat : 15273 (java) S 15265 15270 15134 0 -1 64 493 0 0 0 3 0 0 0 16 0 8 0 155587330 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15276] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15276/stat : 15276 (java) S 15265 15270 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15277] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15277/stat : 15277 (java) S 15265 15270 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15282] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15282/stat : 15282 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15283] ppid=15265 vsize=915544 CPUtime=0.26
/proc/15270/task/15283/stat : 15283 (java) S 15265 15270 15134 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15270/tid=15284] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15284/stat : 15284 (java) S 15265 15270 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15270/tid=15285] ppid=15265 vsize=915544 CPUtime=0
/proc/15270/task/15285/stat : 15285 (java) S 15265 15270 15134 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10215 18446744073709551615 134512640 134570532 4294956480 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) 915544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.9
CPU time (s): 1800.14
CPU user time (s): 1799.96
CPU system time (s): 0.182972
CPU usage (%): 99.351
Max. virtual memory (cumulated for all children) (KiB): 915544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10497
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= 37872
involuntary context switches= 91708
runsolver used 2.23366 s user time and 5.41218 s system time
The end
Begin job on node24 on Sat Jan 6 08:25:21 UTC 2007
IDJOB= 200086
IDBENCH= 3688
FILE ID= node24/200086-1168071920
PBS_JOBID= 3475964
Free space on /tmp= 66463 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200086-1168071920/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-200086-1168071920 -o ROOT/results/node24/solver-200086-1168071920 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200086-1168071920/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35b69788704e417eae5badf072d5a6d4
RANDOM SEED= 662693460
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.234
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.234
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: 1821584 kB
Buffers: 18896 kB
Cached: 90516 kB
SwapCached: 0 kB
Active: 113924 kB
Inactive: 52844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1821584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4656 kB
Writeback: 0 kB
Mapped: 76296 kB
Slab: 52488 kB
Committed_AS: 2859420 kB
PageTables: 2280 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= 66458 MiB
End job on node24 on Sat Jan 6 08:55:33 UTC 2007