0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/195897-1168070227/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.098 cpuTime=0.07 mem=6M951
0.43
0.43 relations being loaded...
1.08
1.08 constraints being loaded...
1.35 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.35 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=19 maxArity=3
1.35 => wckTime=1.022 cpuTime=0.89 mem=50M841
1.47
1.47 solver IterativeSystematicSolver being built...
1.63 => wckTime=1.305 cpuTime=1.02 mem=34M589
1.64
1.64 preprocessing
1.64 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.64 detectedInconsistency=no
1.64 => wckTime=0.0030 cpuTime=0.0 mem=34M589
1.76
1.76 search
1.76 run=0 nbConstraintChecks=31800 nbValidityChecks=59322 nbPropagations=317 nbRevisions=3389
1.76 nbUselessRevisions=2743 nbAssignments=27 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=46
1.76 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.12 cpuTime=0.09 mem=35M580
1.84
1.84 search
1.84 run=1 nbConstraintChecks=80549 nbValidityChecks=152040 nbPropagations=1086 nbRevisions=12077
1.84 nbUselessRevisions=9586 nbAssignments=66 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=112
1.84 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.206 cpuTime=0.17 mem=35M580
1.94
1.94 search
1.94 run=2 nbConstraintChecks=135644 nbValidityChecks=260231 nbPropagations=2369 nbRevisions=26895
1.94 nbUselessRevisions=21305 nbAssignments=113 nbFailedAssignments=49 nbBacktracks=48 nbVisitedNodes=191
1.94 nbRestartNogoods=9 mapSize=37 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.302 cpuTime=0.26 mem=35M580
2.13
2.13 search
2.13 run=3 nbConstraintChecks=257179 nbValidityChecks=499095 nbPropagations=4805 nbRevisions=55159
2.13 nbUselessRevisions=43352 nbAssignments=227 nbFailedAssignments=123 nbBacktracks=85 nbVisitedNodes=397
2.13 nbRestartNogoods=13 mapSize=66 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.49 cpuTime=0.44 mem=35M580
2.33
2.33 search
2.33 run=4 nbConstraintChecks=388631 nbValidityChecks=762629 nbPropagations=8501 nbRevisions=98750
2.33 nbUselessRevisions=77457 nbAssignments=355 nbFailedAssignments=196 nbBacktracks=136 nbVisitedNodes=626
2.33 nbRestartNogoods=15 mapSize=102 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=0.694 cpuTime=0.64 mem=35M580
2.60
2.60 search
2.60 run=5 nbConstraintChecks=557548 nbValidityChecks=1108767 nbPropagations=13964 nbRevisions=163563
2.60 nbUselessRevisions=128302 nbAssignments=519 nbFailedAssignments=279 nbBacktracks=213 nbVisitedNodes=911
2.60 nbRestartNogoods=17 mapSize=155 nbInferences=0 nbTooLargeKeys=0
2.60 => wckTime=0.961 cpuTime=0.9 mem=35M580
3.10
3.10 search
3.10 run=6 nbConstraintChecks=897128 nbValidityChecks=1790358 nbPropagations=22734 nbRevisions=272369
3.10 nbUselessRevisions=213920 nbAssignments=842 nbFailedAssignments=483 nbBacktracks=326 nbVisitedNodes=1507
3.10 nbRestartNogoods=25 mapSize=252 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=1.463 cpuTime=1.39 mem=35M580
3.76
3.76 search
3.76 run=7 nbConstraintChecks=1330292 nbValidityChecks=2703717 nbPropagations=35874 nbRevisions=435996
3.76 nbUselessRevisions=343194 nbAssignments=1236 nbFailedAssignments=702 nbBacktracks=498 nbVisitedNodes=2226
3.76 nbRestartNogoods=31 mapSize=394 nbInferences=0 nbTooLargeKeys=0
3.76 => wckTime=2.121 cpuTime=2.04 mem=35M580
4.69
4.69 search
4.69 run=8 nbConstraintChecks=1946202 nbValidityChecks=3949288 nbPropagations=55523 nbRevisions=674183
4.69 nbUselessRevisions=530178 nbAssignments=1809 nbFailedAssignments=1016 nbBacktracks=754 nbVisitedNodes=3250
4.69 nbRestartNogoods=39 mapSize=589 nbInferences=0 nbTooLargeKeys=0
4.69 => wckTime=3.057 cpuTime=2.95 mem=35M580
6.18
6.18 search
6.18 run=9 nbConstraintChecks=2969961 nbValidityChecks=6020987 nbPropagations=85582 nbRevisions=1032750
6.18 nbUselessRevisions=810821 nbAssignments=2749 nbFailedAssignments=1567 nbBacktracks=1138 nbVisitedNodes=4969
6.18 nbRestartNogoods=44 mapSize=889 nbInferences=0 nbTooLargeKeys=0
6.18 => wckTime=4.54 cpuTime=4.42 mem=35M580
6.66
6.66 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=35M580)
7.95
7.96 search
7.96 run=10 nbConstraintChecks=4173973 nbValidityChecks=8496975 nbPropagations=128591 nbRevisions=1539703
7.96 nbUselessRevisions=1207847 nbAssignments=3933 nbFailedAssignments=2168 nbBacktracks=1718 nbVisitedNodes=7046
7.96 nbRestartNogoods=54
7.96 => wckTime=6.319 cpuTime=6.18 mem=35M580
11.02
11.02 search
11.02 run=11 nbConstraintChecks=6269023 nbValidityChecks=12764232 nbPropagations=193745 nbRevisions=2302863
11.02 nbUselessRevisions=1804213 nbAssignments=5829 nbFailedAssignments=3196 nbBacktracks=2583 nbVisitedNodes=10452
11.02 nbRestartNogoods=64
11.02 => wckTime=9.381 cpuTime=9.23 mem=35M580
15.08
15.08 search
15.08 run=12 nbConstraintChecks=9110623 nbValidityChecks=18438594 nbPropagations=289855 nbRevisions=3437249
15.08 nbUselessRevisions=2695739 nbAssignments=8598 nbFailedAssignments=4664 nbBacktracks=3881 nbVisitedNodes=15470
15.08 nbRestartNogoods=74
15.08 => wckTime=13.447 cpuTime=13.28 mem=35M580
23.14
23.14 search
23.14 run=13 nbConstraintChecks=14778502 nbValidityChecks=29818479 nbPropagations=441867 nbRevisions=5220424
23.14 nbUselessRevisions=4092787 nbAssignments=13560 nbFailedAssignments=7673 nbBacktracks=5829 nbVisitedNodes=24615
23.14 nbRestartNogoods=99
23.14 => wckTime=21.502 cpuTime=21.29 mem=35M580
35.21
35.21 search
35.21 run=14 nbConstraintChecks=23163816 nbValidityChecks=46870863 nbPropagations=678588 nbRevisions=7989544
35.21 nbUselessRevisions=6258517 nbAssignments=21048 nbFailedAssignments=12237 nbBacktracks=8749 nbVisitedNodes=38396
35.21 nbRestartNogoods=113
35.21 => wckTime=33.575 cpuTime=33.31 mem=35M580
49.76
49.76 search
49.77 run=15 nbConstraintChecks=33215525 nbValidityChecks=67189605 nbPropagations=1020813 nbRevisions=11978690
49.77 nbUselessRevisions=9378704 nbAssignments=30398 nbFailedAssignments=17203 nbBacktracks=13132
49.77 nbVisitedNodes=55036 nbRestartNogoods=130
49.77 => wckTime=48.129 cpuTime=47.79 mem=35M580
73.30
73.30 search
73.30 run=16 nbConstraintChecks=49447198 nbValidityChecks=100474416 nbPropagations=1537216 nbRevisions=17960788
73.30 nbUselessRevisions=14059637 nbAssignments=45136 nbFailedAssignments=25368 nbBacktracks=19701
73.31 nbVisitedNodes=81858 nbRestartNogoods=139
73.31 => wckTime=71.669 cpuTime=71.22 mem=35M580
110.59
110.59 search
110.59 run=17 nbConstraintChecks=75368731 nbValidityChecks=152809997 nbPropagations=2317459 nbRevisions=26992136
110.59 nbUselessRevisions=21120400 nbAssignments=68252 nbFailedAssignments=38626 nbBacktracks=29555
110.59 nbVisitedNodes=123851 nbRestartNogoods=154
110.59 => wckTime=108.953 cpuTime=108.33 mem=35M580
162.95
162.95 search
162.95 run=18 nbConstraintChecks=111514707 nbValidityChecks=226531248 nbPropagations=3481693 nbRevisions=40433971
162.95 nbUselessRevisions=31627546 nbAssignments=101211 nbFailedAssignments=56804 nbBacktracks=44333
162.95 nbVisitedNodes=183493 nbRestartNogoods=171
162.95 => wckTime=161.31 cpuTime=160.44 mem=35M580
243.57
243.57 search
243.57 run=19 nbConstraintChecks=167454055 nbValidityChecks=339663599 nbPropagations=5228829 nbRevisions=60571617
243.57 nbUselessRevisions=47368191 nbAssignments=151714 nbFailedAssignments=85136 nbBacktracks=66501
243.57 nbVisitedNodes=275001 nbRestartNogoods=186
243.57 => wckTime=241.933 cpuTime=240.62 mem=35M580
368.57
368.57 search
368.57 run=20 nbConstraintChecks=254389817 nbValidityChecks=515858365 nbPropagations=7876435 nbRevisions=91049948
368.57 nbUselessRevisions=71195356 nbAssignments=229005 nbFailedAssignments=129171 nbBacktracks=99754
368.57 nbVisitedNodes=415899 nbRestartNogoods=199
368.57 => wckTime=366.933 cpuTime=364.9 mem=35M580
555.96
555.96 search
555.96 run=21 nbConstraintChecks=384240404 nbValidityChecks=779052988 nbPropagations=11862716 nbRevisions=137046090
555.96 nbUselessRevisions=107151281 nbAssignments=343988 nbFailedAssignments=194270 nbBacktracks=149634
555.96 nbVisitedNodes=625072 nbRestartNogoods=223
555.96 => wckTime=554.328 cpuTime=551.42 mem=35M580
848.27
848.27 search
848.27 run=22 nbConstraintChecks=586827768 nbValidityChecks=1191155304 nbPropagations=17914390 nbRevisions=207002558
848.27 nbUselessRevisions=161867565 nbAssignments=521545 nbFailedAssignments=297005 nbBacktracks=224452
848.27 nbVisitedNodes=949338 nbRestartNogoods=268
848.27 => wckTime=846.631 cpuTime=842.36 mem=35M580
1065.66
1065.66 search
1065.66 run=23 nbConstraintChecks=737725364 nbValidityChecks=1498907906 nbPropagations=25491508 nbRevisions=294725650
1065.66 nbUselessRevisions=230496854 nbAssignments=652262 nbFailedAssignments=374099 nbBacktracks=278076
1065.66 nbVisitedNodes=1188950 nbRestartNogoods=285
1065.66 => wckTime=1064.026 cpuTime=1058.75 mem=35M580
1065.66
1065.66 global
1065.66 nbConstraintChecks=737725364 nbValidityChecks=1498907906 nbPropagations=25491532 nbRevisions=294725650
1065.66 nbUselessRevisions=230496854 nbRestartNogoods=285 solvingWckTime=1064.027 solvingCpuTime=1058.75 expiredTime=no
1065.66 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1059.83
1065.66 => wckTime=1065.336 cpuTime=1059.77 mem=35M580
1065.67
1065.67 s UNSATISFIABLE
1065.67 d NODES 652262
1065.67 d CHECKS 737725364
1065.67
1065.67 totalWckTime=1065.417 totalCpuTime=1059.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-195897-1168070227 -o ROOT/results/node60/solver-195897-1168070227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195897-1168070227/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: 2.00 2.00 1.93 5/80 11147
/proc/meminfo: memFree=1464984/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=1784 CPUtime=0
/proc/11146/stat : 11146 (java) D 11144 11146 10615 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 155420644 1826816 136 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11146/statm: 446 136 102 14 0 91 0
[startup+0.103663 s]
/proc/loadavg: 2.00 2.00 1.93 5/80 11147
/proc/meminfo: memFree=1464984/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=911488 CPUtime=0.06
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 2635 0 1 0 5 1 0 0 20 0 8 0 155420644 933363712 2382 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073379910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 227872 2382 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511706 s]
/proc/loadavg: 2.00 2.00 1.93 5/80 11147
/proc/meminfo: memFree=1464984/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915328 CPUtime=0.47
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 7308 0 1 0 42 5 0 0 18 0 8 0 155420644 937295872 7047 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073564857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228832 7047 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33279 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11154
/proc/meminfo: memFree=1397792/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915328 CPUtime=1.29
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 19115 0 1 0 120 9 0 0 25 0 8 0 155420644 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073645609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228832 18853 2160 14 0 215302 0
[pid=11146/tid=11148] ppid=11144 vsize=915328 CPUtime=0.05
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 2650 0 0 0 5 0 0 0 17 0 8 0 155420650 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915328 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915328 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155420651 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915328 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915328 CPUtime=0.09
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 155420654 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915328 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915328 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937295872 18853 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.96995 s]
/proc/loadavg: 2.00 2.00 1.93 4/87 11154
/proc/meminfo: memFree=1381472/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=2.91
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23551 0 1 0 279 12 0 0 25 0 8 0 155420644 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23286 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 17 0 8 0 155420650 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.2
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 374 0 0 0 19 1 0 0 15 0 8 0 155420654 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23286 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915420
[startup+6.26827 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11154
/proc/meminfo: memFree=1381216/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=6.19
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23569 0 1 0 607 12 0 0 25 0 8 0 155420644 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23301 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 17 0 8 0 155420650 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.23
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 390 0 0 0 22 1 0 0 15 0 8 0 155420654 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23301 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915420
[startup+12.7449 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11154
/proc/meminfo: memFree=1381288/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=12.64
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23573 0 1 0 1252 12 0 0 25 0 8 0 155420644 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073757667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23304 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.23
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155420654 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915420
[startup+25.6262 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11154
/proc/meminfo: memFree=1381416/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=25.46
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 2534 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915420
[startup+51.2527 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11154
/proc/meminfo: memFree=1381416/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=50.96
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 5084 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915420
[startup+102.504 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 11154
/proc/meminfo: memFree=1381480/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=101.97
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 10185 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915420
[startup+162.605 s]
/proc/loadavg: 2.04 2.01 1.93 3/87 11154
/proc/meminfo: memFree=1381480/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=161.79
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 16167 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (KiB) 915420
[startup+703.339 s]
/proc/loadavg: 2.01 2.02 1.96 3/87 11352
/proc/meminfo: memFree=1381224/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=699.8
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 69968 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.8
Current children cumulated vsize (KiB) 915420
[startup+763.441 s]
/proc/loadavg: 2.00 2.02 1.96 3/87 11352
/proc/meminfo: memFree=1381288/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=759.62
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 75950 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073757640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.62
Current children cumulated vsize (KiB) 915420
[startup+823.442 s]
/proc/loadavg: 2.00 2.01 1.96 3/87 11352
/proc/meminfo: memFree=1381288/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=819.34
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 81922 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.34
Current children cumulated vsize (KiB) 915420
[startup+883.544 s]
/proc/loadavg: 2.04 2.02 1.96 3/87 11352
/proc/meminfo: memFree=1381224/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=879.16
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 87904 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 879.16
Current children cumulated vsize (KiB) 915420
[startup+943.644 s]
/proc/loadavg: 2.01 2.02 1.96 3/87 11352
/proc/meminfo: memFree=1381224/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=938.98
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 93886 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073792197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 938.98
Current children cumulated vsize (KiB) 915420
[startup+1003.74 s]
/proc/loadavg: 2.00 2.01 1.96 3/87 11352
/proc/meminfo: memFree=1381224/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=998.8
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 99868 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 998.8
Current children cumulated vsize (KiB) 915420
[startup+1063.84 s]
/proc/loadavg: 2.08 2.02 1.97 3/87 11352
/proc/meminfo: memFree=1381224/2055920 swapFree=4192812/4192956
[pid=11146] ppid=11144 vsize=915420 CPUtime=1058.62
/proc/11146/stat : 11146 (java) R 11144 11146 10615 0 -1 0 23576 0 1 0 105850 12 0 0 25 0 8 0 155420644 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11146/statm: 228855 23306 2521 14 0 215325 0
[pid=11146/tid=11148] ppid=11144 vsize=915420 CPUtime=0.16
/proc/11146/task/11148/stat : 11148 (java) S 11144 11146 10615 0 -1 64 6584 0 0 0 15 1 0 0 16 0 8 0 155420650 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11149] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11149/stat : 11149 (java) S 11144 11146 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11150] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11150/stat : 11150 (java) S 11144 11146 10615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155420651 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11151] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11151/stat : 11151 (java) S 11144 11146 10615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11152] ppid=11144 vsize=915420 CPUtime=0.24
/proc/11146/task/11152/stat : 11152 (java) S 11144 11146 10615 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11153] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11153/stat : 11153 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11146/tid=11154] ppid=11144 vsize=915420 CPUtime=0
/proc/11146/task/11154/stat : 11154 (java) S 11144 11146 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155420654 937390080 23306 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1058.62
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 1065.71
CPU time (s): 1060.47
CPU user time (s): 1060.32
CPU system time (s): 0.143978
CPU usage (%): 99.5078
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1060.32
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23583
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= 22676
involuntary context switches= 35309
runsolver used 1.34479 s user time and 3.37849 s system time
The end
Begin job on node60 on Sat Jan 6 07:57:08 UTC 2007
IDJOB= 195897
IDBENCH= 3310
FILE ID= node60/195897-1168070227
PBS_JOBID= 3475638
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-22_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195897-1168070227/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-195897-1168070227 -o ROOT/results/node60/solver-195897-1168070227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195897-1168070227/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3f91470deb50812f5025dbd993c53a3e
RANDOM SEED= 608729394
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.236
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.236
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: 1465400 kB
Buffers: 46752 kB
Cached: 420612 kB
SwapCached: 0 kB
Active: 82988 kB
Inactive: 432656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1465400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4588 kB
Writeback: 0 kB
Mapped: 68504 kB
Slab: 60176 kB
Committed_AS: 4066648 kB
PageTables: 1956 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= 66547 MiB
End job on node60 on Sat Jan 6 08:14:54 UTC 2007