0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/232147-1168320562/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.43 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.66 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=941 maxDegree=24
0.66 maxArity=2
0.66 => wckTime=0.337 cpuTime=0.27 mem=13M778
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.546 cpuTime=0.4 mem=15M169
0.92
0.92 preprocessing
0.92 nbConstraintChecks=54461 nbPropagations=696 nbRevisions=6781 nbUselessRevisions=5886 nbSingletonTests=34
0.92 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.046 cpuTime=0.03 mem=15M169
0.94
0.94 search
0.94 run=0 nbConstraintChecks=34440 nbPropagations=1129 nbRevisions=13890 nbUselessRevisions=12066 nbAssignments=26
0.94 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.07 cpuTime=0.05 mem=15M169
0.96
0.96 search
0.96 run=1 nbConstraintChecks=91142 nbPropagations=2909 nbRevisions=39729 nbUselessRevisions=34626 nbAssignments=63
0.96 nbFailedAssignments=25 nbBacktracks=27 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.09 cpuTime=0.06 mem=15M169
0.99
0.99 search
0.99 run=2 nbConstraintChecks=181969 nbPropagations=5639 nbRevisions=84301 nbUselessRevisions=73526
0.99 nbAssignments=119 nbFailedAssignments=54 nbBacktracks=49 nbVisitedNodes=213 nbRestartNogoods=5 mapSize=49
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.113 cpuTime=0.08 mem=15M169
1.01
1.01 search
1.01 run=3 nbConstraintChecks=275860 nbPropagations=9446 nbRevisions=149565 nbUselessRevisions=130380
1.01 nbAssignments=192 nbFailedAssignments=89 nbBacktracks=82 nbVisitedNodes=345 nbRestartNogoods=9 mapSize=81
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.138 cpuTime=0.1 mem=15M169
1.04
1.04 search
1.04 run=4 nbConstraintChecks=428923 nbPropagations=14973 nbRevisions=248950 nbUselessRevisions=216723
1.04 nbAssignments=304 nbFailedAssignments=145 nbBacktracks=133 nbVisitedNodes=554 nbRestartNogoods=12 mapSize=131
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.169 cpuTime=0.13 mem=15M169
1.09
1.09 search
1.09 run=5 nbConstraintChecks=635836 nbPropagations=22826 nbRevisions=394257 nbUselessRevisions=342924
1.09 nbAssignments=456 nbFailedAssignments=217 nbBacktracks=208 nbVisitedNodes=834 nbRestartNogoods=15 mapSize=206
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.214 cpuTime=0.17 mem=15M169
1.15
1.15 search
1.15 run=6 nbConstraintChecks=945947 nbPropagations=34155 nbRevisions=609569 nbUselessRevisions=529980
1.15 nbAssignments=682 nbFailedAssignments=324 nbBacktracks=323 nbVisitedNodes=1250 nbRestartNogoods=23 mapSize=319
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.279 cpuTime=0.23 mem=15M169
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1426522 nbPropagations=50787 nbRevisions=932635 nbUselessRevisions=810780
1.24 nbAssignments=1036 nbFailedAssignments=504 nbBacktracks=493 nbVisitedNodes=1905 nbRestartNogoods=29
1.24 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.368 cpuTime=0.31 mem=15M169
1.39
1.39 search
1.39 run=8 nbConstraintChecks=2165890 nbPropagations=75306 nbRevisions=1419476 nbUselessRevisions=1234292
1.39 nbAssignments=1545 nbFailedAssignments=752 nbBacktracks=749 nbVisitedNodes=2852 nbRestartNogoods=31
1.39 mapSize=735 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.516 cpuTime=0.44 mem=15M169
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M169)
1.57
1.57 search
1.57 run=9 nbConstraintChecks=3207567 nbPropagations=111262 nbRevisions=2141290 nbUselessRevisions=1862737
1.57 nbAssignments=2296 nbFailedAssignments=1113 nbBacktracks=1133 nbVisitedNodes=4241 nbRestartNogoods=40
1.57 => wckTime=0.696 cpuTime=0.62 mem=15M169
1.82
1.82 search
1.82 run=10 nbConstraintChecks=4734754 nbPropagations=164171 nbRevisions=3208877 nbUselessRevisions=2792876
1.82 nbAssignments=3408 nbFailedAssignments=1643 nbBacktracks=1709 nbVisitedNodes=6310 nbRestartNogoods=47
1.82 => wckTime=0.95 cpuTime=0.87 mem=15M169
2.21
2.21 search
2.22 run=11 nbConstraintChecks=7243697 nbPropagations=243635 nbRevisions=4829729 nbUselessRevisions=4204435
2.22 nbAssignments=5131 nbFailedAssignments=2496 nbBacktracks=2577 nbVisitedNodes=9523 nbRestartNogoods=58
2.22 => wckTime=1.341 cpuTime=1.25 mem=15M169
2.81
2.81 search
2.81 run=12 nbConstraintChecks=11064733 nbPropagations=363259 nbRevisions=7300148 nbUselessRevisions=6357053
2.81 nbAssignments=7715 nbFailedAssignments=3776 nbBacktracks=3876 nbVisitedNodes=14350 nbRestartNogoods=60
2.81 => wckTime=1.936 cpuTime=1.84 mem=15M169
3.70
3.70 search
3.70 run=13 nbConstraintChecks=16857017 nbPropagations=542920 nbRevisions=11048151 nbUselessRevisions=9623862
3.70 nbAssignments=11585 nbFailedAssignments=5694 nbBacktracks=5822 nbVisitedNodes=21573 nbRestartNogoods=72
3.70 => wckTime=2.827 cpuTime=2.73 mem=15M169
4.93
4.93 search
4.93 run=14 nbConstraintChecks=24815098 nbPropagations=808148 nbRevisions=16566039 nbUselessRevisions=14433755
4.93 nbAssignments=17195 nbFailedAssignments=8366 nbBacktracks=8742 nbVisitedNodes=31941 nbRestartNogoods=86
4.93 => wckTime=4.058 cpuTime=3.95 mem=15M169
6.89
6.89 search
6.89 run=15 nbConstraintChecks=37484221 nbPropagations=1208651 nbRevisions=24912941 nbUselessRevisions=21708726
6.89 nbAssignments=25950 nbFailedAssignments=12737 nbBacktracks=13120 nbVisitedNodes=48257 nbRestartNogoods=100
6.89 => wckTime=6.013 cpuTime=5.9 mem=15M169
9.76
9.76 search
9.76 run=16 nbConstraintChecks=56099902 nbPropagations=1807819 nbRevisions=37431106 nbUselessRevisions=32622983
9.76 nbAssignments=38898 nbFailedAssignments=19112 nbBacktracks=19688 nbVisitedNodes=72409 nbRestartNogoods=115
9.76 => wckTime=8.887 cpuTime=8.76 mem=15M169
14.11
14.11 search
14.11 run=17 nbConstraintChecks=84602855 nbPropagations=2706549 nbRevisions=56244729 nbUselessRevisions=49023443
14.11 nbAssignments=58300 nbFailedAssignments=28656 nbBacktracks=29541 nbVisitedNodes=108585 nbRestartNogoods=125
14.11 => wckTime=13.24 cpuTime=13.09 mem=15M169
20.42
20.42 search
20.42 run=18 nbConstraintChecks=124651283 nbPropagations=4041639 nbRevisions=84122704 nbUselessRevisions=73328128
20.43 nbAssignments=87017 nbFailedAssignments=42590 nbBacktracks=44319 nbVisitedNodes=161978 nbRestartNogoods=134
20.43 => wckTime=19.551 cpuTime=19.37 mem=15M169
30.02
30.02 search
30.02 run=19 nbConstraintChecks=186730868 nbPropagations=6040094 nbRevisions=125805394 nbUselessRevisions=109660334
30.02 nbAssignments=130452 nbFailedAssignments=63851 nbBacktracks=66487 nbVisitedNodes=242756 nbRestartNogoods=153
30.02 => wckTime=29.142 cpuTime=28.92 mem=15M169
44.62
44.62 search
44.62 run=20 nbConstraintChecks=281002618 nbPropagations=9040600 nbRevisions=188534641 nbUselessRevisions=164354479
44.62 nbAssignments=195743 nbFailedAssignments=95885 nbBacktracks=99740 nbVisitedNodes=364434 nbRestartNogoods=167
44.62 => wckTime=43.744 cpuTime=43.45 mem=15M169
66.58
66.58 search
66.58 run=21 nbConstraintChecks=423570400 nbPropagations=13551699 nbRevisions=283016510 nbUselessRevisions=246750915
66.58 nbAssignments=294079 nbFailedAssignments=144339 nbBacktracks=149619 nbVisitedNodes=547752 nbRestartNogoods=186
66.58 => wckTime=65.708 cpuTime=65.31 mem=15M169
99.42
99.42 search
99.42 run=22 nbConstraintChecks=635799910 nbPropagations=20318367 nbRevisions=424902694 nbUselessRevisions=370493089
99.42 nbAssignments=441012 nbFailedAssignments=216448 nbBacktracks=224437 nbVisitedNodes=821514 nbRestartNogoods=204
99.42 => wckTime=98.544 cpuTime=97.99 mem=15M169
149.21
149.21 search
149.21 run=23 nbConstraintChecks=961041884 nbPropagations=30499445 nbRevisions=638919665 nbUselessRevisions=557160337
149.21 nbAssignments=662315 nbFailedAssignments=325506 nbBacktracks=336664 nbVisitedNodes=1234251 nbRestartNogoods=211
149.21 => wckTime=148.338 cpuTime=147.55 mem=15M169
224.00
224.00 search
224.00 run=24 nbConstraintChecks=1448637210 nbPropagations=45798640 nbRevisions=961249158 nbUselessRevisions=838380118
224.00 nbAssignments=993537 nbFailedAssignments=488381 nbBacktracks=505006 nbVisitedNodes=1851798 nbRestartNogoods=229
224.00 => wckTime=223.131 cpuTime=222.0 mem=15M169
337.19
337.19 search
337.19 run=25 nbConstraintChecks=2189765311 nbPropagations=68827119 nbRevisions=1447816832
337.19 nbUselessRevisions=1262967424 nbAssignments=1491224 nbFailedAssignments=733552 nbBacktracks=757518
337.19 nbVisitedNodes=2780694 nbRestartNogoods=241
337.19 => wckTime=336.317 cpuTime=334.66 mem=15M169
509.37
509.37 search
509.37 run=26 nbConstraintChecks=3321921185 nbPropagations=103536071 nbRevisions=2184178523
509.37 nbUselessRevisions=1905711093 nbAssignments=2239866 nbFailedAssignments=1103422 nbBacktracks=1136286
509.37 nbVisitedNodes=4178370 nbRestartNogoods=256
509.37 => wckTime=508.493 cpuTime=506.03 mem=15M169
557.49
557.49 search
557.49 run=27 nbConstraintChecks=3638851911 nbPropagations=141504680 nbRevisions=2990605629
557.49 nbUselessRevisions=2609676715 nbAssignments=2448692 nbFailedAssignments=1207037 nbBacktracks=1241498
557.49 nbVisitedNodes=4568587 nbRestartNogoods=279
557.49 => wckTime=556.619 cpuTime=553.93 mem=15M169
557.50
557.50 global
557.50 nbConstraintChecks=3638906372 nbPropagations=141505376 nbRevisions=2990612410 nbUselessRevisions=2609682601
557.50 nbRestartNogoods=279 solvingWckTime=556.622 solvingCpuTime=553.93 expiredTime=no totalExploration=yes
557.50 nbFoundSolutions=0 globalCpuTime=554.38
557.50 => wckTime=557.171 cpuTime=554.34 mem=15M169
557.50
557.50 s UNSATISFIABLE
557.50 d NODES 2448692
557.50 d CHECKS 3638906372
557.50
557.50 totalWckTime=557.254 totalCpuTime=554.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-232147-1168320562 -o ROOT/results/node48/solver-232147-1168320562 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232147-1168320562/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 1.96 1.68 4/74 19052
/proc/meminfo: memFree=1419472/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=18540 CPUtime=0
/proc/19051/stat : 19051 (runsolver) R 19049 19051 18120 0 -1 4194368 17 0 0 0 0 0 0 0 25 0 1 0 180454869 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19051/statm: 4635 279 244 17 0 2626 0
[startup+0.10354 s]
/proc/loadavg: 1.99 1.96 1.68 4/74 19052
/proc/meminfo: memFree=1419472/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=913228 CPUtime=0.09
/proc/19051/stat : 19051 (java) S 19049 19051 18120 0 -1 0 2893 0 1 0 7 2 0 0 17 0 8 0 180454869 935145472 2639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228307 2639 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913228
[startup+0.51158 s]
/proc/loadavg: 1.99 1.96 1.68 4/74 19052
/proc/meminfo: memFree=1419472/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915328 CPUtime=0.48
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 6755 0 1 0 43 5 0 0 18 0 8 0 180454869 937295872 6494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228832 6494 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33565 s]
/proc/loadavg: 1.99 1.96 1.68 3/81 19059
/proc/meminfo: memFree=1395288/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=1.3
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8764 0 1 0 122 8 0 0 24 0 8 0 180454869 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8502 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.2
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 376 0 0 0 19 1 0 0 15 0 8 0 180454877 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9828 s]
/proc/loadavg: 1.99 1.96 1.68 3/81 19059
/proc/meminfo: memFree=1395224/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=2.95
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8781 0 1 0 286 9 0 0 25 0 8 0 180454869 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8517 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 180454873 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.22
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.2621 s]
/proc/loadavg: 1.99 1.96 1.68 3/81 19059
/proc/meminfo: memFree=1395104/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=6.21
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8781 0 1 0 612 9 0 0 25 0 8 0 180454869 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8517 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.22
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7507 s]
/proc/loadavg: 1.99 1.96 1.68 3/81 19059
/proc/meminfo: memFree=1395112/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=12.67
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8783 0 1 0 1258 9 0 0 25 0 8 0 180454869 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8518 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915456
[startup+25.5959 s]
/proc/loadavg: 1.99 1.96 1.69 3/81 19059
/proc/meminfo: memFree=1395112/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=25.45
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8788 0 1 0 2536 9 0 0 25 0 8 0 180454869 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8523 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
[startup+51.2022 s]
/proc/loadavg: 1.99 1.97 1.70 3/81 19059
/proc/meminfo: memFree=1395112/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=50.93
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8793 0 1 0 5084 9 0 0 25 0 8 0 180454869 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8528 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915456
[startup+102.407 s]
/proc/loadavg: 1.99 1.97 1.71 3/81 19059
/proc/meminfo: memFree=1394856/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=101.9
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8798 0 1 0 10181 9 0 0 25 0 8 0 180454869 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8533 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915456
[startup+162.457 s]
/proc/loadavg: 1.99 1.97 1.73 3/81 19059
/proc/meminfo: memFree=1394792/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=161.67
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8801 0 1 0 16158 9 0 0 25 0 8 0 180454869 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8536 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 915456
[startup+222.512 s]
/proc/loadavg: 1.99 1.97 1.74 3/81 19059
/proc/meminfo: memFree=1394728/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=221.45
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8801 0 1 0 22135 10 0 0 25 0 8 0 180454869 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8536 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) R 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.45
Current children cumulated vsize (KiB) 915456
[startup+282.566 s]
/proc/loadavg: 1.99 1.97 1.75 3/81 19059
/proc/meminfo: memFree=1394728/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=281.23
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8803 0 1 0 28113 10 0 0 25 0 8 0 180454869 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8538 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.23
Current children cumulated vsize (KiB) 915456
[startup+342.618 s]
/proc/loadavg: 1.99 1.97 1.76 3/81 19059
/proc/meminfo: memFree=1394664/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=341
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8806 0 1 0 34090 10 0 0 25 0 8 0 180454869 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8541 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341
Current children cumulated vsize (KiB) 915456
[startup+402.67 s]
/proc/loadavg: 2.06 1.99 1.78 3/81 19059
/proc/meminfo: memFree=1394600/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=400.77
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8806 0 1 0 40067 10 0 0 25 0 8 0 180454869 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8541 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.77
Current children cumulated vsize (KiB) 915456
[startup+462.726 s]
/proc/loadavg: 2.06 2.00 1.80 3/81 19059
/proc/meminfo: memFree=1394344/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=460.54
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8806 0 1 0 46044 10 0 0 25 0 8 0 180454869 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8541 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.54
Current children cumulated vsize (KiB) 915456
[startup+522.777 s]
/proc/loadavg: 2.07 2.01 1.81 3/81 19059
/proc/meminfo: memFree=1393256/2055920 swapFree=4192812/4192956
[pid=19051] ppid=19049 vsize=915456 CPUtime=520.31
/proc/19051/stat : 19051 (java) R 19049 19051 18120 0 -1 0 8808 0 1 0 52021 10 0 0 25 0 8 0 180454869 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19051/statm: 228864 8543 2524 14 0 215334 0
[pid=19051/tid=19053] ppid=19049 vsize=915456 CPUtime=0.03
/proc/19051/task/19053/stat : 19053 (java) S 19049 19051 18120 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180454873 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19054] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19054/stat : 19054 (java) S 19049 19051 18120 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180454874 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19055] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19055/stat : 19055 (java) S 19049 19051 18120 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180454874 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19056] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19056/stat : 19056 (java) S 19049 19051 18120 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180454877 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19057] ppid=19049 vsize=915456 CPUtime=0.23
/proc/19051/task/19057/stat : 19057 (java) S 19049 19051 18120 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180454877 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19058] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19058/stat : 19058 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180454877 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19051/tid=19059] ppid=19049 vsize=915456 CPUtime=0
/proc/19051/task/19059/stat : 19059 (java) S 19049 19051 18120 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180454877 937426944 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.31
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 557.543
CPU time (s): 554.894
CPU user time (s): 554.779
CPU system time (s): 0.114982
CPU usage (%): 99.5247
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 554.779
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8900
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= 12395
involuntary context switches= 19097
runsolver used 0.808877 s user time and 1.66675 s system time
The end
Begin job on node48 on Tue Jan 9 05:29:22 UTC 2007
IDJOB= 232147
IDBENCH= 6502
FILE ID= node48/232147-1168320562
PBS_JOBID= 3502861
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-58021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232147-1168320562/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-232147-1168320562 -o ROOT/results/node48/solver-232147-1168320562 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232147-1168320562/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 033cd0dd1127d1ee13d52ddfcb690341
RANDOM SEED= 238033031
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1419952 kB
Buffers: 74168 kB
Cached: 398500 kB
SwapCached: 0 kB
Active: 264508 kB
Inactive: 311000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 114124 kB
Slab: 45732 kB
Committed_AS: 4483280 kB
PageTables: 1904 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66559 MiB
End job on node48 on Tue Jan 9 05:38:39 UTC 2007