0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/212766-1168223929/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.65 nbVariables=2080 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.65 => wckTime=0.276 cpuTime=0.17 mem=10M820
0.65
0.65 predicates being loaded...
0.65
0.65 constraints being loaded...
1.44 nbConstraints=4702 nbSingletonDomainVariables=252 nbConvertedConstraints=2835 nbConvertConstraintsChecks=1243
1.44 nbExtensionStructures=9 nbSharedExtensionStructures=2826 nbConflictsStructures=110
1.44 nbSharedConflictsStructures=4592 nbSharedBinaryRepresentations=21 nbEvaluationManagers=101
1.44 nbSharedEvaluationManagers=1766 maxDegree=27 maxArity=6
1.44 => wckTime=1.066 cpuTime=0.85 mem=41M50
1.53
1.53 solver IterativeSystematicSolver being built...
1.85 => wckTime=1.481 cpuTime=1.1 mem=39M35
3.74
3.74 preprocessing
3.74 nbConstraintChecks=23254 nbValidityChecks=5897 nbPropagations=9892 nbRevisions=24953 nbUselessRevisions=20399
3.74 nbSingletonTests=3316 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
3.74 => wckTime=1.883 cpuTime=1.81 mem=39M35
4.15
4.15 search
4.15 run=0 nbConstraintChecks=5239 nbValidityChecks=1333 nbPropagations=11141 nbRevisions=29585
4.15 nbUselessRevisions=23813 nbAssignments=355 nbFailedAssignments=1 nbBacktracks=31 nbVisitedNodes=359
4.15 nbRestartNogoods=0 mapSize=2 nbInferences=0 nbTooLargeKeys=0
4.15 => wckTime=2.287 cpuTime=2.2 mem=40M9
4.61
4.61 search
4.61 run=1 nbConstraintChecks=10850 nbValidityChecks=3417 nbPropagations=23884 nbRevisions=64849
4.61 nbUselessRevisions=51718 nbAssignments=747 nbFailedAssignments=3 nbBacktracks=92 nbVisitedNodes=757
4.61 nbRestartNogoods=1 mapSize=7 nbInferences=0 nbTooLargeKeys=0
4.61 => wckTime=2.754 cpuTime=2.66 mem=40M9
5.11
5.11 search
5.11 run=2 nbConstraintChecks=16189 nbValidityChecks=5568 nbPropagations=38180 nbRevisions=105565
5.11 nbUselessRevisions=83534 nbAssignments=1157 nbFailedAssignments=5 nbBacktracks=177 nbVisitedNodes=1173
5.11 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
5.11 => wckTime=3.253 cpuTime=3.16 mem=40M9
5.53
5.53 search
5.53 run=3 nbConstraintChecks=21804 nbValidityChecks=7803 nbPropagations=54093 nbRevisions=152098
5.53 nbUselessRevisions=119568 nbAssignments=1523 nbFailedAssignments=7 nbBacktracks=212 nbVisitedNodes=1543
5.53 nbRestartNogoods=3 mapSize=15 nbInferences=0 nbTooLargeKeys=0
5.53 => wckTime=3.671 cpuTime=3.56 mem=40M983
6.26
6.26 search
6.26 run=4 nbConstraintChecks=27538 nbValidityChecks=9984 nbPropagations=71700 nbRevisions=204597
6.26 nbUselessRevisions=159903 nbAssignments=2058 nbFailedAssignments=9 nbBacktracks=280 nbVisitedNodes=2082
6.26 nbRestartNogoods=4 mapSize=17 nbInferences=0 nbTooLargeKeys=0
6.26 => wckTime=4.4 cpuTime=4.28 mem=40M983
6.95
6.95 search
6.95 run=5 nbConstraintChecks=33445 nbValidityChecks=12274 nbPropagations=91061 nbRevisions=263312
6.95 nbUselessRevisions=204727 nbAssignments=2554 nbFailedAssignments=10 nbBacktracks=410 nbVisitedNodes=2583
6.95 nbRestartNogoods=6 mapSize=21 nbInferences=0 nbTooLargeKeys=0
6.95 => wckTime=5.093 cpuTime=4.96 mem=40M983
7.73
7.73 search
7.73 run=6 nbConstraintChecks=43513 nbValidityChecks=16331 nbPropagations=113323 nbRevisions=332928
7.73 nbUselessRevisions=257549 nbAssignments=3138 nbFailedAssignments=14 nbBacktracks=534 nbVisitedNodes=3177
7.73 nbRestartNogoods=7 mapSize=29 nbInferences=0 nbTooLargeKeys=0
7.73 => wckTime=5.873 cpuTime=5.73 mem=41M957
8.37
8.37 search
8.37 run=7 nbConstraintChecks=55874 nbValidityChecks=21479 nbPropagations=139141 nbRevisions=416367
8.37 nbUselessRevisions=320599 nbAssignments=3665 nbFailedAssignments=21 nbBacktracks=716 nbVisitedNodes=3718
8.37 nbRestartNogoods=9 mapSize=40 nbInferences=0 nbTooLargeKeys=0
8.37 => wckTime=6.51 cpuTime=6.37 mem=41M957
9.54
9.54 search
9.54 run=8 nbConstraintChecks=66305 nbValidityChecks=25197 nbPropagations=167920 nbRevisions=510552
9.54 nbUselessRevisions=391397 nbAssignments=4379 nbFailedAssignments=29 nbBacktracks=1016 nbVisitedNodes=4450
9.54 nbRestartNogoods=12 mapSize=57 nbInferences=0 nbTooLargeKeys=0
9.54 => wckTime=7.679 cpuTime=7.53 mem=42M932
10.49
10.49 search
10.49 run=9 nbConstraintChecks=86176 nbValidityChecks=33661 nbPropagations=202136 nbRevisions=626776
10.49 nbUselessRevisions=478673 nbAssignments=5072 nbFailedAssignments=45 nbBacktracks=1417 nbVisitedNodes=5180
10.49 nbRestartNogoods=13 mapSize=93 nbInferences=0 nbTooLargeKeys=0
10.49 => wckTime=8.63 cpuTime=8.48 mem=42M932
12.40
12.40 search
12.40 run=10 nbConstraintChecks=98342 nbValidityChecks=38038 nbPropagations=239581 nbRevisions=755062
12.40 nbUselessRevisions=574685 nbAssignments=6122 nbFailedAssignments=57 nbBacktracks=2015 nbVisitedNodes=6262
12.40 nbRestartNogoods=14 mapSize=123 nbInferences=1 nbTooLargeKeys=0
12.40 => wckTime=10.544 cpuTime=10.37 mem=43M906
14.47
14.47 search
14.47 run=11 nbConstraintChecks=134159 nbValidityChecks=51054 nbPropagations=286805 nbRevisions=919984
14.47 nbUselessRevisions=697302 nbAssignments=7383 nbFailedAssignments=91 nbBacktracks=2906 nbVisitedNodes=7592
14.47 nbRestartNogoods=16 mapSize=190 nbInferences=1 nbTooLargeKeys=0
14.47 => wckTime=12.61 cpuTime=12.43 mem=44M880
17.64
17.64 search
17.64 run=12 nbConstraintChecks=235037 nbValidityChecks=99816 nbPropagations=362434 nbRevisions=1215452
17.64 nbUselessRevisions=921577 nbAssignments=9017 nbFailedAssignments=159 nbBacktracks=4210 nbVisitedNodes=9382
17.64 nbRestartNogoods=18 mapSize=342 nbInferences=6 nbTooLargeKeys=0
17.64 => wckTime=15.777 cpuTime=15.58 mem=45M854
22.33
22.33 search
22.33 run=13 nbConstraintChecks=335928 nbValidityChecks=148251 nbPropagations=465425 nbRevisions=1632327
22.33 nbUselessRevisions=1239198 nbAssignments=11277 nbFailedAssignments=228 nbBacktracks=6169 nbVisitedNodes=11778
22.33 nbRestartNogoods=22 mapSize=474 nbInferences=6 nbTooLargeKeys=0
22.33 => wckTime=20.467 cpuTime=20.23 mem=47M802
29.55
29.55 search
29.55 run=14 nbConstraintChecks=879553 nbValidityChecks=400080 nbPropagations=718952 nbRevisions=2745010
29.55 nbUselessRevisions=2097267 nbAssignments=14839 nbFailedAssignments=660 nbBacktracks=9090 nbVisitedNodes=16082
29.55 nbRestartNogoods=26 mapSize=1210 nbInferences=8 nbTooLargeKeys=0
29.55 => wckTime=27.69 cpuTime=27.42 mem=49M750
38.88
38.88 search
38.88 run=15 nbConstraintChecks=1254045 nbValidityChecks=576140 nbPropagations=1073544 nbRevisions=4322970
38.88 nbUselessRevisions=3316683 nbAssignments=19507 nbFailedAssignments=827 nbBacktracks=13499 nbVisitedNodes=21113
38.88 nbRestartNogoods=32 mapSize=1570 nbInferences=15 nbTooLargeKeys=0
38.88 => wckTime=37.022 cpuTime=36.7 mem=52M672
54.83
54.83 search
54.83 run=16 nbConstraintChecks=2731403 nbValidityChecks=1273115 nbPropagations=1816479 nbRevisions=7871303
54.83 nbUselessRevisions=6106057 nbAssignments=27069 nbFailedAssignments=1610 nbBacktracks=20084 nbVisitedNodes=30019
54.83 nbRestartNogoods=35 mapSize=3018 nbInferences=31 nbTooLargeKeys=0
54.83 => wckTime=52.97 cpuTime=52.54 mem=14M69
78.25
78.25 search
78.25 run=17 nbConstraintChecks=5259942 nbValidityChecks=2471855 nbPropagations=3208241 nbRevisions=14715024
78.25 nbUselessRevisions=11524966 nbAssignments=38002 nbFailedAssignments=2480 nbBacktracks=29940
78.25 nbVisitedNodes=42744 nbRestartNogoods=40 mapSize=4805 nbInferences=169 nbTooLargeKeys=0
78.25 => wckTime=76.389 cpuTime=75.85 mem=22M991
109.38
109.38 search
109.38 run=18 nbConstraintChecks=8354646 nbValidityChecks=3825856 nbPropagations=5410482 nbRevisions=25348795
109.38 nbUselessRevisions=19894334 nbAssignments=54593 nbFailedAssignments=4257 nbBacktracks=44724
109.38 nbVisitedNodes=62483 nbRestartNogoods=46 mapSize=7947 nbInferences=175 nbTooLargeKeys=0
109.38 => wckTime=107.517 cpuTime=106.83 mem=34M843
156.43
156.43 search
156.43 run=19 nbConstraintChecks=12606947 nbValidityChecks=5844198 nbPropagations=8760184 nbRevisions=41605431
156.43 nbUselessRevisions=32684543 nbAssignments=78985 nbFailedAssignments=6385 nbBacktracks=66910
156.43 nbVisitedNodes=90866 nbRestartNogoods=52 mapSize=11946 nbInferences=190 nbTooLargeKeys=0
156.43 => wckTime=154.573 cpuTime=153.66 mem=53M610
238.29
238.29 search
238.29 run=20 nbConstraintChecks=16058399 nbValidityChecks=7546526 nbPropagations=13025099 nbRevisions=62726334
238.29 nbUselessRevisions=49399933 nbAssignments=114409 nbFailedAssignments=8390 nbBacktracks=100165
238.29 nbVisitedNodes=130551 nbRestartNogoods=58 mapSize=16198 nbInferences=291 nbTooLargeKeys=0
238.29 => wckTime=236.428 cpuTime=235.08 mem=36M640
361.46
361.46 search
361.46 run=21 nbConstraintChecks=27374592 nbValidityChecks=13052428 nbPropagations=20266784 nbRevisions=99567302
361.46 nbUselessRevisions=78764255 nbAssignments=171075 nbFailedAssignments=14848 nbBacktracks=150048
361.46 nbVisitedNodes=199519 nbRestartNogoods=67 mapSize=28538 nbInferences=480 nbTooLargeKeys=0
361.46 => wckTime=359.605 cpuTime=357.63 mem=41M364
533.69
533.69 search
533.69 run=22 nbConstraintChecks=41542232 nbValidityChecks=19590005 nbPropagations=31255958 nbRevisions=154972131
533.69 nbUselessRevisions=122813564 nbAssignments=255548 nbFailedAssignments=24186 nbBacktracks=224886
533.69 nbVisitedNodes=300633 nbRestartNogoods=79 mapSize=45171 nbInferences=645 nbTooLargeKeys=0
533.69 => wckTime=531.832 cpuTime=528.97 mem=66M278
807.11
807.11 search
807.11 run=23 nbConstraintChecks=60574052 nbValidityChecks=28744467 nbPropagations=47242041 nbRevisions=237472140
807.11 nbUselessRevisions=188830346 nbAssignments=379198 nbFailedAssignments=35205 nbBacktracks=337125
807.11 nbVisitedNodes=444676 nbRestartNogoods=86 mapSize=65649 nbInferences=854 nbTooLargeKeys=0
807.11 => wckTime=805.252 cpuTime=801.0 mem=83M653
1200.67
1200.67 search
1200.67 run=24 nbConstraintChecks=91035421 nbValidityChecks=43206453 nbPropagations=71234073 nbRevisions=362542236
1200.67 nbUselessRevisions=289196827 nbAssignments=562551 nbFailedAssignments=50035 nbBacktracks=505480
1200.67 nbVisitedNodes=656765 nbRestartNogoods=98 mapSize=94379 nbInferences=957 nbTooLargeKeys=0
1200.67 => wckTime=1198.812 cpuTime=1192.56 mem=108M118
1791.47
1791.47 search
1791.47 run=25 nbConstraintChecks=136057189 nbValidityChecks=65209776 nbPropagations=107245179 nbRevisions=551956143
1791.47 nbUselessRevisions=441497888 nbAssignments=836105 nbFailedAssignments=70952 nbBacktracks=757996
1791.47 nbVisitedNodes=969284 nbRestartNogoods=104 mapSize=133335 nbInferences=1013 nbTooLargeKeys=0
1791.47 => wckTime=1789.614 cpuTime=1777.2 mem=165M385
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-212766-1168223929 -o ROOT/results/node25/solver-212766-1168223929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212766-1168223929/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.71 2.61 2.78 4/82 23267
/proc/meminfo: memFree=1889728/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=1784 CPUtime=0
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 170785425 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/23265/statm: 446 140 106 14 0 91 0
[startup+0.104533 s]
/proc/loadavg: 1.71 2.61 2.78 4/82 23267
/proc/meminfo: memFree=1889728/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=913228 CPUtime=0.07
/proc/23265/stat : 23265 (java) S 23262 23265 23148 0 -1 0 2900 0 2 0 6 1 0 0 24 0 8 0 170785425 935145472 2647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228307 2647 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.512604 s]
/proc/loadavg: 1.71 2.61 2.78 4/82 23267
/proc/meminfo: memFree=1889728/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915328 CPUtime=0.41
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 6134 0 19 0 36 5 0 0 18 0 8 0 170785425 937295872 5891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228832 5891 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33575 s]
/proc/loadavg: 1.71 2.61 2.78 3/101 23305
/proc/meminfo: memFree=1800608/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915644 CPUtime=1.23
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 14017 0 19 0 97 26 0 0 24 0 8 0 170785425 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228911 13773 2167 14 0 215381 0
[pid=23265/tid=23278] ppid=23262 vsize=915644 CPUtime=0
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 170785430 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915644 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 170785430 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915644 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 170785430 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915644 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915644 CPUtime=0.2
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 429 0 0 0 20 0 0 0 15 0 8 0 170785433 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915644 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915644 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937619456 13773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915644
[startup+2.98903 s]
/proc/loadavg: 1.71 2.61 2.78 4/101 23305
/proc/meminfo: memFree=1784480/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=2.87
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 16695 0 19 0 255 32 0 0 25 0 8 0 170785425 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074109680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 16450 2543 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.08
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 1625 0 0 0 8 0 0 0 17 0 8 0 170785430 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.35
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 505 0 0 0 33 2 0 0 15 0 8 0 170785433 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 16450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915728
[startup+6.27759 s]
/proc/loadavg: 1.82 2.62 2.78 3/101 23305
/proc/meminfo: memFree=1783712/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=6.12
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 16718 0 19 0 580 32 0 0 25 0 8 0 170785425 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 16470 2544 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.08
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 1625 0 0 0 8 0 0 0 17 0 8 0 170785430 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.39
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 524 0 0 0 37 2 0 0 16 0 8 0 170785433 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 16470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915728
[startup+12.7687 s]
/proc/loadavg: 1.75 2.59 2.77 5/101 23378
/proc/meminfo: memFree=1782488/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=12.58
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 16728 0 19 0 1222 36 0 0 25 0 8 0 170785425 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23265/statm: 228932 16477 2544 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.08
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 1625 0 0 0 8 0 0 0 17 0 8 0 170785430 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.4
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 530 0 0 0 38 2 0 0 15 0 8 0 170785433 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 16477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915728
[startup+25.6397 s]
/proc/loadavg: 1.88 2.58 2.76 4/104 23431
/proc/meminfo: memFree=1774552/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=25.37
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 17024 0 19 0 2493 44 0 0 25 0 8 0 170785425 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23265/statm: 228932 16772 2544 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.08
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 1625 0 0 0 8 0 0 0 16 0 8 0 170785430 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.4
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 531 0 0 0 38 2 0 0 16 0 8 0 170785433 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 16772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915728
[startup+51.256 s]
/proc/loadavg: 1.86 2.51 2.74 3/93 23659
/proc/meminfo: memFree=1791592/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=50.85
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 19680 0 19 0 5039 46 0 0 25 0 8 0 170785425 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 19426 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.09
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 2516 0 0 0 9 0 0 0 16 0 8 0 170785430 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.4
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 531 0 0 0 38 2 0 0 16 0 8 0 170785433 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 19426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915728
[startup+102.487 s]
/proc/loadavg: 1.94 2.43 2.70 3/93 23659
/proc/meminfo: memFree=1791720/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=101.84
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 19681 0 19 0 10137 47 0 0 25 0 8 0 170785425 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 19427 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.09
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 2516 0 0 0 9 0 0 0 16 0 8 0 170785430 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 532 0 0 0 39 2 0 0 17 0 8 0 170785433 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915728
[startup+162.567 s]
/proc/loadavg: 2.12 2.38 2.66 3/93 23659
/proc/meminfo: memFree=1791656/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=161.64
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 19681 0 19 0 16116 48 0 0 25 0 8 0 170785425 937705472 19427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.07
Current children cumulated vsize (KiB) 915728
[startup+1484.26 s]
/proc/loadavg: 2.07 2.04 2.16 3/93 24267
/proc/meminfo: memFree=1655464/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1473.84
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 44484 0 19 0 147311 73 0 0 25 0 8 0 170785425 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 44219 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.53
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 27307 0 0 0 42 11 0 0 16 0 8 0 170785430 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.84
Current children cumulated vsize (KiB) 915728
[startup+1544.34 s]
/proc/loadavg: 2.02 2.03 2.14 3/93 24267
/proc/meminfo: memFree=1655464/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1533.63
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 44484 0 19 0 153290 73 0 0 25 0 8 0 170785425 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 44219 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.53
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 27307 0 0 0 42 11 0 0 16 0 8 0 170785430 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 44219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.63
Current children cumulated vsize (KiB) 915728
[startup+1604.42 s]
/proc/loadavg: 2.04 2.04 2.14 3/93 24267
/proc/meminfo: memFree=1647400/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1593.43
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 46530 0 19 0 159269 74 0 0 25 0 8 0 170785425 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 46264 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.57
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 29352 0 0 0 45 12 0 0 16 0 8 0 170785430 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.43
Current children cumulated vsize (KiB) 915728
[startup+1664.49 s]
/proc/loadavg: 2.01 2.03 2.13 3/93 24267
/proc/meminfo: memFree=1647272/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1653.22
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 46530 0 19 0 165247 75 0 0 25 0 8 0 170785425 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 46264 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.57
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 29352 0 0 0 45 12 0 0 16 0 8 0 170785430 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 46264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.22
Current children cumulated vsize (KiB) 915728
[startup+1724.57 s]
/proc/loadavg: 2.00 2.02 2.11 3/93 24267
/proc/meminfo: memFree=1638696/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1713.01
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 48652 0 19 0 171224 77 0 0 25 0 8 0 170785425 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 48385 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.61
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 31473 0 0 0 48 13 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.01
Current children cumulated vsize (KiB) 915728
[startup+1784.65 s]
/proc/loadavg: 2.00 2.01 2.10 3/93 24267
/proc/meminfo: memFree=1638696/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1772.8
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 48652 0 19 0 177203 77 0 0 25 0 8 0 170785425 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 48385 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.61
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 31473 0 0 0 48 13 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.8
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.02 s]
/proc/loadavg: 2.00 2.01 2.10 3/93 24267
/proc/meminfo: memFree=1638696/2055920 swapFree=4170848/4192956
[pid=23265] ppid=23262 vsize=915728 CPUtime=1800.04
/proc/23265/stat : 23265 (java) R 23262 23265 23148 0 -1 0 48652 0 19 0 179927 77 0 0 25 0 8 0 170785425 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23265/statm: 228932 48385 2548 14 0 215402 0
[pid=23265/tid=23278] ppid=23262 vsize=915728 CPUtime=0.61
/proc/23265/task/23278/stat : 23278 (java) S 23262 23265 23148 0 -1 64 31473 0 0 0 48 13 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23279] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23279/stat : 23279 (java) S 23262 23265 23148 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23280] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23280/stat : 23280 (java) S 23262 23265 23148 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170785430 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23285] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23285/stat : 23285 (java) S 23262 23265 23148 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23286] ppid=23262 vsize=915728 CPUtime=0.41
/proc/23265/task/23286/stat : 23286 (java) S 23262 23265 23148 0 -1 64 533 0 0 0 39 2 0 0 16 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23265/tid=23287] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23287/stat : 23287 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23265/tid=23288] ppid=23262 vsize=915728 CPUtime=0
/proc/23265/task/23288/stat : 23288 (java) S 23262 23265 23148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170785433 937705472 48385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.09
CPU time (s): 1800.12
CPU user time (s): 1799.31
CPU system time (s): 0.811876
CPU usage (%): 99.3391
Max. virtual memory (cumulated for all children) (KiB): 915728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.811876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48669
page faults= 19
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38494
involuntary context switches= 60050
runsolver used 1.9887 s user time and 6.05108 s system time
The end
Begin job on node25 on Mon Jan 8 02:38:50 UTC 2007
IDJOB= 212766
IDBENCH= 4796
FILE ID= node25/212766-1168223929
PBS_JOBID= 3480965
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-0432-007.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212766-1168223929/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-212766-1168223929 -o ROOT/results/node25/solver-212766-1168223929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212766-1168223929/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 75306e088ab36ae277fcdc644f384d6a
RANDOM SEED= 232905099
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.279
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.279
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: 1890272 kB
Buffers: 34024 kB
Cached: 50860 kB
SwapCached: 1272 kB
Active: 63320 kB
Inactive: 49252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1890272 kB
SwapTotal: 4192956 kB
SwapFree: 4170848 kB
Dirty: 6376 kB
Writeback: 0 kB
Mapped: 37916 kB
Slab: 38092 kB
Committed_AS: 3448640 kB
PageTables: 2168 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= 66559 MiB
End job on node25 on Mon Jan 8 03:09:08 UTC 2007