0.07/0.11
0.07/0.11 Abscon 112 (May, 2008)
0.16/0.25
0.16/0.25 configuration
0.16/0.25 name=mrdac-ddeg.xml
0.27/0.34
0.27/0.34 instance
0.27/0.34 name=HOME/instance-1111150-1215841957.xml
0.27/0.38
0.27/0.38 domains being loaded...
0.27/0.39
0.27/0.39 variables being loaded...
0.37/0.41 nbVariables=50 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=100
0.37/0.41 => wckTime=0.153 cpuTime=0.11 mem=6M867
0.37/0.41
0.37/0.41 relations being loaded...
0.37/0.42
0.37/0.42 constraints being loaded...
0.37/0.48 nbConstraints=94 nbRelationTypes=13 nbExtensionStructures=13 nbSharedExtensionStructures=81
0.37/0.48 nbConflictsStructures=13 nbSharedConflictsStructures=81 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=6
0.37/0.48 minArity=3 maxArity=3
0.37/0.48 => wckTime=0.223 cpuTime=0.18 mem=9M831
0.46/0.53
0.46/0.53 solver LocalSearchSolver being built...
0.56/0.61 => wckTime=0.352 cpuTime=0.23 mem=5M480
0.56/0.61
0.56/0.61 s SATISFIABLE
0.56/0.61 o 10
0.56/0.61 o 9
0.56/0.62 o 8
0.56/0.62 o 7
0.56/0.62 o 6
0.56/0.62 o 5
0.56/0.62 o 4
0.56/0.62 o 3
0.56/0.62 o 2
0.56/0.63 o 1
1.35/1.40
1.35/1.40 search
1.35/1.40 run=0 nbConstraintChecks=1281228 nbAssignments=10000
1.35/1.40 => wckTime=0.79 cpuTime=0.75 mem=6M471
2.05/2.16
2.05/2.16 search
2.05/2.16 run=1 nbConstraintChecks=2626123 nbAssignments=20000
2.05/2.16 => wckTime=1.556 cpuTime=1.51 mem=6M471
2.83/2.91
2.83/2.91 search
2.83/2.91 run=2 nbConstraintChecks=3915681 nbAssignments=30000
2.83/2.91 => wckTime=2.298 cpuTime=2.24 mem=6M471
3.53/3.66
3.53/3.66 search
3.53/3.66 run=3 nbConstraintChecks=5300351 nbAssignments=40000
3.53/3.66 => wckTime=3.048 cpuTime=2.99 mem=6M471
4.23/4.39
4.23/4.39 search
4.23/4.39 run=4 nbConstraintChecks=6578441 nbAssignments=50000
4.23/4.39 => wckTime=3.783 cpuTime=3.72 mem=6M471
5.02/5.15
5.02/5.15 search
5.02/5.15 run=5 nbConstraintChecks=7987845 nbAssignments=60000
5.02/5.15 => wckTime=4.543 cpuTime=4.47 mem=6M471
5.71/5.89
5.71/5.89 search
5.71/5.89 run=6 nbConstraintChecks=9237144 nbAssignments=70000
5.71/5.89 => wckTime=5.277 cpuTime=5.19 mem=6M471
6.50/6.64
6.50/6.64 search
6.50/6.64 run=7 nbConstraintChecks=10605855 nbAssignments=80000
6.50/6.64 => wckTime=6.033 cpuTime=5.94 mem=6M471
7.20/7.38
7.20/7.38 search
7.20/7.38 run=8 nbConstraintChecks=11859873 nbAssignments=90000
7.20/7.38 => wckTime=6.767 cpuTime=6.67 mem=6M471
7.99/8.12
7.99/8.12 search
7.99/8.12 run=9 nbConstraintChecks=13190810 nbAssignments=100000
7.99/8.12 => wckTime=7.513 cpuTime=7.41 mem=6M471
8.68/8.86
8.68/8.86 search
8.68/8.86 run=10 nbConstraintChecks=14458721 nbAssignments=110000
8.68/8.86 => wckTime=8.255 cpuTime=8.14 mem=6M471
9.48/9.62
9.48/9.62 search
9.48/9.62 run=11 nbConstraintChecks=15851399 nbAssignments=120000
9.48/9.62 => wckTime=9.009 cpuTime=8.89 mem=6M471
10.16/10.36
10.16/10.36 search
10.16/10.36 run=12 nbConstraintChecks=17156072 nbAssignments=130000
10.16/10.36 => wckTime=9.752 cpuTime=9.63 mem=6M471
10.96/11.12
10.96/11.12 search
10.96/11.12 run=13 nbConstraintChecks=18569963 nbAssignments=140000
10.96/11.12 => wckTime=10.515 cpuTime=10.38 mem=6M471
11.65/11.86
11.65/11.86 search
11.65/11.86 run=14 nbConstraintChecks=19856200 nbAssignments=150000
11.65/11.86 => wckTime=11.25 cpuTime=11.11 mem=6M471
12.45/12.61
12.45/12.61 search
12.45/12.61 run=15 nbConstraintChecks=21280812 nbAssignments=160000
12.45/12.61 => wckTime=12.004 cpuTime=11.86 mem=6M471
13.14/13.35
13.14/13.35 search
13.14/13.35 run=16 nbConstraintChecks=22544688 nbAssignments=170000
13.14/13.35 => wckTime=12.739 cpuTime=12.58 mem=6M471
13.93/14.10
13.93/14.10 search
13.93/14.10 run=17 nbConstraintChecks=23961387 nbAssignments=180000
13.93/14.10 => wckTime=13.492 cpuTime=13.32 mem=6M471
14.62/14.83
14.62/14.83 search
14.62/14.83 run=18 nbConstraintChecks=25228665 nbAssignments=190000
14.62/14.83 => wckTime=14.223 cpuTime=14.05 mem=6M471
15.32/15.58
15.32/15.58 search
15.32/15.58 run=19 nbConstraintChecks=26624083 nbAssignments=200000
15.32/15.59 => wckTime=14.976 cpuTime=14.79 mem=6M471
16.11/16.32
16.11/16.32 search
16.11/16.32 run=20 nbConstraintChecks=27894371 nbAssignments=210000
16.11/16.32 => wckTime=15.708 cpuTime=15.52 mem=6M471
16.80/17.06
16.80/17.06 search
16.80/17.06 run=21 nbConstraintChecks=29268714 nbAssignments=220000
16.80/17.06 => wckTime=16.455 cpuTime=16.26 mem=6M471
17.59/17.81
17.59/17.81 search
17.59/17.81 run=22 nbConstraintChecks=30580455 nbAssignments=230000
17.59/17.81 => wckTime=17.197 cpuTime=17.0 mem=6M471
18.28/18.55
18.28/18.55 search
18.28/18.55 run=23 nbConstraintChecks=31964886 nbAssignments=240000
18.28/18.55 => wckTime=17.943 cpuTime=17.74 mem=6M471
18.99/19.28
18.99/19.28 search
18.99/19.28 run=24 nbConstraintChecks=33245177 nbAssignments=250000
18.99/19.28 => wckTime=18.676 cpuTime=18.46 mem=6M471
19.77/20.04
19.77/20.04 search
19.77/20.04 run=25 nbConstraintChecks=34612226 nbAssignments=260000
19.77/20.04 => wckTime=19.427 cpuTime=19.2 mem=6M471
20.46/20.77
20.46/20.77 search
20.46/20.77 run=26 nbConstraintChecks=35872587 nbAssignments=270000
20.46/20.77 => wckTime=20.158 cpuTime=19.92 mem=6M471
21.26/21.51
21.26/21.51 search
21.26/21.51 run=27 nbConstraintChecks=37214338 nbAssignments=280000
21.26/21.51 => wckTime=20.902 cpuTime=20.67 mem=6M471
21.96/22.26
21.96/22.26 search
21.96/22.26 run=28 nbConstraintChecks=38492749 nbAssignments=290000
21.96/22.26 => wckTime=21.647 cpuTime=21.4 mem=6M471
22.75/23.02
22.75/23.02 search
22.75/23.02 run=29 nbConstraintChecks=39920634 nbAssignments=300000
22.75/23.02 => wckTime=22.409 cpuTime=22.16 mem=6M471
23.44/23.77
23.44/23.77 search
23.44/23.77 run=30 nbConstraintChecks=41223465 nbAssignments=310000
23.44/23.77 => wckTime=23.162 cpuTime=22.89 mem=6M471
24.23/24.53
24.23/24.53 search
24.23/24.53 run=31 nbConstraintChecks=42623692 nbAssignments=320000
24.23/24.53 => wckTime=23.919 cpuTime=23.65 mem=6M471
24.93/25.27
24.93/25.27 search
24.93/25.27 run=32 nbConstraintChecks=43924196 nbAssignments=330000
24.93/25.27 => wckTime=24.662 cpuTime=24.38 mem=6M471
25.71/26.04
25.71/26.04 search
25.71/26.04 run=33 nbConstraintChecks=45344244 nbAssignments=340000
25.71/26.04 => wckTime=25.43 cpuTime=25.14 mem=6M471
26.41/26.78
26.41/26.78 search
26.41/26.78 run=34 nbConstraintChecks=46659869 nbAssignments=350000
26.41/26.78 => wckTime=26.175 cpuTime=25.88 mem=6M471
27.21/27.54
27.21/27.54 search
27.21/27.54 run=35 nbConstraintChecks=48031758 nbAssignments=360000
27.21/27.54 => wckTime=26.934 cpuTime=26.63 mem=6M471
27.89/28.28
27.89/28.28 search
27.89/28.28 run=36 nbConstraintChecks=49309157 nbAssignments=370000
27.89/28.28 => wckTime=27.673 cpuTime=27.36 mem=6M471
28.69/29.04
28.69/29.04 search
28.69/29.04 run=37 nbConstraintChecks=50699645 nbAssignments=380000
28.69/29.04 => wckTime=28.429 cpuTime=28.11 mem=6M471
29.38/29.78
29.38/29.79 search
29.38/29.79 run=38 nbConstraintChecks=52009360 nbAssignments=390000
29.38/29.79 => wckTime=29.177 cpuTime=28.85 mem=6M471
30.17/30.55
30.17/30.55 search
30.17/30.55 run=39 nbConstraintChecks=53415218 nbAssignments=400000
30.17/30.55 => wckTime=29.937 cpuTime=29.6 mem=6M471
30.57/30.97
30.57/30.97 search
30.57/30.97 run=40 nbConstraintChecks=54123946 nbAssignments=405667
30.57/30.97 => wckTime=30.357 cpuTime=30.02 mem=6M471
30.57/30.97
30.57/30.97 global
30.57/30.97 nbConstraintChecks=54123946 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.57/30.97 solvingWckTime=30.356 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.57/30.97 globalCpuTime=30.3
30.57/30.97 => wckTime=30.708 cpuTime=30.25 mem=6M471
30.57/30.97
30.57/30.97 solver DecomposerSolver being built...
30.67/31.09 => wckTime=30.834 cpuTime=30.35 mem=18M452
30.67/31.10
30.67/31.10 preprocessing
30.67/31.10 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.67/31.10 detectedInconsistency=no
30.67/31.10 => wckTime=0.0040 cpuTime=0.0 mem=18M452
33.05/33.45
33.05/33.45 search
33.05/33.45 run=0 nbConstraintChecks=1044298 nbValidityChecks=1143865 minDepth=0 maxDepth=43 nbPropagations=0
33.05/33.45 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44216 nbFailedAssignments=8522 nbBacktracks=35695
33.05/33.45 nbVisitedNodes=55347
33.05/33.45 => wckTime=2.351 cpuTime=2.28 mem=19M429
33.05/33.45
33.05/33.45 global
33.05/33.45 nbConstraintChecks=1044298 nbValidityChecks=1143865 solvingWckTime=2.354 solvingCpuTime=2.28 expiredTime=no
33.05/33.45 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
33.05/33.45 globalCpuTime=32.68
33.05/33.45 => wckTime=33.19 cpuTime=32.63 mem=19M429
33.05/33.45
33.05/33.45 s OPTIMUM FOUND
33.05/33.45 v 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0
33.05/33.45 d NODES 44216
33.05/33.45 d CHECKS 1044298
33.05/33.45
33.05/33.45 totalWckTime=33.248 totalCpuTime=32.69
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111150-1215841957/watcher-1111150-1215841957 -o /tmp/evaluation-result-1111150-1215841957/solver-1111150-1215841957 -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-1111150-1215841957.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.00 1.99 3/81 16989
/proc/meminfo: memFree=1833120/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=1612 CPUtime=0
/proc/16989/stat : 16989 (java) D 16987 16989 16916 0 -1 0 152 0 0 0 0 0 0 0 18 0 1 0 40897768 1650688 125 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 0 0 0
/proc/16989/statm: 403 129 104 9 0 45 0
[startup+0.106196 s]
/proc/loadavg: 2.00 2.00 1.99 3/81 16989
/proc/meminfo: memFree=1833120/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=865956 CPUtime=0.07
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 3580 0 1 0 5 2 0 0 18 0 9 0 40897768 886738944 3070 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216489 3070 1636 9 0 211051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865956
[startup+0.201205 s]
/proc/loadavg: 2.00 2.00 1.99 3/81 16989
/proc/meminfo: memFree=1833120/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866012 CPUtime=0.16
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 4498 0 1 0 13 3 0 0 18 0 9 0 40897768 886796288 3929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216503 3929 1850 9 0 211051 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 866012
[startup+0.301212 s]
/proc/loadavg: 2.00 2.00 1.99 3/81 16989
/proc/meminfo: memFree=1833120/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866156 CPUtime=0.27
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 5590 0 1 0 23 4 0 0 18 0 9 0 40897768 886943744 5005 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216539 5005 1901 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156
[startup+0.701241 s]
/proc/loadavg: 2.00 2.00 1.99 3/81 16989
/proc/meminfo: memFree=1833120/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=0.66
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8250 0 1 0 57 9 0 0 18 0 9 0 40897768 887439360 7417 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 7417 2632 9 0 211166 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 866640
[startup+1.50131 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813720/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866644 CPUtime=1.45
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8260 0 1 0 99 46 0 0 18 0 9 0 40897768 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216661 7427 2633 9 0 211167 0
[pid=16989/tid=16991] ppid=16987 vsize=866644 CPUtime=1.29
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6123 0 1 0 84 45 0 0 25 0 9 0 40897769 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866644 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866644 CPUtime=0.1
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 319 0 0 0 10 0 0 0 16 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 866644
[startup+3.10145 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813528/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=3.04
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8261 0 1 0 170 134 0 0 18 0 9 0 40897768 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 7427 2633 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=2.88
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6124 0 1 0 156 132 0 0 25 0 9 0 40897769 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 1955744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.1
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 319 0 0 0 10 0 0 0 16 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866640
[startup+6.30273 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813400/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866644 CPUtime=6.2
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8262 0 1 0 318 302 0 0 18 0 9 0 40897768 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216661 7427 2633 9 0 211167 0
[pid=16989/tid=16991] ppid=16987 vsize=866644 CPUtime=6.04
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6125 0 1 0 304 300 0 0 25 0 9 0 40897769 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866644 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866644 CPUtime=0.1
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 319 0 0 0 10 0 0 0 16 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887443456 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 866644
[startup+12.7023 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813280/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=12.54
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8262 0 1 0 619 635 0 0 18 0 9 0 40897768 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 7427 2633 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=12.38
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6125 0 1 0 605 633 0 0 25 0 9 0 40897769 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4126665359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.11
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 319 0 0 0 11 0 0 0 16 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 7427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 866640
[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813280/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866644 CPUtime=25.22
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8269 0 1 0 1209 1313 0 0 18 0 9 0 40897768 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216661 7434 2633 9 0 211167 0
[pid=16989/tid=16991] ppid=16987 vsize=866644 CPUtime=25.04
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6125 0 1 0 1193 1311 0 0 25 0 9 0 40897769 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866644 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866644 CPUtime=0.12
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 326 0 0 0 12 0 0 0 16 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 866644
Solver just ended. Dumping a history of the last processes samples
[startup+25.6014 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813280/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=25.32
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8269 0 1 0 1214 1318 0 0 18 0 9 0 40897768 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 7434 2633 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=25.15
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6125 0 1 0 1199 1316 0 0 25 0 9 0 40897769 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4126651770 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.12
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 326 0 0 0 12 0 0 0 16 0 9 0 40897775 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 866640
[startup+28.8017 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1813280/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866644 CPUtime=28.48
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 8269 0 1 0 1361 1487 0 0 18 0 9 0 40897768 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216661 7434 2633 9 0 211167 0
[pid=16989/tid=16991] ppid=16987 vsize=866644 CPUtime=28.31
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 6125 0 1 0 1346 1485 0 0 25 0 9 0 40897769 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866644 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866644 CPUtime=0.12
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 326 0 0 0 12 0 0 0 16 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866644 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887443456 7434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.48
Current children cumulated vsize (KiB) 866644
[startup+32.0079 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1804128/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=31.66
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 10536 0 1 0 1564 1602 0 0 18 0 9 0 40897768 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 9700 2634 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=31.41
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 8346 0 1 0 1541 1600 0 0 25 0 9 0 40897769 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4126803132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 17 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.2
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 372 0 0 0 20 0 0 0 16 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (KiB) 866640
[startup+32.803 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1804128/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=32.45
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 10536 0 1 0 1643 1602 0 0 18 0 9 0 40897768 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 9700 2634 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=32.2
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 8346 0 1 0 1620 1600 0 0 25 0 9 0 40897769 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4126772551 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 17 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.2
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 372 0 0 0 20 0 0 0 16 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.45
Current children cumulated vsize (KiB) 866640
[startup+33.2021 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1804128/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=32.85
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 10537 0 1 0 1683 1602 0 0 18 0 9 0 40897768 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 9700 2634 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=32.59
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 8346 0 1 0 1659 1600 0 0 25 0 9 0 40897769 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4126773300 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 17 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.2
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 373 0 0 0 20 0 0 0 16 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.85
Current children cumulated vsize (KiB) 866640
[startup+33.4021 s]
/proc/loadavg: 2.00 2.00 1.99 3/90 16998
/proc/meminfo: memFree=1804128/2055920 swapFree=4177576/4192956
[pid=16989] ppid=16987 vsize=866640 CPUtime=33.05
/proc/16989/stat : 16989 (java) S 16987 16989 16916 0 -1 0 10537 0 1 0 1703 1602 0 0 18 0 9 0 40897768 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16989/statm: 216660 9700 2634 9 0 211166 0
[pid=16989/tid=16991] ppid=16987 vsize=866640 CPUtime=32.79
/proc/16989/task/16991/stat : 16991 (java) R 16987 16989 16916 0 -1 64 8346 0 1 0 1679 1600 0 0 25 0 9 0 40897769 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4126836577 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16992] ppid=16987 vsize=866640 CPUtime=0.03
/proc/16989/task/16992/stat : 16992 (java) S 16987 16989 16916 0 -1 64 1122 0 0 0 3 0 0 0 16 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16993] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16993/stat : 16993 (java) S 16987 16989 16916 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16994] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16994/stat : 16994 (java) S 16987 16989 16916 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40897772 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16995] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16995/stat : 16995 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16996] ppid=16987 vsize=866640 CPUtime=0.2
/proc/16989/task/16996/stat : 16996 (java) S 16987 16989 16916 0 -1 64 373 0 0 0 20 0 0 0 16 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16997] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16997/stat : 16997 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16989/tid=16998] ppid=16987 vsize=866640 CPUtime=0
/proc/16989/task/16998/stat : 16998 (java) S 16987 16989 16916 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40897775 887439360 9700 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.05
Current children cumulated vsize (KiB) 866640
Child status: 0
Real time (s): 33.4843
CPU time (s): 33.113
CPU user time (s): 17.0864
CPU system time (s): 16.0266
CPU usage (%): 98.891
Max. virtual memory (cumulated for all children) (KiB): 866644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0864
system time used= 16.0266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10642
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= 1438
involuntary context switches= 3214
runsolver used 0.049992 second user time and 0.123981 second system time
The end
Begin job on node31 at 2008-07-12 07:52:37
IDJOB=1111150
IDBENCH=61237
IDSOLVER=360
FILE ID=node31/1111150-1215841957
PBS_JOBID= 7903417
Free space on /tmp= 66492 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/aim-50/normalized-aim-50-2-0-unsat-2_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-1111150-1215841957/watcher-1111150-1215841957 -o /tmp/evaluation-result-1111150-1215841957/solver-1111150-1215841957 -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-1111150-1215841957.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f8b7c9bc37d7b68c9dc83ae8e6fb989e
RANDOM SEED=165816335
node31.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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1833600 kB
Buffers: 45656 kB
Cached: 90520 kB
SwapCached: 8392 kB
Active: 105736 kB
Inactive: 71996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1833600 kB
SwapTotal: 4192956 kB
SwapFree: 4177576 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 57012 kB
Slab: 29284 kB
Committed_AS: 235976 kB
PageTables: 2084 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66488 MiB
End job on node31 at 2008-07-12 07:53:10