0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/218892-1168079737/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=144 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.40 => wckTime=0.108 cpuTime=0.11 mem=6M951
0.40
0.40 predicates being loaded...
0.40
0.40 constraints being loaded...
1.31 nbConstraints=4356 nbConflictsStructures=1 nbSharedConflictsStructures=4355 nbSharedBinaryRepresentations=0
1.31 nbEvaluationManagers=1 nbSharedEvaluationManagers=4355 maxDegree=121 maxArity=4
1.31 => wckTime=1.02 cpuTime=0.88 mem=46M497
1.39
1.39 solver IterativeSystematicSolver being built...
1.66 => wckTime=1.372 cpuTime=1.11 mem=50M570
1.69
1.69 preprocessing
1.69 nbConstraintChecks=0 nbPropagations=144 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.69 detectedInconsistency=no
1.69 => wckTime=0.025 cpuTime=0.02 mem=50M570
1.77
1.77 search
1.77 run=0 nbConstraintChecks=2120 nbValidityChecks=1863 nbPropagations=325 nbRevisions=1722
1.77 nbUselessRevisions=1458 nbAssignments=56 nbFailedAssignments=9 nbBacktracks=22 nbVisitedNodes=73
1.77 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.109 cpuTime=0.07 mem=51M545
1.84
1.84 search
1.84 run=1 nbConstraintChecks=10624 nbValidityChecks=6631 nbPropagations=979 nbRevisions=8217
1.84 nbUselessRevisions=7251 nbAssignments=156 nbFailedAssignments=29 nbBacktracks=37 nbVisitedNodes=208
1.84 nbRestartNogoods=1 mapSize=27 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.174 cpuTime=0.14 mem=51M545
1.89
1.89 search
1.89 run=2 nbConstraintChecks=18663 nbValidityChecks=13619 nbPropagations=1908 nbRevisions=19118
1.89 nbUselessRevisions=17098 nbAssignments=242 nbFailedAssignments=42 nbBacktracks=60 nbVisitedNodes=321
1.89 nbRestartNogoods=21 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.226 cpuTime=0.19 mem=51M545
1.93
1.93 search
1.93 run=3 nbConstraintChecks=23453 nbValidityChecks=19477 nbPropagations=3109 nbRevisions=33423
1.93 nbUselessRevisions=30078 nbAssignments=343 nbFailedAssignments=60 nbBacktracks=93 nbVisitedNodes=457
1.93 nbRestartNogoods=22 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.268 cpuTime=0.23 mem=51M545
1.97
1.97 search
1.97 run=4 nbConstraintChecks=27110 nbValidityChecks=23795 nbPropagations=4596 nbRevisions=50109
1.97 nbUselessRevisions=45124 nbAssignments=442 nbFailedAssignments=79 nbBacktracks=143 nbVisitedNodes=591
1.97 nbRestartNogoods=27 mapSize=98 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.309 cpuTime=0.27 mem=51M545
2.04
2.04 search
2.04 run=5 nbConstraintChecks=35034 nbValidityChecks=33719 nbPropagations=6550 nbRevisions=72669
2.04 nbUselessRevisions=65544 nbAssignments=605 nbFailedAssignments=122 nbBacktracks=228 nbVisitedNodes=827
2.04 nbRestartNogoods=31 mapSize=156 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.372 cpuTime=0.32 mem=51M545
2.15
2.15 search
2.15 run=6 nbConstraintChecks=56447 nbValidityChecks=62262 nbPropagations=9326 nbRevisions=110760
2.15 nbUselessRevisions=100384 nbAssignments=829 nbFailedAssignments=170 nbBacktracks=360 nbVisitedNodes=1145
2.15 nbRestartNogoods=34 mapSize=230 nbInferences=0 nbTooLargeKeys=0
2.15 => wckTime=0.488 cpuTime=0.44 mem=51M545
2.24
2.24 search
2.24 run=7 nbConstraintChecks=68746 nbValidityChecks=79891 nbPropagations=12815 nbRevisions=159002
2.24 nbUselessRevisions=144491 nbAssignments=1086 nbFailedAssignments=212 nbBacktracks=533 nbVisitedNodes=1485
2.24 nbRestartNogoods=37 mapSize=303 nbInferences=0 nbTooLargeKeys=0
2.24 => wckTime=0.58 cpuTime=0.52 mem=51M545
2.39
2.39 search
2.39 run=8 nbConstraintChecks=95262 nbValidityChecks=114134 nbPropagations=17585 nbRevisions=227367
2.39 nbUselessRevisions=207244 nbAssignments=1496 nbFailedAssignments=317 nbBacktracks=794 nbVisitedNodes=2096
2.39 nbRestartNogoods=44 mapSize=462 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=0.729 cpuTime=0.67 mem=51M545
2.59
2.59 search
2.59 run=9 nbConstraintChecks=129352 nbValidityChecks=157710 nbPropagations=24134 nbRevisions=321079
2.59 nbUselessRevisions=293299 nbAssignments=2078 nbFailedAssignments=467 nbBacktracks=1186 nbVisitedNodes=2969
2.59 nbRestartNogoods=49 mapSize=696 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=0.93 cpuTime=0.85 mem=51M545
2.84
2.84 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=51M545)
2.86
2.86 search
2.86 run=10 nbConstraintChecks=183498 nbValidityChecks=227115 nbPropagations=33415 nbRevisions=455133
2.86 nbUselessRevisions=416576 nbAssignments=2929 nbFailedAssignments=706 nbBacktracks=1762 nbVisitedNodes=4271
2.86 nbRestartNogoods=55
2.86 => wckTime=1.201 cpuTime=1.11 mem=51M545
3.35
3.35 search
3.35 run=11 nbConstraintChecks=295460 nbValidityChecks=379941 nbPropagations=47200 nbRevisions=671950
3.35 nbUselessRevisions=616603 nbAssignments=4139 nbFailedAssignments=1007 nbBacktracks=2632 nbVisitedNodes=6079
3.35 nbRestartNogoods=60
3.35 => wckTime=1.685 cpuTime=1.59 mem=51M545
3.93
3.94 search
3.94 run=12 nbConstraintChecks=435817 nbValidityChecks=561710 nbPropagations=67118 nbRevisions=990821
3.94 nbUselessRevisions=911424 nbAssignments=5995 nbFailedAssignments=1516 nbBacktracks=3930 nbVisitedNodes=8907
3.94 nbRestartNogoods=65
3.94 => wckTime=2.272 cpuTime=2.17 mem=51M545
4.82
4.82 search
4.82 run=13 nbConstraintChecks=620106 nbValidityChecks=803589 nbPropagations=96375 nbRevisions=1448929
4.82 nbUselessRevisions=1334656 nbAssignments=8736 nbFailedAssignments=2273 nbBacktracks=5876 nbVisitedNodes=13113
4.82 nbRestartNogoods=72
4.82 => wckTime=3.159 cpuTime=3.06 mem=51M545
6.30
6.30 search
6.30 run=14 nbConstraintChecks=967954 nbValidityChecks=1294561 nbPropagations=140644 nbRevisions=2182199
6.30 nbUselessRevisions=2013260 nbAssignments=12718 nbFailedAssignments=3283 nbBacktracks=8804 nbVisitedNodes=19023
6.30 nbRestartNogoods=78
6.30 => wckTime=4.635 cpuTime=4.53 mem=51M545
8.41
8.41 search
8.41 run=15 nbConstraintChecks=1399444 nbValidityChecks=1892772 nbPropagations=207423 nbRevisions=3273047
8.41 nbUselessRevisions=3022450 nbAssignments=18861 nbFailedAssignments=5000 nbBacktracks=13183 nbVisitedNodes=28462
8.41 nbRestartNogoods=82
8.41 => wckTime=6.749 cpuTime=6.64 mem=51M545
11.68
11.68 search
11.68 run=16 nbConstraintChecks=2073684 nbValidityChecks=2840535 nbPropagations=308778 nbRevisions=4925261
11.68 nbUselessRevisions=4551545 nbAssignments=27940 nbFailedAssignments=7470 nbBacktracks=19752 nbVisitedNodes=42291
11.68 nbRestartNogoods=92
11.68 => wckTime=10.02 cpuTime=9.91 mem=51M545
16.30
16.30 search
16.30 run=17 nbConstraintChecks=2972887 nbValidityChecks=4020473 nbPropagations=458830 nbRevisions=7260699
16.30 nbUselessRevisions=6706417 nbAssignments=41647 nbFailedAssignments=11287 nbBacktracks=29609
16.30 nbVisitedNodes=63553 nbRestartNogoods=99
16.30 => wckTime=14.634 cpuTime=14.52 mem=51M545
25.02
25.02 search
25.02 run=18 nbConstraintChecks=5091539 nbValidityChecks=7006312 nbPropagations=690169 nbRevisions=11223379
25.02 nbUselessRevisions=10371985 nbAssignments=61361 nbFailedAssignments=16170 nbBacktracks=44393
25.02 nbVisitedNodes=92928 nbRestartNogoods=106
25.02 => wckTime=23.358 cpuTime=23.24 mem=51M545
37.27
37.27 search
37.27 run=19 nbConstraintChecks=7951573 nbValidityChecks=11056944 nbPropagations=1044537 nbRevisions=17509765
37.27 nbUselessRevisions=16202757 nbAssignments=91969 nbFailedAssignments=24563 nbBacktracks=66563
37.27 nbVisitedNodes=139719 nbRestartNogoods=113
37.27 => wckTime=35.607 cpuTime=35.47 mem=51M545
57.90
57.90 search
57.90 run=20 nbConstraintChecks=13117718 nbValidityChecks=18693887 nbPropagations=1581226 nbRevisions=28004163
57.90 nbUselessRevisions=25971413 nbAssignments=135220 nbFailedAssignments=34495 nbBacktracks=99815
57.90 nbVisitedNodes=202340 nbRestartNogoods=121
57.90 => wckTime=56.233 cpuTime=56.09 mem=51M545
92.49
92.49 search
92.49 run=21 nbConstraintChecks=21302187 nbValidityChecks=30899401 nbPropagations=2434345 nbRevisions=45249487
92.49 nbUselessRevisions=42040047 nbAssignments=201173 nbFailedAssignments=50514 nbBacktracks=149693
92.49 nbVisitedNodes=299858 nbRestartNogoods=136
92.49 => wckTime=90.823 cpuTime=90.67 mem=51M545
134.17
134.17 search
134.17 run=22 nbConstraintChecks=31718867 nbValidityChecks=45472936 nbPropagations=3671208 nbRevisions=70534500
134.17 nbUselessRevisions=65617879 nbAssignments=301051 nbFailedAssignments=75517 nbBacktracks=224511
134.17 nbVisitedNodes=448351 nbRestartNogoods=143
134.17 => wckTime=132.51 cpuTime=132.34 mem=51M545
185.26
185.26 search
185.26 run=23 nbConstraintChecks=42119051 nbValidityChecks=59433173 nbPropagations=5464027 nbRevisions=104119550
185.26 nbUselessRevisions=96838777 nbAssignments=456742 nbFailedAssignments=118934 nbBacktracks=336741
185.26 nbVisitedNodes=687275 nbRestartNogoods=158
185.26 => wckTime=183.599 cpuTime=183.42 mem=51M545
289.35
289.35 search
289.35 run=24 nbConstraintChecks=68615708 nbValidityChecks=98234245 nbPropagations=8192429 nbRevisions=159210997
289.35 nbUselessRevisions=148224339 nbAssignments=678052 nbFailedAssignments=171855 nbBacktracks=505083
289.35 nbVisitedNodes=1012891 nbRestartNogoods=169
289.35 => wckTime=287.69 cpuTime=287.49 mem=51M545
454.86
454.86 search
454.86 run=25 nbConstraintChecks=110497706 nbValidityChecks=160208724 nbPropagations=12384556 nbRevisions=248284681
454.87 nbUselessRevisions=231416562 nbAssignments=1009064 nbFailedAssignments=250292 nbBacktracks=757600
454.87 nbVisitedNodes=1498696 nbRestartNogoods=184
454.87 => wckTime=453.202 cpuTime=452.95 mem=51M545
713.67
713.67 search
713.67 run=26 nbConstraintChecks=171301151 nbValidityChecks=250015555 nbPropagations=18931021 nbRevisions=387800190
713.67 nbUselessRevisions=361740423 nbAssignments=1513190 nbFailedAssignments=375587 nbBacktracks=1136374
713.67 nbVisitedNodes=2247594 nbRestartNogoods=199
713.67 => wckTime=712.01 cpuTime=711.69 mem=51M545
1041.88
1041.89 search
1041.89 run=27 nbConstraintChecks=247472102 nbValidityChecks=358001203 nbPropagations=28558237 nbRevisions=587376142
1041.89 nbUselessRevisions=548089196 nbAssignments=2274945 nbFailedAssignments=569140 nbBacktracks=1704530
1041.89 nbVisitedNodes=3392222 nbRestartNogoods=212
1041.89 => wckTime=1040.222 cpuTime=1039.8 mem=51M545
1623.82
1623.83 search
1623.83 run=28 nbConstraintChecks=389406160 nbValidityChecks=565431245 nbPropagations=43433383 nbRevisions=901695466
1623.83 nbUselessRevisions=841595441 nbAssignments=3409494 nbFailedAssignments=851409 nbBacktracks=2556756
1623.83 nbVisitedNodes=5082840 nbRestartNogoods=224
1623.83 => wckTime=1622.162 cpuTime=1620.76 mem=51M545
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-218892-1168079737 -o ROOT/results/node48/solver-218892-1168079737 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218892-1168079737/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.64 0.95 0.98 2/68 32732
/proc/meminfo: memFree=1637760/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=1784 CPUtime=0
/proc/32731/stat : 32731 (java) D 32729 32731 32548 0 -1 0 346 0 0 0 0 0 0 0 19 0 1 0 156372517 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/32731/statm: 446 140 106 14 0 91 0
[startup+0.10732 s]
/proc/loadavg: 0.64 0.95 0.98 2/68 32732
/proc/meminfo: memFree=1637760/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=914988 CPUtime=0.09
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 3123 0 1 0 8 1 0 0 24 0 8 0 156372517 936947712 2869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228747 2869 1470 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515362 s]
/proc/loadavg: 0.64 0.95 0.98 2/68 32732
/proc/meminfo: memFree=1637760/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915328 CPUtime=0.5
/proc/32731/stat : 32731 (java) S 32729 32731 32548 0 -1 0 7432 0 1 0 45 5 0 0 16 0 8 0 156372517 937295872 7171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228832 7171 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34344 s]
/proc/loadavg: 0.67 0.95 0.98 2/75 304
/proc/meminfo: memFree=1575880/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915760 CPUtime=1.32
/proc/32731/stat : 32731 (java) S 32729 32731 32548 0 -1 0 17049 0 1 0 106 26 0 0 16 0 8 0 156372517 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228940 16787 2189 14 0 215410 0
[pid=32731/tid=32733] ppid=32729 vsize=915760 CPUtime=0.04
/proc/32731/task/32733/stat : 32733 (java) R 32729 32731 32548 0 -1 64 421 0 0 0 4 0 0 0 16 0 8 0 156372520 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525278 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915760 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915760 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915760 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915760 CPUtime=0.16
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 156372523 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915760 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915760 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937738240 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915760
[startup+2.9876 s]
/proc/loadavg: 0.67 0.95 0.98 4/87 316
/proc/meminfo: memFree=1562408/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=2.97
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19082 0 1 0 268 29 0 0 17 0 8 0 156372517 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18817 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 17 0 8 0 156372520 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.29
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 501 0 0 0 28 1 0 0 15 0 8 0 156372523 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) R 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915728
[startup+6.26788 s]
/proc/loadavg: 0.70 0.95 0.98 2/75 316
/proc/meminfo: memFree=1568712/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=6.25
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 596 29 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915728
[startup+12.7515 s]
/proc/loadavg: 0.72 0.95 0.98 2/75 327
/proc/meminfo: memFree=1571080/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=12.73
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 1243 30 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915728
[startup+25.5997 s]
/proc/loadavg: 0.84 0.97 0.99 2/75 383
/proc/meminfo: memFree=1569104/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=25.56
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 2524 32 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915728
[startup+51.297 s]
/proc/loadavg: 1.03 1.00 1.00 2/72 498
/proc/meminfo: memFree=1574272/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=51.24
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 5091 33 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915728
[startup+102.569 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 498
/proc/meminfo: memFree=1574472/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=102.5
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 10216 34 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 915728
[startup+162.576 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 498
/proc/meminfo: memFree=1574472/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=162.49
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 16215 34 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 915728
[startup+1482.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/75 638
/proc/meminfo: memFree=1566248/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1482.3
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 148191 39 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) R 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 915728
[startup+1542.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 728
/proc/meminfo: memFree=1566968/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1542.3
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 154186 44 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 915728
[startup+1602.87 s]
/proc/loadavg: 1.56 1.15 1.05 3/93 856
/proc/meminfo: memFree=1408656/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1601.78
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 160133 45 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074026032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 915728
[startup+1662.87 s]
/proc/loadavg: 1.84 1.30 1.11 3/87 884
/proc/meminfo: memFree=1409672/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1661.2
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 166074 46 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.2
Current children cumulated vsize (KiB) 915728
[startup+1722.97 s]
/proc/loadavg: 1.94 1.43 1.16 3/87 884
/proc/meminfo: memFree=1409672/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1720.76
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 172030 46 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.76
Current children cumulated vsize (KiB) 915728
[startup+1783.07 s]
/proc/loadavg: 1.98 1.53 1.21 3/87 884
/proc/meminfo: memFree=1409672/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1780.3
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 177984 46 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.3
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.02 s]
/proc/loadavg: 2.06 1.58 1.23 3/87 884
/proc/meminfo: memFree=1409672/2055920 swapFree=4192812/4192956
[pid=32731] ppid=32729 vsize=915728 CPUtime=1800.07
/proc/32731/stat : 32731 (java) R 32729 32731 32548 0 -1 0 19086 0 1 0 179961 46 0 0 25 0 8 0 156372517 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32731/statm: 228932 18820 2537 14 0 215402 0
[pid=32731/tid=32733] ppid=32729 vsize=915728 CPUtime=0.09
/proc/32731/task/32733/stat : 32733 (java) S 32729 32731 32548 0 -1 64 1948 0 0 0 9 0 0 0 16 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32734] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32734/stat : 32734 (java) S 32729 32731 32548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32735] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32735/stat : 32735 (java) S 32729 32731 32548 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156372520 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32736] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32736/stat : 32736 (java) S 32729 32731 32548 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32737] ppid=32729 vsize=915728 CPUtime=0.3
/proc/32731/task/32737/stat : 32737 (java) S 32729 32731 32548 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32731/tid=32738] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32738/stat : 32738 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156372523 937705472 18820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32731/tid=32739] ppid=32729 vsize=915728 CPUtime=0
/proc/32731/task/32739/stat : 32739 (java) S 32729 32731 32548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156372524 937705472 18820 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) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.06
CPU time (s): 1800.12
CPU user time (s): 1799.64
CPU system time (s): 0.479927
CPU usage (%): 99.837
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.479927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19102
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= 37559
involuntary context switches= 14985
runsolver used 2.07668 s user time and 4.6023 s system time
The end
Begin job on node48 on Sat Jan 6 10:35:38 UTC 2007
IDJOB= 218892
IDBENCH= 5264
FILE ID= node48/218892-1168079737
PBS_JOBID= 3476139
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-12-12-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218892-1168079737/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-218892-1168079737 -o ROOT/results/node48/solver-218892-1168079737 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218892-1168079737/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2536cda080b196088383bbd934df75c8
RANDOM SEED= 428249411
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1638176 kB
Buffers: 30736 kB
Cached: 294168 kB
SwapCached: 0 kB
Active: 69760 kB
Inactive: 275264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2768 kB
Writeback: 0 kB
Mapped: 30252 kB
Slab: 58428 kB
Committed_AS: 3129572 kB
PageTables: 1584 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= 66557 MiB
End job on node48 on Sat Jan 6 11:05:41 UTC 2007