0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.20/0.24
0.20/0.24 configuration
0.20/0.24 name=mrdac-ddeg.xml
0.20/0.28
0.20/0.28 instance
0.20/0.28 name=HOME/instance-1111134-1215841913.xml
0.30/0.31
0.30/0.31 domains being loaded...
0.30/0.32
0.30/0.32 variables being loaded...
0.30/0.35 nbVariables=50 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=100
0.30/0.35 => wckTime=0.103 cpuTime=0.08 mem=6M867
0.30/0.35
0.30/0.35 relations being loaded...
0.30/0.35
0.30/0.35 constraints being loaded...
0.40/0.42 nbConstraints=76 nbRelationTypes=12 nbExtensionStructures=12 nbSharedExtensionStructures=64
0.40/0.42 nbConflictsStructures=12 nbSharedConflictsStructures=64 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=7
0.40/0.42 minArity=3 maxArity=3
0.40/0.43 => wckTime=0.182 cpuTime=0.14 mem=9M831
0.40/0.47
0.40/0.47 solver LocalSearchSolver being built...
0.50/0.51 => wckTime=0.269 cpuTime=0.18 mem=5M463
0.50/0.51
0.50/0.52 s SATISFIABLE
0.50/0.52 o 8
0.50/0.52 o 7
0.50/0.52 o 6
0.50/0.52 o 5
0.50/0.52 o 4
0.50/0.52 o 3
0.50/0.52 o 2
0.50/0.52 o 1
1.20/1.22
1.20/1.22 search
1.20/1.22 run=0 nbConstraintChecks=1128324 nbAssignments=10000
1.20/1.22 => wckTime=0.711 cpuTime=0.7 mem=6M455
1.89/1.91
1.89/1.91 search
1.89/1.91 run=1 nbConstraintChecks=2315244 nbAssignments=20000
1.89/1.91 => wckTime=1.401 cpuTime=1.38 mem=6M455
2.49/2.57
2.49/2.57 search
2.49/2.57 run=2 nbConstraintChecks=3400689 nbAssignments=30000
2.49/2.57 => wckTime=2.058 cpuTime=2.04 mem=6M455
3.20/3.24
3.20/3.24 search
3.20/3.24 run=3 nbConstraintChecks=4567246 nbAssignments=40000
3.20/3.24 => wckTime=2.726 cpuTime=2.71 mem=6M455
3.80/3.89
3.80/3.89 search
3.80/3.89 run=4 nbConstraintChecks=5637232 nbAssignments=50000
3.80/3.89 => wckTime=3.38 cpuTime=3.36 mem=6M455
4.49/4.57
4.49/4.57 search
4.49/4.57 run=5 nbConstraintChecks=6842543 nbAssignments=60000
4.49/4.57 => wckTime=4.054 cpuTime=4.03 mem=6M455
5.19/5.22
5.19/5.22 search
5.19/5.22 run=6 nbConstraintChecks=7908103 nbAssignments=70000
5.19/5.22 => wckTime=4.706 cpuTime=4.69 mem=6M455
5.80/5.89
5.80/5.89 search
5.80/5.89 run=7 nbConstraintChecks=9101170 nbAssignments=80000
5.80/5.89 => wckTime=5.377 cpuTime=5.35 mem=6M455
6.49/6.54
6.49/6.54 search
6.49/6.54 run=8 nbConstraintChecks=10165280 nbAssignments=90000
6.49/6.54 => wckTime=6.031 cpuTime=6.01 mem=6M455
7.19/7.21
7.19/7.21 search
7.19/7.21 run=9 nbConstraintChecks=11362080 nbAssignments=100000
7.19/7.21 => wckTime=6.704 cpuTime=6.68 mem=6M455
7.79/7.88
7.79/7.88 search
7.79/7.88 run=10 nbConstraintChecks=12487686 nbAssignments=110000
7.79/7.88 => wckTime=7.365 cpuTime=7.34 mem=6M455
8.50/8.56
8.50/8.56 search
8.50/8.56 run=11 nbConstraintChecks=13746026 nbAssignments=120000
8.50/8.56 => wckTime=8.048 cpuTime=8.03 mem=6M455
9.19/9.21
9.19/9.21 search
9.19/9.21 run=12 nbConstraintChecks=14819959 nbAssignments=130000
9.19/9.22 => wckTime=8.704 cpuTime=8.68 mem=6M455
9.80/9.88
9.80/9.88 search
9.80/9.88 run=13 nbConstraintChecks=16038078 nbAssignments=140000
9.80/9.88 => wckTime=9.374 cpuTime=9.35 mem=6M455
10.50/10.53
10.50/10.53 search
10.50/10.53 run=14 nbConstraintChecks=17084432 nbAssignments=150000
10.50/10.53 => wckTime=10.019 cpuTime=10.0 mem=6M455
11.10/11.20
11.10/11.20 search
11.10/11.20 run=15 nbConstraintChecks=18272427 nbAssignments=160000
11.10/11.20 => wckTime=10.686 cpuTime=10.66 mem=6M455
11.79/11.85
11.79/11.85 search
11.79/11.85 run=16 nbConstraintChecks=19349642 nbAssignments=170000
11.79/11.85 => wckTime=11.336 cpuTime=11.31 mem=6M455
12.49/12.52
12.49/12.52 search
12.49/12.52 run=17 nbConstraintChecks=20586759 nbAssignments=180000
12.49/12.52 => wckTime=12.011 cpuTime=11.99 mem=6M455
13.09/13.17
13.09/13.17 search
13.09/13.17 run=18 nbConstraintChecks=21683512 nbAssignments=190000
13.09/13.17 => wckTime=12.664 cpuTime=12.63 mem=6M455
13.80/13.85
13.80/13.85 search
13.80/13.85 run=19 nbConstraintChecks=22922627 nbAssignments=200000
13.80/13.85 => wckTime=13.339 cpuTime=13.31 mem=6M455
14.49/14.50
14.49/14.50 search
14.49/14.50 run=20 nbConstraintChecks=23985874 nbAssignments=210000
14.49/14.50 => wckTime=13.988 cpuTime=13.96 mem=6M455
15.09/15.17
15.09/15.17 search
15.09/15.17 run=21 nbConstraintChecks=25219426 nbAssignments=220000
15.09/15.17 => wckTime=14.662 cpuTime=14.64 mem=6M455
15.79/15.82
15.79/15.82 search
15.79/15.82 run=22 nbConstraintChecks=26297806 nbAssignments=230000
15.79/15.82 => wckTime=15.313 cpuTime=15.28 mem=6M455
16.39/16.49
16.39/16.49 search
16.39/16.49 run=23 nbConstraintChecks=27457597 nbAssignments=240000
16.39/16.49 => wckTime=15.975 cpuTime=15.95 mem=6M455
17.09/17.15
17.09/17.15 search
17.09/17.15 run=24 nbConstraintChecks=28617169 nbAssignments=250000
17.09/17.15 => wckTime=16.638 cpuTime=16.61 mem=6M455
17.79/17.82
17.79/17.82 search
17.79/17.82 run=25 nbConstraintChecks=29837173 nbAssignments=260000
17.79/17.82 => wckTime=17.309 cpuTime=17.28 mem=6M455
18.39/18.47
18.39/18.47 search
18.39/18.47 run=26 nbConstraintChecks=30943663 nbAssignments=270000
18.39/18.47 => wckTime=17.963 cpuTime=17.93 mem=6M455
19.09/19.14
19.09/19.14 search
19.09/19.14 run=27 nbConstraintChecks=32092716 nbAssignments=280000
19.09/19.14 => wckTime=18.625 cpuTime=18.6 mem=6M455
19.69/19.80
19.69/19.80 search
19.69/19.80 run=28 nbConstraintChecks=33200005 nbAssignments=290000
19.69/19.80 => wckTime=19.286 cpuTime=19.25 mem=6M455
20.39/20.47
20.39/20.47 search
20.39/20.47 run=29 nbConstraintChecks=34384084 nbAssignments=300000
20.39/20.47 => wckTime=19.959 cpuTime=19.93 mem=6M455
21.09/21.13
21.09/21.13 search
21.09/21.13 run=30 nbConstraintChecks=35453131 nbAssignments=310000
21.09/21.13 => wckTime=20.62 cpuTime=20.58 mem=6M455
21.79/21.81
21.79/21.81 search
21.79/21.81 run=31 nbConstraintChecks=36667364 nbAssignments=320000
21.79/21.81 => wckTime=21.297 cpuTime=21.26 mem=6M455
22.39/22.47
22.39/22.47 search
22.39/22.47 run=32 nbConstraintChecks=37744819 nbAssignments=330000
22.39/22.47 => wckTime=21.955 cpuTime=21.92 mem=6M455
23.10/23.14
23.10/23.14 search
23.10/23.14 run=33 nbConstraintChecks=38954667 nbAssignments=340000
23.10/23.14 => wckTime=22.631 cpuTime=22.59 mem=6M455
23.69/23.80
23.69/23.80 search
23.69/23.80 run=34 nbConstraintChecks=40032870 nbAssignments=350000
23.79/23.80 => wckTime=23.287 cpuTime=23.25 mem=6M455
24.40/24.47
24.40/24.47 search
24.40/24.47 run=35 nbConstraintChecks=41197362 nbAssignments=360000
24.40/24.47 => wckTime=23.958 cpuTime=23.92 mem=6M455
25.09/25.13
25.09/25.13 search
25.09/25.13 run=36 nbConstraintChecks=42324968 nbAssignments=370000
25.09/25.13 => wckTime=24.623 cpuTime=24.58 mem=6M455
25.79/25.82
25.79/25.82 search
25.79/25.82 run=37 nbConstraintChecks=43557095 nbAssignments=380000
25.79/25.82 => wckTime=25.305 cpuTime=25.26 mem=6M455
26.40/26.47
26.40/26.47 search
26.40/26.47 run=38 nbConstraintChecks=44629965 nbAssignments=390000
26.40/26.47 => wckTime=25.962 cpuTime=25.93 mem=6M455
27.09/27.15
27.09/27.15 search
27.09/27.15 run=39 nbConstraintChecks=45822801 nbAssignments=400000
27.09/27.15 => wckTime=26.637 cpuTime=26.6 mem=6M455
27.79/27.81
27.79/27.81 search
27.79/27.81 run=40 nbConstraintChecks=46918775 nbAssignments=410000
27.79/27.81 => wckTime=27.298 cpuTime=27.26 mem=6M455
28.38/28.48
28.38/28.48 search
28.38/28.48 run=41 nbConstraintChecks=48085921 nbAssignments=420000
28.38/28.48 => wckTime=27.968 cpuTime=27.93 mem=6M455
29.08/29.14
29.08/29.14 search
29.08/29.14 run=42 nbConstraintChecks=49170724 nbAssignments=430000
29.08/29.14 => wckTime=28.627 cpuTime=28.59 mem=6M455
29.79/29.81
29.79/29.81 search
29.79/29.81 run=43 nbConstraintChecks=50356384 nbAssignments=440000
29.79/29.81 => wckTime=29.295 cpuTime=29.26 mem=6M455
30.38/30.46
30.38/30.46 search
30.38/30.46 run=44 nbConstraintChecks=51437567 nbAssignments=450000
30.38/30.46 => wckTime=29.949 cpuTime=29.9 mem=6M455
30.48/30.57
30.48/30.57 search
30.48/30.57 run=45 nbConstraintChecks=51631026 nbAssignments=451687
30.48/30.57 => wckTime=30.061 cpuTime=30.02 mem=6M455
30.48/30.57
30.48/30.57 global
30.48/30.57 nbConstraintChecks=51631026 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.48/30.57 solvingWckTime=30.06 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.48/30.57 globalCpuTime=30.24
30.48/30.57 => wckTime=30.33 cpuTime=30.2 mem=6M455
30.48/30.57
30.48/30.57 solver DecomposerSolver being built...
30.58/30.69 => wckTime=30.445 cpuTime=30.29 mem=18M370
30.58/30.69
30.58/30.69 preprocessing
30.58/30.69 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.58/30.69 detectedInconsistency=no
30.58/30.69 => wckTime=0.0020 cpuTime=0.0 mem=18M370
36.29/36.36
36.29/36.36 search
36.29/36.36 run=0 nbConstraintChecks=4157166 nbValidityChecks=3994911 minDepth=0 maxDepth=44 nbPropagations=0
36.29/36.36 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136597 nbFailedAssignments=40335 nbBacktracks=96263
36.29/36.36 nbVisitedNodes=190465
36.29/36.36 => wckTime=5.668 cpuTime=5.61 mem=19M345
36.29/36.36
36.29/36.36 global
36.29/36.36 nbConstraintChecks=4157166 nbValidityChecks=3994911 solvingWckTime=5.67 solvingCpuTime=5.62 expiredTime=no
36.29/36.36 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
36.29/36.36 globalCpuTime=35.95
36.29/36.36 => wckTime=36.116 cpuTime=35.91 mem=19M345
36.29/36.36
36.29/36.36 s OPTIMUM FOUND
36.29/36.36 v 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1
36.29/36.36 d NODES 136597
36.29/36.36 d CHECKS 4157166
36.29/36.36
36.29/36.36 totalWckTime=36.183 totalCpuTime=35.96
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111134-1215841913/watcher-1111134-1215841913 -o /tmp/evaluation-result-1111134-1215841913/solver-1111134-1215841913 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1111134-1215841913.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=18572 CPUtime=0
/proc/17526/stat : 17526 (runsolver) R 17524 17526 17121 0 -1 4194368 16 0 0 0 0 0 0 0 23 0 1 0 40889223 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17526/statm: 4643 292 257 25 0 2626 0
[startup+0.0589449 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=864076 CPUtime=0.04
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 2719 0 1 0 3 1 0 0 18 0 9 0 40889223 884813824 2276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216019 2276 1087 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.153255 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=865984 CPUtime=0.14
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 4204 0 1 0 11 3 0 0 18 0 9 0 40889223 886767616 3640 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216496 3640 1813 9 0 211051 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865984
[startup+0.302918 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866412 CPUtime=0.3
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 5904 0 1 0 26 4 0 0 18 0 9 0 40889223 887205888 5279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216603 5279 1957 9 0 211131 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 866412
[startup+0.701952 s]
/proc/loadavg: 2.00 2.02 2.01 4/81 17526
/proc/meminfo: memFree=1654408/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=0.7
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8235 0 1 0 56 14 0 0 18 0 9 0 40889223 887398400 7402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216651 7402 2632 9 0 211157 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 866600
[startup+1.50202 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1635136/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=1.5
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8240 0 1 0 95 55 0 0 18 0 9 0 40889223 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7406 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=1.35
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6090 0 1 0 81 54 0 0 20 0 9 0 40889224 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 17 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 866600
[startup+3.10114 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1634944/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=3.1
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8240 0 1 0 169 141 0 0 18 0 9 0 40889223 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7406 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=2.94
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6090 0 1 0 155 139 0 0 25 0 9 0 40889224 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 866604
[startup+6.3024 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1634688/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=6.29
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8241 0 1 0 311 318 0 0 18 0 9 0 40889223 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7406 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=6.14
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6091 0 1 0 297 317 0 0 25 0 9 0 40889224 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887402496 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 866604
[startup+12.7019 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 17535
/proc/meminfo: memFree=1634496/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=12.69
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8242 0 1 0 602 667 0 0 18 0 9 0 40889223 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7407 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=12.54
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6091 0 1 0 589 665 0 0 25 0 9 0 40889224 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887402496 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.1
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 40889228 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 866604
[startup+25.5029 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1634496/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866604 CPUtime=25.49
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 8248 0 1 0 1198 1351 0 0 18 0 9 0 40889223 887402496 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 7413 2633 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866604 CPUtime=25.33
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 6091 0 1 0 1183 1350 0 0 25 0 9 0 40889224 887402496 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866604 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887402496 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.11
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 344 0 0 0 11 0 0 0 16 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 7413 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 866604
Solver just ended. Dumping a history of the last processes samples
[startup+31.9065 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=31.89
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1558 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=31.66
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1537 1629 0 0 22 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126774855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 866600
[startup+33.5026 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=33.49
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1718 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=33.26
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1697 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126829028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 866600
[startup+35.1017 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=35.09
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1878 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=34.86
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1857 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126787670 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 866600
[startup+35.9018 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=35.89
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1958 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=35.65
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1936 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126829927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.89
Current children cumulated vsize (KiB) 866600
[startup+36.3068 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17535
/proc/meminfo: memFree=1625600/2055920 swapFree=4180240/4192956
[pid=17526] ppid=17524 vsize=866600 CPUtime=36.29
/proc/17526/stat : 17526 (java) S 17524 17526 17121 0 -1 0 10504 0 1 0 1998 1631 0 0 18 0 9 0 40889223 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17526/statm: 216650 9668 2634 9 0 211156 0
[pid=17526/tid=17528] ppid=17524 vsize=866600 CPUtime=36.06
/proc/17526/task/17528/stat : 17528 (java) R 17524 17526 17121 0 -1 64 8302 0 1 0 1977 1629 0 0 25 0 9 0 40889224 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4126803500 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17529] ppid=17524 vsize=866600 CPUtime=0.02
/proc/17526/task/17529/stat : 17529 (java) S 17524 17526 17121 0 -1 64 1118 0 0 0 2 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17530] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17530/stat : 17530 (java) S 17524 17526 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17531] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17531/stat : 17531 (java) S 17524 17526 17121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40889226 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17532] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17532/stat : 17532 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17533] ppid=17524 vsize=866600 CPUtime=0.18
/proc/17526/task/17533/stat : 17533 (java) S 17524 17526 17121 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17526/tid=17534] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17534/stat : 17534 (java) S 17524 17526 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17526/tid=17535] ppid=17524 vsize=866600 CPUtime=0
/proc/17526/task/17535/stat : 17535 (java) S 17524 17526 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40889228 887398400 9668 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.29
Current children cumulated vsize (KiB) 866600
Child status: 0
Real time (s): 36.3976
CPU time (s): 36.3635
CPU user time (s): 20.043
CPU system time (s): 16.3205
CPU usage (%): 99.9062
Max. virtual memory (cumulated for all children) (KiB): 866604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.043
system time used= 16.3205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10611
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= 1834
involuntary context switches= 2342
runsolver used 0.043993 second user time and 0.136979 second system time
The end
Begin job on node69 at 2008-07-12 07:51:53
IDJOB=1111134
IDBENCH=61235
IDSOLVER=360
FILE ID=node69/1111134-1215841913
PBS_JOBID= 7903404
Free space on /tmp= 66476 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/aim-50/normalized-aim-50-1-6-unsat-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111134-1215841913/watcher-1111134-1215841913 -o /tmp/evaluation-result-1111134-1215841913/solver-1111134-1215841913 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1111134-1215841913.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a47d58d01a8d46b68cf53b1a42c70131
RANDOM SEED=867152659
node69.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.233
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.233
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: 1654888 kB
Buffers: 61984 kB
Cached: 232024 kB
SwapCached: 7572 kB
Active: 166356 kB
Inactive: 168640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1654888 kB
SwapTotal: 4192956 kB
SwapFree: 4180240 kB
Dirty: 2092 kB
Writeback: 0 kB
Mapped: 55928 kB
Slab: 51080 kB
Committed_AS: 238832 kB
PageTables: 2004 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= 66476 MiB
End job on node69 at 2008-07-12 07:52:30