0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mrdac-ddeg.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1111142-1215841938.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.37 nbVariables=50 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=100
0.28/0.37 => wckTime=0.125 cpuTime=0.1 mem=6M867
0.28/0.37
0.28/0.37 relations being loaded...
0.28/0.38
0.28/0.38 constraints being loaded...
0.40/0.45 nbConstraints=97 nbRelationTypes=11 nbExtensionStructures=11 nbSharedExtensionStructures=86
0.40/0.45 nbConflictsStructures=11 nbSharedConflictsStructures=86 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=6
0.40/0.45 minArity=3 maxArity=3
0.40/0.45 => wckTime=0.206 cpuTime=0.15 mem=9M831
0.49/0.50
0.49/0.50 solver LocalSearchSolver being built...
0.49/0.54 => wckTime=0.293 cpuTime=0.2 mem=5M481
0.49/0.54
0.49/0.54 s SATISFIABLE
0.49/0.54 o 11
0.49/0.54 o 10
0.49/0.55 o 9
0.49/0.55 o 8
0.49/0.55 o 7
0.49/0.55 o 6
0.49/0.55 o 5
0.49/0.55 o 4
0.49/0.55 o 3
0.49/0.55 o 2
0.49/0.55 o 1
1.19/1.27
1.19/1.27 search
1.19/1.27 run=0 nbConstraintChecks=1254290 nbAssignments=10000
1.19/1.27 => wckTime=0.73 cpuTime=0.72 mem=6M473
1.89/1.97
1.89/1.97 search
1.89/1.97 run=1 nbConstraintChecks=2590239 nbAssignments=20000
1.89/1.97 => wckTime=1.432 cpuTime=1.41 mem=6M473
2.59/2.64
2.59/2.64 search
2.59/2.64 run=2 nbConstraintChecks=3826242 nbAssignments=30000
2.59/2.64 => wckTime=2.099 cpuTime=2.08 mem=6M473
3.29/3.31
3.29/3.31 search
3.29/3.31 run=3 nbConstraintChecks=5129301 nbAssignments=40000
3.29/3.31 => wckTime=2.774 cpuTime=2.76 mem=6M473
3.89/3.98
3.89/3.98 search
3.89/3.98 run=4 nbConstraintChecks=6335116 nbAssignments=50000
3.89/3.98 => wckTime=3.437 cpuTime=3.41 mem=6M473
4.59/4.65
4.59/4.65 search
4.59/4.65 run=5 nbConstraintChecks=7634411 nbAssignments=60000
4.59/4.65 => wckTime=4.112 cpuTime=4.09 mem=6M473
5.29/5.32
5.29/5.32 search
5.29/5.32 run=6 nbConstraintChecks=8859821 nbAssignments=70000
5.29/5.32 => wckTime=4.777 cpuTime=4.76 mem=6M473
5.89/6.00
5.89/6.00 search
5.89/6.00 run=7 nbConstraintChecks=10205794 nbAssignments=80000
5.89/6.00 => wckTime=5.459 cpuTime=5.44 mem=6M473
6.59/6.66
6.59/6.66 search
6.59/6.66 run=8 nbConstraintChecks=11400027 nbAssignments=90000
6.59/6.66 => wckTime=6.12 cpuTime=6.1 mem=6M473
7.29/7.34
7.29/7.34 search
7.29/7.34 run=9 nbConstraintChecks=12765051 nbAssignments=100000
7.29/7.34 => wckTime=6.804 cpuTime=6.78 mem=6M473
7.98/8.01
7.98/8.01 search
7.98/8.01 run=10 nbConstraintChecks=13964126 nbAssignments=110000
7.98/8.01 => wckTime=7.466 cpuTime=7.44 mem=6M473
8.59/8.69
8.59/8.69 search
8.59/8.69 run=11 nbConstraintChecks=15315549 nbAssignments=120000
8.59/8.69 => wckTime=8.148 cpuTime=8.12 mem=6M473
9.29/9.36
9.29/9.36 search
9.29/9.36 run=12 nbConstraintChecks=16562278 nbAssignments=130000
9.29/9.36 => wckTime=8.817 cpuTime=8.79 mem=6M473
9.99/10.04
9.99/10.04 search
9.99/10.04 run=13 nbConstraintChecks=17914983 nbAssignments=140000
9.99/10.04 => wckTime=9.499 cpuTime=9.48 mem=6M473
10.68/10.70
10.68/10.70 search
10.68/10.70 run=14 nbConstraintChecks=19133284 nbAssignments=150000
10.68/10.70 => wckTime=10.164 cpuTime=10.14 mem=6M473
11.29/11.38
11.29/11.38 search
11.29/11.38 run=15 nbConstraintChecks=20445604 nbAssignments=160000
11.29/11.38 => wckTime=10.836 cpuTime=10.81 mem=6M473
11.99/12.03
11.99/12.03 search
11.99/12.03 run=16 nbConstraintChecks=21655694 nbAssignments=170000
11.99/12.03 => wckTime=11.495 cpuTime=11.47 mem=6M473
12.68/12.71
12.68/12.71 search
12.68/12.71 run=17 nbConstraintChecks=22985047 nbAssignments=180000
12.68/12.71 => wckTime=12.169 cpuTime=12.14 mem=6M473
13.28/13.37
13.28/13.37 search
13.28/13.37 run=18 nbConstraintChecks=24218645 nbAssignments=190000
13.28/13.37 => wckTime=12.831 cpuTime=12.8 mem=6M473
13.98/14.05
13.98/14.05 search
13.98/14.05 run=19 nbConstraintChecks=25590144 nbAssignments=200000
13.98/14.05 => wckTime=13.511 cpuTime=13.48 mem=6M473
14.69/14.70
14.69/14.71 search
14.69/14.71 run=20 nbConstraintChecks=26764950 nbAssignments=210000
14.69/14.71 => wckTime=14.165 cpuTime=14.13 mem=6M473
15.28/15.38
15.28/15.38 search
15.28/15.38 run=21 nbConstraintChecks=28097368 nbAssignments=220000
15.28/15.38 => wckTime=14.839 cpuTime=14.8 mem=6M473
15.98/16.04
15.98/16.04 search
15.98/16.04 run=22 nbConstraintChecks=29345129 nbAssignments=230000
15.98/16.04 => wckTime=15.502 cpuTime=15.47 mem=6M473
16.69/16.72
16.69/16.72 search
16.69/16.72 run=23 nbConstraintChecks=30697233 nbAssignments=240000
16.69/16.72 => wckTime=16.178 cpuTime=16.15 mem=6M473
17.28/17.37
17.28/17.37 search
17.28/17.37 run=24 nbConstraintChecks=31906991 nbAssignments=250000
17.28/17.37 => wckTime=16.835 cpuTime=16.8 mem=6M473
17.98/18.05
17.98/18.05 search
17.98/18.05 run=25 nbConstraintChecks=33216800 nbAssignments=260000
17.98/18.05 => wckTime=17.506 cpuTime=17.47 mem=6M473
18.58/18.70
18.58/18.70 search
18.58/18.70 run=26 nbConstraintChecks=34387962 nbAssignments=270000
18.58/18.70 => wckTime=18.16 cpuTime=18.12 mem=6M473
19.28/19.37
19.28/19.37 search
19.28/19.37 run=27 nbConstraintChecks=35718206 nbAssignments=280000
19.28/19.37 => wckTime=18.834 cpuTime=18.8 mem=6M473
19.98/20.03
19.98/20.03 search
19.98/20.03 run=28 nbConstraintChecks=36922854 nbAssignments=290000
19.98/20.03 => wckTime=19.493 cpuTime=19.46 mem=6M473
20.67/20.71
20.67/20.71 search
20.67/20.71 run=29 nbConstraintChecks=38274704 nbAssignments=300000
20.67/20.71 => wckTime=20.171 cpuTime=20.14 mem=6M473
21.28/21.38
21.28/21.38 search
21.28/21.38 run=30 nbConstraintChecks=39482191 nbAssignments=310000
21.28/21.38 => wckTime=20.84 cpuTime=20.79 mem=6M473
21.98/22.06
21.98/22.06 search
21.98/22.06 run=31 nbConstraintChecks=40804593 nbAssignments=320000
21.98/22.06 => wckTime=21.52 cpuTime=21.48 mem=6M473
22.68/22.72
22.68/22.72 search
22.68/22.72 run=32 nbConstraintChecks=41995805 nbAssignments=330000
22.68/22.72 => wckTime=22.183 cpuTime=22.14 mem=6M473
23.38/23.41
23.38/23.41 search
23.38/23.41 run=33 nbConstraintChecks=43391748 nbAssignments=340000
23.38/23.41 => wckTime=22.874 cpuTime=22.83 mem=6M473
23.98/24.07
23.98/24.07 search
23.98/24.07 run=34 nbConstraintChecks=44574670 nbAssignments=350000
23.98/24.07 => wckTime=23.534 cpuTime=23.49 mem=6M473
24.68/24.75
24.68/24.75 search
24.68/24.75 run=35 nbConstraintChecks=45882453 nbAssignments=360000
24.68/24.75 => wckTime=24.213 cpuTime=24.17 mem=6M473
25.37/25.41
25.37/25.41 search
25.37/25.41 run=36 nbConstraintChecks=47056122 nbAssignments=370000
25.37/25.41 => wckTime=24.873 cpuTime=24.82 mem=6M473
25.97/26.09
25.97/26.09 search
25.97/26.09 run=37 nbConstraintChecks=48350137 nbAssignments=380000
25.97/26.09 => wckTime=25.548 cpuTime=25.5 mem=6M473
26.67/26.74
26.67/26.74 search
26.67/26.74 run=38 nbConstraintChecks=49496519 nbAssignments=390000
26.67/26.74 => wckTime=26.205 cpuTime=26.16 mem=6M473
27.37/27.42
27.37/27.42 search
27.37/27.42 run=39 nbConstraintChecks=50783109 nbAssignments=400000
27.37/27.42 => wckTime=26.879 cpuTime=26.83 mem=6M473
27.97/28.08
27.97/28.08 search
27.97/28.08 run=40 nbConstraintChecks=51957795 nbAssignments=410000
27.97/28.08 => wckTime=27.538 cpuTime=27.49 mem=6M473
28.67/28.76
28.67/28.76 search
28.67/28.76 run=41 nbConstraintChecks=53281600 nbAssignments=420000
28.67/28.76 => wckTime=28.218 cpuTime=28.16 mem=6M473
29.37/29.42
29.37/29.42 search
29.37/29.42 run=42 nbConstraintChecks=54468889 nbAssignments=430000
29.37/29.42 => wckTime=28.881 cpuTime=28.83 mem=6M473
30.07/30.10
30.07/30.10 search
30.07/30.10 run=43 nbConstraintChecks=55816286 nbAssignments=440000
30.07/30.10 => wckTime=29.564 cpuTime=29.52 mem=6M473
30.57/30.60
30.57/30.60 search
30.57/30.60 run=44 nbConstraintChecks=56695866 nbAssignments=447602
30.57/30.60 => wckTime=30.064 cpuTime=30.02 mem=6M473
30.57/30.61
30.57/30.61 global
30.57/30.61 nbConstraintChecks=56695866 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.57/30.61 solvingWckTime=30.063 solvingCpuTime=30.01 expiredTime=no totalExploration=no nbFoundSolutions=0
30.57/30.61 globalCpuTime=30.26
30.57/30.61 => wckTime=30.357 cpuTime=30.21 mem=6M473
30.57/30.61
30.57/30.61 solver DecomposerSolver being built...
30.67/30.72 => wckTime=30.474 cpuTime=30.31 mem=18M487
30.67/30.73
30.67/30.73 preprocessing
30.67/30.73 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.67/30.73 detectedInconsistency=no
30.67/30.73 => wckTime=0.0030 cpuTime=0.0 mem=18M487
43.66/43.77
43.66/43.77 search
43.66/43.77 run=0 nbConstraintChecks=8432013 nbValidityChecks=7581837 minDepth=0 maxDepth=46 nbPropagations=0
43.66/43.77 nbRevisions=0 nbUselessRevisions=0 nbAssignments=284390 nbFailedAssignments=52651 nbBacktracks=231740
43.66/43.77 nbVisitedNodes=349229
43.66/43.77 => wckTime=13.041 cpuTime=12.97 mem=19M463
43.66/43.77
43.66/43.77 global
43.66/43.77 nbConstraintChecks=8432013 nbValidityChecks=7581837 solvingWckTime=13.044 solvingCpuTime=12.98 expiredTime=no
43.66/43.77 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
43.66/43.77 globalCpuTime=43.34
43.66/43.77 => wckTime=43.519 cpuTime=43.29 mem=19M463
43.66/43.77
43.66/43.77 s OPTIMUM FOUND
43.66/43.77 v 1 1 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1
43.66/43.77 d NODES 284390
43.66/43.77 d CHECKS 8432013
43.66/43.77
43.66/43.77 totalWckTime=43.576 totalCpuTime=43.34
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111142-1215841938/watcher-1111142-1215841938 -o /tmp/evaluation-result-1111142-1215841938/solver-1111142-1215841938 -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-1111142-1215841938.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.02 2.04 2.04 4/81 17770
/proc/meminfo: memFree=1859480/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=18572 CPUtime=0
/proc/17770/stat : 17770 (runsolver) R 17768 17770 17265 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 40893082 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17770/statm: 4643 292 257 25 0 2626 0
[startup+0.0597881 s]
/proc/loadavg: 2.02 2.04 2.04 4/81 17770
/proc/meminfo: memFree=1859480/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=863832 CPUtime=0.04
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 2608 0 1 0 3 1 0 0 18 0 9 0 40893082 884563968 2175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 215958 2175 1027 9 0 210937 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863832
[startup+0.102795 s]
/proc/loadavg: 2.02 2.04 2.04 4/81 17770
/proc/meminfo: memFree=1859480/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=865984 CPUtime=0.08
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 3718 0 1 0 7 1 0 0 18 0 9 0 40893082 886767616 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216496 3185 1683 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301831 s]
/proc/loadavg: 2.02 2.04 2.04 4/81 17770
/proc/meminfo: memFree=1859480/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=866156 CPUtime=0.28
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 5593 0 1 0 25 3 0 0 18 0 9 0 40893082 886943744 5008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216559 5009 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.7019 s]
/proc/loadavg: 2.02 2.04 2.04 4/81 17770
/proc/meminfo: memFree=1859480/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=0.69
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 8274 0 1 0 58 11 0 0 18 0 9 0 40893082 888479744 7441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216915 7441 2632 9 0 211421 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867656
[startup+1.50104 s]
/proc/loadavg: 2.02 2.04 2.04 3/90 17779
/proc/meminfo: memFree=1840016/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=1.5
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 8281 0 1 0 97 53 0 0 18 0 9 0 40893082 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 7447 2633 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=1.34
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 6118 0 1 0 83 51 0 0 25 0 9 0 40893084 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867660 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 17 0 9 0 40893085 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867660 CPUtime=0.1
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 345 0 0 0 10 0 0 0 16 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 867656
[startup+3.10133 s]
/proc/loadavg: 2.02 2.04 2.04 4/90 17779
/proc/meminfo: memFree=1839824/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867660 CPUtime=3.09
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 8281 0 1 0 168 141 0 0 18 0 9 0 40893082 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216915 7447 2633 9 0 211421 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=2.94
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 6118 0 1 0 155 139 0 0 25 0 9 0 40893084 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.1
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 345 0 0 0 10 0 0 0 16 0 9 0 40893088 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867660
[startup+6.30292 s]
/proc/loadavg: 2.02 2.04 2.04 3/90 17779
/proc/meminfo: memFree=1839504/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=6.29
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 8282 0 1 0 322 307 0 0 18 0 9 0 40893082 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216915 7447 2633 9 0 211421 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=6.14
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 6119 0 1 0 308 306 0 0 25 0 9 0 40893084 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867660 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.1
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 345 0 0 0 10 0 0 0 16 0 9 0 40893088 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888483840 7447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867656
[startup+12.7011 s]
/proc/loadavg: 2.02 2.04 2.04 3/90 17779
/proc/meminfo: memFree=1839376/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867660 CPUtime=12.68
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 8284 0 1 0 615 653 0 0 18 0 9 0 40893082 888483840 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 7449 2633 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=12.54
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 6119 0 1 0 602 652 0 0 25 0 9 0 40893084 888479744 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888483840 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888483840 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.1
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 347 0 0 0 10 0 0 0 16 0 9 0 40893088 888479744 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888483840 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 7449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867660
[startup+25.5024 s]
/proc/loadavg: 2.01 2.03 2.04 3/90 17779
/proc/meminfo: memFree=1839248/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867660 CPUtime=25.47
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 8289 0 1 0 1198 1349 0 0 18 0 9 0 40893082 888483840 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 7454 2633 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867660 CPUtime=25.31
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 6119 0 1 0 1184 1347 0 0 25 0 9 0 40893084 888483840 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888483840 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867660 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888483840 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867660 CPUtime=0.11
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 352 0 0 0 11 0 0 0 16 0 9 0 40893088 888483840 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 7454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 867660
Solver just ended. Dumping a history of the last processes samples
[startup+31.9066 s]
/proc/loadavg: 2.01 2.03 2.04 3/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=31.87
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10573 0 1 0 1555 1632 0 0 18 0 9 0 40893082 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 9738 2634 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=31.64
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 8359 0 1 0 1533 1631 0 0 25 0 9 0 40893084 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4126656480 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 17 0 9 0 40893085 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 9738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 867656
[startup+38.3017 s]
/proc/loadavg: 2.01 2.03 2.04 4/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=38.27
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10575 0 1 0 2194 1633 0 0 18 0 9 0 40893082 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 9739 2634 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=38.03
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 8361 0 1 0 2172 1631 0 0 25 0 9 0 40893084 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4126815132 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 867656
[startup+41.5023 s]
/proc/loadavg: 2.01 2.03 2.03 3/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=41.47
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10575 0 1 0 2514 1633 0 0 18 0 9 0 40893082 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 9739 2634 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=41.23
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 8361 0 1 0 2492 1631 0 0 25 0 9 0 40893084 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4126822860 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 867656
[startup+43.1016 s]
/proc/loadavg: 2.01 2.03 2.03 3/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=43.06
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10575 0 1 0 2673 1633 0 0 18 0 9 0 40893082 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 9739 2634 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=42.83
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 8361 0 1 0 2652 1631 0 0 25 0 9 0 40893084 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4126822838 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.06
Current children cumulated vsize (KiB) 867656
[startup+43.5017 s]
/proc/loadavg: 2.01 2.03 2.03 3/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=43.46
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10575 0 1 0 2713 1633 0 0 18 0 9 0 40893082 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 9739 2634 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=43.23
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 8361 0 1 0 2692 1631 0 0 25 0 9 0 40893084 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4126757040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.46
Current children cumulated vsize (KiB) 867656
[startup+43.7017 s]
/proc/loadavg: 2.01 2.03 2.03 3/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867656 CPUtime=43.66
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10575 0 1 0 2733 1633 0 0 18 0 9 0 40893082 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216914 9739 2634 9 0 211420 0
[pid=17770/tid=17772] ppid=17768 vsize=867656 CPUtime=43.43
/proc/17770/task/17772/stat : 17772 (java) R 17768 17770 17265 0 -1 64 8361 0 1 0 2712 1631 0 0 25 0 9 0 40893084 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4126757040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867656 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867656 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867656 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888479744 9739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.66
Current children cumulated vsize (KiB) 867656
[startup+43.8017 s]
/proc/loadavg: 2.01 2.03 2.03 3/90 17779
/proc/meminfo: memFree=1830224/2055920 swapFree=4192812/4192956
[pid=17770] ppid=17768 vsize=867980 CPUtime=43.74
/proc/17770/stat : 17770 (java) S 17768 17770 17265 0 -1 0 10676 0 1 0 2741 1633 0 0 18 0 9 0 40893082 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17770/statm: 216995 9839 2635 9 0 211501 0
[pid=17770/tid=17772] ppid=17768 vsize=867980 CPUtime=43.5
/proc/17770/task/17772/stat : 17772 (java) S 17768 17770 17265 0 -1 64 8457 0 1 0 2719 1631 0 0 25 0 9 0 40893084 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17773] ppid=17768 vsize=867980 CPUtime=0.02
/proc/17770/task/17773/stat : 17773 (java) S 17768 17770 17265 0 -1 64 1122 0 0 0 2 0 0 0 16 0 9 0 40893085 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17774] ppid=17768 vsize=867980 CPUtime=0
/proc/17770/task/17774/stat : 17774 (java) S 17768 17770 17265 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40893085 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17775] ppid=17768 vsize=867980 CPUtime=0
/proc/17770/task/17775/stat : 17775 (java) S 17768 17770 17265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40893085 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17776] ppid=17768 vsize=867980 CPUtime=0
/proc/17770/task/17776/stat : 17776 (java) S 17768 17770 17265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40893088 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17777] ppid=17768 vsize=867980 CPUtime=0.18
/proc/17770/task/17777/stat : 17777 (java) S 17768 17770 17265 0 -1 64 396 0 0 0 18 0 0 0 16 0 9 0 40893088 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17770/tid=17778] ppid=17768 vsize=867980 CPUtime=0
/proc/17770/task/17778/stat : 17778 (java) S 17768 17770 17265 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40893088 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17770/tid=17779] ppid=17768 vsize=867980 CPUtime=0
/proc/17770/task/17779/stat : 17779 (java) S 17768 17770 17265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40893088 888811520 9839 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.74
Current children cumulated vsize (KiB) 867980
Child status: 0
Real time (s): 43.8084
CPU time (s): 43.7473
CPU user time (s): 27.4118
CPU system time (s): 16.3355
CPU usage (%): 99.8607
Max. virtual memory (cumulated for all children) (KiB): 867980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4118
system time used= 16.3355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10681
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= 1831
involuntary context switches= 2397
runsolver used 0.066989 second user time and 0.163975 second system time
The end
Begin job on node45 at 2008-07-12 07:52:18
IDJOB=1111142
IDBENCH=61236
IDSOLVER=360
FILE ID=node45/1111142-1215841938
PBS_JOBID= 7903403
Free space on /tmp= 66492 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/aim-50/normalized-aim-50-2-0-unsat-1_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-1111142-1215841938/watcher-1111142-1215841938 -o /tmp/evaluation-result-1111142-1215841938/solver-1111142-1215841938 -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-1111142-1215841938.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7543acf27c2ffeca57eadee803738a2c
RANDOM SEED=2029747336
node45.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.281
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.281
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: 1859960 kB
Buffers: 29364 kB
Cached: 82292 kB
SwapCached: 0 kB
Active: 82816 kB
Inactive: 53400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1859960 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3108 kB
Writeback: 0 kB
Mapped: 44720 kB
Slab: 44916 kB
Committed_AS: 215924 kB
PageTables: 1816 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= 66488 MiB
End job on node45 at 2008-07-12 07:53:02