0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/231949-1168318871/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.095 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.61 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=896 maxDegree=24
0.61 maxArity=2
0.61 => wckTime=0.313 cpuTime=0.22 mem=13M778
0.65
0.65 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.5 cpuTime=0.34 mem=15M170
0.84
0.84 preprocessing
0.84 nbConstraintChecks=55193 nbPropagations=664 nbRevisions=6600 nbUselessRevisions=5787 nbSingletonTests=33
0.84 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.041 cpuTime=0.03 mem=15M170
0.86
0.86 search
0.86 run=0 nbConstraintChecks=48890 nbPropagations=1202 nbRevisions=16373 nbUselessRevisions=14310 nbAssignments=28
0.86 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.066 cpuTime=0.05 mem=15M170
0.88
0.88 search
0.88 run=1 nbConstraintChecks=101190 nbPropagations=2966 nbRevisions=42961 nbUselessRevisions=37492
0.88 nbAssignments=65 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=113 nbRestartNogoods=5 mapSize=26
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.081 cpuTime=0.06 mem=15M170
0.89
0.89 search
0.89 run=2 nbConstraintChecks=164713 nbPropagations=5462 nbRevisions=82893 nbUselessRevisions=72220
0.89 nbAssignments=111 nbFailedAssignments=47 nbBacktracks=48 nbVisitedNodes=195 nbRestartNogoods=8 mapSize=48
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.098 cpuTime=0.08 mem=15M170
0.92
0.92 search
0.92 run=3 nbConstraintChecks=265790 nbPropagations=9070 nbRevisions=144520 nbUselessRevisions=125805
0.92 nbAssignments=184 nbFailedAssignments=81 nbBacktracks=81 nbVisitedNodes=327 nbRestartNogoods=10 mapSize=81
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.121 cpuTime=0.09 mem=15M170
0.95
0.95 search
0.95 run=4 nbConstraintChecks=435437 nbPropagations=14516 nbRevisions=240024 nbUselessRevisions=208833
0.95 nbAssignments=296 nbFailedAssignments=127 nbBacktracks=131 nbVisitedNodes=510 nbRestartNogoods=15 mapSize=131
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.149 cpuTime=0.12 mem=15M170
0.99
0.99 search
0.99 run=5 nbConstraintChecks=645087 nbPropagations=22311 nbRevisions=382410 nbUselessRevisions=332643
0.99 nbAssignments=457 nbFailedAssignments=208 nbBacktracks=207 nbVisitedNodes=804 nbRestartNogoods=19 mapSize=205
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.19 cpuTime=0.16 mem=15M170
1.04
1.04 search
1.04 run=6 nbConstraintChecks=964988 nbPropagations=33622 nbRevisions=595666 nbUselessRevisions=518019
1.04 nbAssignments=685 nbFailedAssignments=317 nbBacktracks=321 nbVisitedNodes=1226 nbRestartNogoods=23 mapSize=317
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.245 cpuTime=0.21 mem=15M170
1.13
1.13 search
1.13 run=7 nbConstraintChecks=1473163 nbPropagations=50356 nbRevisions=920299 nbUselessRevisions=800095
1.13 nbAssignments=1035 nbFailedAssignments=491 nbBacktracks=491 nbVisitedNodes=1878 nbRestartNogoods=28
1.13 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.331 cpuTime=0.29 mem=15M170
1.27
1.27 search
1.27 run=8 nbConstraintChecks=2237289 nbPropagations=75191 nbRevisions=1412772 nbUselessRevisions=1228332
1.27 nbAssignments=1557 nbFailedAssignments=751 nbBacktracks=747 nbVisitedNodes=2854 nbRestartNogoods=34
1.27 mapSize=738 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.475 cpuTime=0.43 mem=15M170
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M170)
1.45
1.45 search
1.45 run=9 nbConstraintChecks=3283702 nbPropagations=111341 nbRevisions=2138426 nbUselessRevisions=1859463
1.45 nbAssignments=2316 nbFailedAssignments=1121 nbBacktracks=1131 nbVisitedNodes=4262 nbRestartNogoods=41
1.45 => wckTime=0.649 cpuTime=0.59 mem=15M170
1.71
1.71 search
1.71 run=10 nbConstraintChecks=4910640 nbPropagations=164798 nbRevisions=3224220 nbUselessRevisions=2804317
1.71 nbAssignments=3449 nbFailedAssignments=1673 nbBacktracks=1708 nbVisitedNodes=6349 nbRestartNogoods=51
1.71 => wckTime=0.909 cpuTime=0.84 mem=15M170
2.07
2.07 search
2.07 run=11 nbConstraintChecks=7265930 nbPropagations=244017 nbRevisions=4839250 nbUselessRevisions=4208993
2.07 nbAssignments=5173 nbFailedAssignments=2527 nbBacktracks=2572 nbVisitedNodes=9558 nbRestartNogoods=55
2.07 => wckTime=1.272 cpuTime=1.2 mem=15M170
2.65
2.65 search
2.65 run=12 nbConstraintChecks=11129802 nbPropagations=363666 nbRevisions=7305012 nbUselessRevisions=6354096
2.65 nbAssignments=7794 nbFailedAssignments=3845 nbBacktracks=3869 nbVisitedNodes=14449 nbRestartNogoods=68
2.65 => wckTime=1.853 cpuTime=1.78 mem=15M170
3.48
3.48 search
3.48 run=13 nbConstraintChecks=16563961 nbPropagations=542032 nbRevisions=10986778 nbUselessRevisions=9558584
3.48 nbAssignments=11650 nbFailedAssignments=5735 nbBacktracks=5816 nbVisitedNodes=21619 nbRestartNogoods=83
3.48 => wckTime=2.683 cpuTime=2.61 mem=15M170
4.71
4.71 search
4.71 run=14 nbConstraintChecks=24589509 nbPropagations=807240 nbRevisions=16487789 nbUselessRevisions=14352182
4.71 nbAssignments=17372 nbFailedAssignments=8532 nbBacktracks=8735 nbVisitedNodes=32253 nbRestartNogoods=94
4.71 => wckTime=3.916 cpuTime=3.84 mem=15M170
6.62
6.62 search
6.62 run=15 nbConstraintChecks=37173911 nbPropagations=1206689 nbRevisions=24795478 nbUselessRevisions=21592221
6.62 nbAssignments=26073 nbFailedAssignments=12851 nbBacktracks=13114 nbVisitedNodes=48520 nbRestartNogoods=104
6.62 => wckTime=5.822 cpuTime=5.75 mem=15M170
9.47
9.47 search
9.47 run=16 nbConstraintChecks=55911056 nbPropagations=1805119 nbRevisions=37248824 nbUselessRevisions=32441142
9.47 nbAssignments=38944 nbFailedAssignments=19147 nbBacktracks=19683 nbVisitedNodes=72540 nbRestartNogoods=117
9.47 => wckTime=8.673 cpuTime=8.58 mem=15M170
13.63
13.63 search
13.63 run=17 nbConstraintChecks=83530477 nbPropagations=2698628 nbRevisions=55832549 nbUselessRevisions=48628891
13.63 nbAssignments=58196 nbFailedAssignments=28541 nbBacktracks=29535 nbVisitedNodes=108386 nbRestartNogoods=127
13.63 => wckTime=12.829 cpuTime=12.72 mem=15M170
19.86
19.86 search
19.86 run=18 nbConstraintChecks=124847835 nbPropagations=4035135 nbRevisions=83650849 nbUselessRevisions=72866173
19.86 nbAssignments=87068 nbFailedAssignments=42630 nbBacktracks=44314 nbVisitedNodes=162144 nbRestartNogoods=140
19.86 => wckTime=19.066 cpuTime=18.94 mem=15M170
29.32
29.32 search
29.32 run=19 nbConstraintChecks=187087803 nbPropagations=6037462 nbRevisions=125383344 nbUselessRevisions=109232699
29.32 nbAssignments=130408 nbFailedAssignments=63797 nbBacktracks=66482 nbVisitedNodes=242882 nbRestartNogoods=151
29.32 => wckTime=28.523 cpuTime=28.38 mem=15M170
43.67
43.67 search
43.67 run=20 nbConstraintChecks=282953581 nbPropagations=9051100 nbRevisions=188388317 nbUselessRevisions=164149378
43.67 nbAssignments=195772 nbFailedAssignments=95903 nbBacktracks=99736 nbVisitedNodes=364821 nbRestartNogoods=167
43.67 => wckTime=42.876 cpuTime=42.72 mem=15M170
65.19
65.19 search
65.19 run=21 nbConstraintChecks=425919881 nbPropagations=13577711 nbRevisions=283161911 nbUselessRevisions=246769976
65.19 nbAssignments=293999 nbFailedAssignments=144246 nbBacktracks=149615 nbVisitedNodes=548019 nbRestartNogoods=184
65.19 => wckTime=64.393 cpuTime=64.21 mem=15M170
97.35
97.35 search
97.35 run=22 nbConstraintChecks=640324308 nbPropagations=20366666 nbRevisions=425514351 nbUselessRevisions=370888308
97.35 nbAssignments=441225 nbFailedAssignments=216648 nbBacktracks=224433 nbVisitedNodes=822188 nbRestartNogoods=208
97.35 => wckTime=96.557 cpuTime=96.33 mem=15M170
145.95
145.95 search
145.95 run=23 nbConstraintChecks=965085998 nbPropagations=30569769 nbRevisions=640074614 nbUselessRevisions=558026595
145.95 nbAssignments=661872 nbFailedAssignments=325063 nbBacktracks=336661 nbVisitedNodes=1233409 nbRestartNogoods=222
145.95 => wckTime=145.157 cpuTime=144.92 mem=15M170
218.64
218.64 search
218.64 run=24 nbConstraintChecks=1450417312 nbPropagations=45887933 nbRevisions=962610639 nbUselessRevisions=839387978
218.64 nbAssignments=992935 nbFailedAssignments=487779 nbBacktracks=505002 nbVisitedNodes=1850817 nbRestartNogoods=240
218.64 => wckTime=217.842 cpuTime=217.6 mem=15M170
329.16
329.16 search
329.16 run=25 nbConstraintChecks=2193735845 nbPropagations=68938757 nbRevisions=1449624996
329.16 nbUselessRevisions=1264331462 nbAssignments=1490139 nbFailedAssignments=732467 nbBacktracks=757513
329.16 nbVisitedNodes=2778396 nbRestartNogoods=261
329.16 => wckTime=328.368 cpuTime=328.09 mem=15M170
495.34
495.34 search
495.34 run=26 nbConstraintChecks=3311254856 nbPropagations=103593482 nbRevisions=2184426633
495.34 nbUselessRevisions=1905719366 nbAssignments=2235575 nbFailedAssignments=1099131 nbBacktracks=1136281
495.34 nbVisitedNodes=4168839 nbRestartNogoods=276
495.34 => wckTime=494.547 cpuTime=494.23 mem=15M170
503.87
503.87 search
503.87 run=27 nbConstraintChecks=3369190488 nbPropagations=138837417 nbRevisions=2931967461
503.87 nbUselessRevisions=2558236416 nbAssignments=2272965 nbFailedAssignments=1117795 nbBacktracks=1155008
503.87 nbVisitedNodes=4238822 nbRestartNogoods=290
503.87 => wckTime=503.071 cpuTime=502.76 mem=15M170
503.87
503.87 global
503.87 nbConstraintChecks=3369245681 nbPropagations=138838081 nbRevisions=2931974061 nbUselessRevisions=2558242203
503.87 nbRestartNogoods=290 solvingWckTime=503.072 solvingCpuTime=502.76 expiredTime=no totalExploration=yes
503.87 nbFoundSolutions=0 globalCpuTime=503.16
503.87 => wckTime=503.575 cpuTime=503.1 mem=15M170
503.87
503.87 s UNSATISFIABLE
503.87 d NODES 2272965
503.87 d CHECKS 3369245681
503.87
503.87 totalWckTime=503.652 totalCpuTime=503.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-231949-1168318871 -o ROOT/results/node52/solver-231949-1168318871 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231949-1168318871/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.30 0.74 1.09 3/74 21500
/proc/meminfo: memFree=1483696/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=308 CPUtime=0
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 234 0 0 0 0 0 0 0 19 0 1 0 180285991 315392 40 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4309924 0 0 4096 0 0 0 0 17 1 0 0
/proc/21499/statm: 374 46 36 14 0 7 0
[startup+0.107245 s]
/proc/loadavg: 0.30 0.74 1.09 3/74 21500
/proc/meminfo: memFree=1483696/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915848 CPUtime=0.09
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 3084 0 1 0 7 2 0 0 16 0 8 0 180285991 937828352 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228962 2830 1457 14 0 215457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915848
[startup+0.515269 s]
/proc/loadavg: 0.30 0.74 1.09 3/74 21500
/proc/meminfo: memFree=1483696/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916076 CPUtime=0.49
/proc/21499/stat : 21499 (java) S 21497 21499 21039 0 -1 0 7143 0 1 0 44 5 0 0 16 0 8 0 180285991 938061824 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 229019 6882 2138 14 0 215489 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916076
[startup+1.33633 s]
/proc/loadavg: 0.30 0.74 1.09 2/81 21507
/proc/meminfo: memFree=1459448/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=1.31
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8785 0 1 0 124 7 0 0 16 0 8 0 180285991 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8523 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 17 0 8 0 180285994 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.19
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 391 0 0 0 19 0 0 0 16 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916216
[startup+2.97443 s]
/proc/loadavg: 0.36 0.74 1.09 2/81 21518
/proc/meminfo: memFree=1459128/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=2.94
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8793 0 1 0 287 7 0 0 17 0 8 0 180285991 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8529 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916216
[startup+6.17665 s]
/proc/loadavg: 0.36 0.74 1.09 2/81 21562
/proc/meminfo: memFree=1458616/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=6.14
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8793 0 1 0 607 7 0 0 18 0 8 0 180285991 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8529 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 916216
[startup+12.6441 s]
/proc/loadavg: 0.54 0.77 1.09 3/94 21600
/proc/meminfo: memFree=1448072/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=12.58
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8793 0 1 0 1251 7 0 0 25 0 8 0 180285991 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8529 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 916216
[startup+25.502 s]
/proc/loadavg: 0.76 0.81 1.10 3/94 21628
/proc/meminfo: memFree=1448144/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=25.41
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8799 0 1 0 2534 7 0 0 25 0 8 0 180285991 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8534 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 916216
[startup+51.1097 s]
/proc/loadavg: 1.18 0.90 1.13 3/94 21648
/proc/meminfo: memFree=1448216/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=50.99
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8804 0 1 0 5092 7 0 0 25 0 8 0 180285991 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8539 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.2
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 916216
[startup+102.41 s]
/proc/loadavg: 1.67 1.08 1.17 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=102.23
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8810 0 1 0 10215 8 0 0 25 0 8 0 180285991 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8545 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 916216
[startup+162.431 s]
/proc/loadavg: 1.88 1.25 1.22 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=162.24
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8812 0 1 0 16216 8 0 0 25 0 8 0 180285991 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8547 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 916216
[startup+222.491 s]
/proc/loadavg: 1.95 1.38 1.27 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=222.29
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8815 0 1 0 22221 8 0 0 25 0 8 0 180285991 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8550 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 916216
[startup+282.551 s]
/proc/loadavg: 2.05 1.51 1.32 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=282.33
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8815 0 1 0 28225 8 0 0 25 0 8 0 180285991 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8550 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 916216
[startup+342.609 s]
/proc/loadavg: 2.02 1.59 1.36 3/88 21690
/proc/meminfo: memFree=1449224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=342.37
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8817 0 1 0 34229 8 0 0 25 0 8 0 180285991 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8552 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 916216
[startup+402.658 s]
/proc/loadavg: 2.07 1.68 1.40 3/88 21690
/proc/meminfo: memFree=1449232/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=402.42
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8817 0 1 0 40233 9 0 0 25 0 8 0 180285991 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8552 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.42
Current children cumulated vsize (KiB) 916216
[startup+462.689 s]
/proc/loadavg: 2.02 1.74 1.43 3/88 21690
/proc/meminfo: memFree=1449232/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=916216 CPUtime=462.43
/proc/21499/stat : 21499 (java) R 21497 21499 21039 0 -1 0 8817 0 1 0 46234 9 0 0 25 0 8 0 180285991 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 229054 8552 2524 14 0 215524 0
[pid=21499/tid=21501] ppid=21497 vsize=916216 CPUtime=0.03
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 21039 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180285994 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 21039 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 21039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180285995 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 21039 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21505] ppid=21497 vsize=916216 CPUtime=0.21
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 21039 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21507] ppid=21497 vsize=916216 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 21039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180285998 938205184 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.43
Current children cumulated vsize (KiB) 916216
Child status: 0
Real time (s): 503.93
CPU time (s): 503.625
CPU user time (s): 503.527
CPU system time (s): 0.097985
CPU usage (%): 99.9396
Max. virtual memory (cumulated for all children) (KiB): 916216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 503.527
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8909
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= 10989
involuntary context switches= 1841
runsolver used 0.563914 s user time and 1.38479 s system time
The end
Begin job on node52 on Tue Jan 9 05:01:14 UTC 2007
IDJOB= 231949
IDBENCH= 6493
FILE ID= node52/231949-1168318871
PBS_JOBID= 3502853
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231949-1168318871/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-231949-1168318871 -o ROOT/results/node52/solver-231949-1168318871 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231949-1168318871/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6e0cd599045b4119b48c7ab3c5e0399c
RANDOM SEED= 897326852
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.232
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.232
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: 1484056 kB
Buffers: 72464 kB
Cached: 417816 kB
SwapCached: 0 kB
Active: 197452 kB
Inactive: 313688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1484056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 31516 kB
Slab: 45944 kB
Committed_AS: 4166304 kB
PageTables: 1952 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66557 MiB
End job on node52 on Tue Jan 9 05:09:39 UTC 2007