0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217164-1168079349/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=45 nbDomainTypes=1 minDomainSize=21 maxDomainSize=21
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.55
0.55 constraints being loaded...
0.67 nbConstraints=375 nbRelationTypes=375 nbExtensionStructures=375 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=375 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1766 maxDegree=24
0.67 maxArity=2
0.67 => wckTime=0.35 cpuTime=0.26 mem=14M761
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.55 cpuTime=0.39 mem=14M150
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=45 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0070 cpuTime=0.0 mem=15M125
0.93
0.93 search
0.93 run=0 nbConstraintChecks=45220 nbPropagations=602 nbRevisions=6382 nbUselessRevisions=5105 nbAssignments=26
0.93 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.057 cpuTime=0.03 mem=15M125
0.95
0.95 search
0.95 run=1 nbConstraintChecks=97825 nbPropagations=1824 nbRevisions=20080 nbUselessRevisions=16024 nbAssignments=60
0.95 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=93 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.082 cpuTime=0.04 mem=15M125
0.98
0.98 search
0.98 run=2 nbConstraintChecks=168688 nbPropagations=3956 nbRevisions=45085 nbUselessRevisions=36059
0.98 nbAssignments=106 nbFailedAssignments=32 nbBacktracks=50 nbVisitedNodes=167 nbRestartNogoods=5 mapSize=37
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.103 cpuTime=0.06 mem=15M125
0.99
0.99 search
0.99 run=3 nbConstraintChecks=263584 nbPropagations=7278 nbRevisions=85285 nbUselessRevisions=68260
0.99 nbAssignments=169 nbFailedAssignments=53 nbBacktracks=83 nbVisitedNodes=269 nbRestartNogoods=10 mapSize=60
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.122 cpuTime=0.08 mem=15M125
1.02
1.02 search
1.02 run=4 nbConstraintChecks=391553 nbPropagations=12247 nbRevisions=146939 nbUselessRevisions=117538
1.02 nbAssignments=260 nbFailedAssignments=86 nbBacktracks=134 nbVisitedNodes=417 nbRestartNogoods=14 mapSize=95
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.149 cpuTime=0.1 mem=15M125
1.07
1.07 search
1.07 run=5 nbConstraintChecks=621077 nbPropagations=20048 nbRevisions=247052 nbUselessRevisions=197555
1.07 nbAssignments=396 nbFailedAssignments=138 nbBacktracks=210 nbVisitedNodes=657 nbRestartNogoods=19 mapSize=164
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.193 cpuTime=0.14 mem=15M125
1.12
1.12 search
1.12 run=6 nbConstraintChecks=899275 nbPropagations=31492 nbRevisions=397552 nbUselessRevisions=318085
1.12 nbAssignments=584 nbFailedAssignments=200 nbBacktracks=328 nbVisitedNodes=974 nbRestartNogoods=24 mapSize=261
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.252 cpuTime=0.19 mem=15M125
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1364108 nbPropagations=48767 nbRevisions=627533 nbUselessRevisions=501858
1.21 nbAssignments=881 nbFailedAssignments=316 nbBacktracks=501 nbVisitedNodes=1483 nbRestartNogoods=28 mapSize=412
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.34 cpuTime=0.28 mem=15M125
1.34
1.34 search
1.34 run=8 nbConstraintChecks=2043843 nbPropagations=74810 nbRevisions=984180 nbUselessRevisions=788289
1.34 nbAssignments=1342 nbFailedAssignments=512 nbBacktracks=758 nbVisitedNodes=2285 nbRestartNogoods=32
1.34 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.467 cpuTime=0.4 mem=15M125
1.51
1.51 search
1.51 run=9 nbConstraintChecks=2943773 nbPropagations=112845 nbRevisions=1501342 nbUselessRevisions=1203922
1.51 nbAssignments=1976 nbFailedAssignments=753 nbBacktracks=1142 nbVisitedNodes=3362 nbRestartNogoods=38
1.51 mapSize=947 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.637 cpuTime=0.55 mem=15M125
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M125)
1.75
1.75 search
1.75 run=10 nbConstraintChecks=4432814 nbPropagations=169988 nbRevisions=2287881 nbUselessRevisions=1837302
1.76 nbAssignments=2986 nbFailedAssignments=1178 nbBacktracks=1718 nbVisitedNodes=5112 nbRestartNogoods=45
1.76 => wckTime=0.882 cpuTime=0.79 mem=15M125
2.07
2.07 search
2.07 run=11 nbConstraintChecks=6526242 nbPropagations=253212 nbRevisions=3434207 nbUselessRevisions=2758165
2.07 nbAssignments=4383 nbFailedAssignments=1704 nbBacktracks=2584 nbVisitedNodes=7477 nbRestartNogoods=53
2.07 => wckTime=1.2 cpuTime=1.1 mem=15M125
2.57
2.57 search
2.57 run=12 nbConstraintChecks=9767580 nbPropagations=377749 nbRevisions=5137357 nbUselessRevisions=4122986
2.57 nbAssignments=6506 nbFailedAssignments=2522 nbBacktracks=3884 nbVisitedNodes=11145 nbRestartNogoods=57
2.57 => wckTime=1.698 cpuTime=1.59 mem=15M125
3.36
3.36 search
3.36 run=13 nbConstraintChecks=15015087 nbPropagations=567498 nbRevisions=7786436 nbUselessRevisions=6255104
3.36 nbAssignments=9791 nbFailedAssignments=3853 nbBacktracks=5832 nbVisitedNodes=16872 nbRestartNogoods=67
3.36 => wckTime=2.487 cpuTime=2.38 mem=15M125
4.51
4.51 search
4.51 run=14 nbConstraintChecks=22795974 nbPropagations=852996 nbRevisions=11772906 nbUselessRevisions=9461123
4.51 nbAssignments=14652 nbFailedAssignments=5787 nbBacktracks=8752 nbVisitedNodes=25329 nbRestartNogoods=73
4.51 => wckTime=3.64 cpuTime=3.52 mem=15M125
6.20
6.20 search
6.20 run=15 nbConstraintChecks=34004670 nbPropagations=1278802 nbRevisions=17688366 nbUselessRevisions=14209254
6.20 nbAssignments=21854 nbFailedAssignments=8601 nbBacktracks=13132 nbVisitedNodes=37778 nbRestartNogoods=80
6.20 => wckTime=5.331 cpuTime=5.19 mem=15M125
8.71
8.71 search
8.71 run=16 nbConstraintChecks=50701034 nbPropagations=1914511 nbRevisions=26507231 nbUselessRevisions=21288703
8.72 nbAssignments=32585 nbFailedAssignments=12756 nbBacktracks=19700 nbVisitedNodes=56305 nbRestartNogoods=88
8.72 => wckTime=7.843 cpuTime=7.68 mem=15M125
12.69
12.69 search
12.69 run=17 nbConstraintChecks=76590055 nbPropagations=2879150 nbRevisions=39954379 nbUselessRevisions=32092190
12.69 nbAssignments=49590 nbFailedAssignments=19901 nbBacktracks=29554 nbVisitedNodes=86026 nbRestartNogoods=96
12.69 => wckTime=11.821 cpuTime=11.62 mem=15M125
18.37
18.37 search
18.37 run=18 nbConstraintChecks=113934840 nbPropagations=4317844 nbRevisions=59941295 nbUselessRevisions=48142913
18.37 nbAssignments=74096 nbFailedAssignments=29622 nbBacktracks=44332 nbVisitedNodes=128380 nbRestartNogoods=102
18.37 => wckTime=17.5 cpuTime=17.24 mem=15M125
26.61
26.61 search
26.61 run=19 nbConstraintChecks=169482718 nbPropagations=6440326 nbRevisions=89256561 nbUselessRevisions=71627710
26.61 nbAssignments=109463 nbFailedAssignments=42813 nbBacktracks=66500 nbVisitedNodes=188729 nbRestartNogoods=121
26.61 => wckTime=25.734 cpuTime=25.4 mem=15M125
39.61
39.61 search
39.61 run=20 nbConstraintChecks=256758132 nbPropagations=9622627 nbRevisions=133421218 nbUselessRevisions=107012745
39.61 nbAssignments=163781 nbFailedAssignments=63871 nbBacktracks=99754 nbVisitedNodes=282324 nbRestartNogoods=135
39.61 => wckTime=38.736 cpuTime=38.28 mem=15M125
59.61
59.61 search
59.61 run=21 nbConstraintChecks=389198622 nbPropagations=14463661 nbRevisions=200690320 nbUselessRevisions=160926728
59.61 nbAssignments=247721 nbFailedAssignments=97926 nbBacktracks=149632 nbVisitedNodes=428369 nbRestartNogoods=146
59.61 => wckTime=58.738 cpuTime=58.11 mem=15M125
89.73
89.73 search
89.73 run=22 nbConstraintChecks=592358172 nbPropagations=21780935 nbRevisions=302895030 nbUselessRevisions=242926041
89.73 nbAssignments=373004 nbFailedAssignments=148381 nbBacktracks=224453 nbVisitedNodes=646454 nbRestartNogoods=157
89.73 => wckTime=88.86 cpuTime=87.95 mem=15M125
132.66
132.66 search
132.66 run=23 nbConstraintChecks=880417663 nbPropagations=32640514 nbRevisions=453713242 nbUselessRevisions=363733722
132.66 nbAssignments=554900 nbFailedAssignments=218042 nbBacktracks=336681 nbVisitedNodes=958104 nbRestartNogoods=177
132.66 => wckTime=131.784 cpuTime=130.48 mem=15M125
198.17
198.17 search
198.17 run=24 nbConstraintChecks=1319867432 nbPropagations=48911123 nbRevisions=680040027 nbUselessRevisions=545197506
198.17 nbAssignments=832095 nbFailedAssignments=326888 nbBacktracks=505026 nbVisitedNodes=1437169 nbRestartNogoods=194
198.17 => wckTime=197.297 cpuTime=195.4 mem=15M125
297.12
297.12 search
297.12 run=25 nbConstraintChecks=1982034189 nbPropagations=73305921 nbRevisions=1021024133
297.12 nbUselessRevisions=818949147 nbAssignments=1248472 nbFailedAssignments=490745 nbBacktracks=757537
297.12 nbVisitedNodes=2156516 nbRestartNogoods=213
297.12 => wckTime=296.249 cpuTime=293.46 mem=15M125
435.20
435.20 search
435.20 run=26 nbConstraintChecks=2990750468 nbPropagations=109992032 nbRevisions=1534181679
435.20 nbUselessRevisions=1231035144 nbAssignments=1869875 nbFailedAssignments=733374 nbBacktracks=1136304
435.20 nbVisitedNodes=3230876 nbRestartNogoods=233
435.20 => wckTime=434.326 cpuTime=431.25 mem=15M125
529.20
529.20 search
529.20 run=27 nbConstraintChecks=3684603661 nbPropagations=155128350 nbRevisions=2165598066
529.20 nbUselessRevisions=1738020841 nbAssignments=2299428 nbFailedAssignments=899254 nbBacktracks=1399932
529.20 nbVisitedNodes=3970352 nbRestartNogoods=246
529.20 => wckTime=528.324 cpuTime=525.16 mem=15M125
529.20
529.20 global
529.20 nbConstraintChecks=3684603661 nbPropagations=155128395 nbRevisions=2165598066 nbUselessRevisions=1738020841
529.20 nbRestartNogoods=246 solvingWckTime=528.325 solvingCpuTime=525.17 expiredTime=no totalExploration=no
529.20 nbFoundSolutions=1 globalCpuTime=525.61
529.20 => wckTime=528.879 cpuTime=525.56 mem=15M125
529.20
529.20 s SATISFIABLE
529.20 v 0 11 2 6 17 2 15 9 16 6 20 17 11 18 4 19 6 13 9 7 3 5 11 17 10 5 18 5 1 5 0 13 16 15 19 9 3 3 0 4 9 20 12 18 14
529.20 d NODES 2299428
529.20 d CHECKS 3684603661
529.20
529.20 totalWckTime=528.961 totalCpuTime=525.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-217164-1168079349 -o ROOT/results/node18/solver-217164-1168079349 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217164-1168079349/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.35 1.81 1.90 2/93 23652
/proc/meminfo: memFree=1030744/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=18540 CPUtime=0
/proc/23651/stat : 23651 (runsolver) R 23649 23651 23472 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156330131 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23651/statm: 4635 279 244 17 0 2626 0
[startup+0.102587 s]
/proc/loadavg: 1.35 1.81 1.90 2/93 23652
/proc/meminfo: memFree=1030744/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=913228 CPUtime=0.08
/proc/23651/stat : 23651 (java) S 23649 23651 23472 0 -1 0 2902 0 1 0 7 1 0 0 18 0 8 0 156330131 935145472 2648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228307 2648 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510626 s]
/proc/loadavg: 1.35 1.81 1.90 2/93 23652
/proc/meminfo: memFree=1030744/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915328 CPUtime=0.48
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 6833 0 1 0 44 4 0 0 18 0 8 0 156330131 937295872 6572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228832 6572 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3317 s]
/proc/loadavg: 1.35 1.81 1.90 4/100 23659
/proc/meminfo: memFree=1005664/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=1.29
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8958 0 1 0 123 6 0 0 19 0 8 0 156330131 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8696 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.21
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 377 0 0 0 20 1 0 0 16 0 8 0 156330139 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97786 s]
/proc/loadavg: 1.40 1.81 1.90 3/100 23659
/proc/meminfo: memFree=1005600/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=2.93
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8973 0 1 0 286 7 0 0 25 0 8 0 156330131 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8710 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.23
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.18117 s]
/proc/loadavg: 1.40 1.81 1.90 3/100 23659
/proc/meminfo: memFree=1005536/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=6.1
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8974 0 1 0 603 7 0 0 25 0 8 0 156330131 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8710 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.23
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456
[startup+12.6538 s]
/proc/loadavg: 1.49 1.82 1.90 3/100 23659
/proc/meminfo: memFree=1005600/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=12.51
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8974 0 1 0 1244 7 0 0 25 0 8 0 156330131 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8710 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.23
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456
[startup+25.506 s]
/proc/loadavg: 1.57 1.82 1.90 3/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=25.24
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8975 0 1 0 2517 7 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915456
[startup+51.1155 s]
/proc/loadavg: 1.71 1.84 1.90 3/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=50.61
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 5054 7 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915456
[startup+102.33 s]
/proc/loadavg: 1.88 1.86 1.91 4/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=101.37
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 10129 8 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915456
[startup+162.385 s]
/proc/loadavg: 1.95 1.88 1.91 3/100 23659
/proc/meminfo: memFree=1005792/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=160.87
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 16079 8 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 915456
[startup+222.44 s]
/proc/loadavg: 1.98 1.90 1.91 3/100 23659
/proc/meminfo: memFree=1005792/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=220.39
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 22030 9 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 915456
[startup+282.495 s]
/proc/loadavg: 1.99 1.92 1.91 3/100 23659
/proc/meminfo: memFree=1005800/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=279.89
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 27980 9 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 915456
[startup+342.552 s]
/proc/loadavg: 1.69 1.86 1.89 2/88 23930
/proc/meminfo: memFree=1101952/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=339.63
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 33951 12 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807349 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.63
Current children cumulated vsize (KiB) 915456
[startup+402.632 s]
/proc/loadavg: 1.73 1.83 1.87 3/100 24143
/proc/meminfo: memFree=1041064/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=399.65
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 39950 15 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.65
Current children cumulated vsize (KiB) 915456
[startup+462.635 s]
/proc/loadavg: 1.97 1.87 1.88 3/100 24143
/proc/meminfo: memFree=1041128/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=459.57
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 45942 15 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.57
Current children cumulated vsize (KiB) 915456
[startup+522.638 s]
/proc/loadavg: 1.99 1.89 1.89 3/100 24143
/proc/meminfo: memFree=1041128/2055920 swapFree=4192812/4192956
[pid=23651] ppid=23649 vsize=915456 CPUtime=519.52
/proc/23651/stat : 23651 (java) R 23649 23651 23472 0 -1 0 8976 0 1 0 51937 15 0 0 25 0 8 0 156330131 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23651/statm: 228864 8711 2513 14 0 215334 0
[pid=23651/tid=23653] ppid=23649 vsize=915456 CPUtime=0.03
/proc/23651/task/23653/stat : 23653 (java) S 23649 23651 23472 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23654] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23654/stat : 23654 (java) S 23649 23651 23472 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23655] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23655/stat : 23655 (java) S 23649 23651 23472 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330135 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23656] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23656/stat : 23656 (java) S 23649 23651 23472 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23657] ppid=23649 vsize=915456 CPUtime=0.24
/proc/23651/task/23657/stat : 23657 (java) S 23649 23651 23472 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23658] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23658/stat : 23658 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23651/tid=23659] ppid=23649 vsize=915456 CPUtime=0
/proc/23651/task/23659/stat : 23659 (java) S 23649 23651 23472 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330139 937426944 8711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.52
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 529.264
CPU time (s): 526.109
CPU user time (s): 525.943
CPU system time (s): 0.165974
CPU usage (%): 99.4039
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 525.943
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8984
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= 11540
involuntary context switches= 24043
runsolver used 0.704892 s user time and 1.63875 s system time
The end
Begin job on node18 on Sat Jan 6 10:29:12 UTC 2007
IDJOB= 217164
IDBENCH= 5121
FILE ID= node18/217164-1168079349
PBS_JOBID= 3475835
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217164-1168079349/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-217164-1168079349 -o ROOT/results/node18/solver-217164-1168079349 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217164-1168079349/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 34ea40322126207947ea4c2401eade98
RANDOM SEED= 693507477
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.231
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.231
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: 1031160 kB
Buffers: 70012 kB
Cached: 704100 kB
SwapCached: 0 kB
Active: 526760 kB
Inactive: 399112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1031160 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2132 kB
Writeback: 0 kB
Mapped: 180864 kB
Slab: 83520 kB
Committed_AS: 4835956 kB
PageTables: 2300 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= 66285 MiB
End job on node18 on Sat Jan 6 10:38:07 UTC 2007