0.08/0.09
0.08/0.09 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=mrdac-wdeg.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-1111219-1215843020.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.36 variables being loaded...
0.29/0.38 nbVariables=25 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=50
0.29/0.38 => wckTime=0.132 cpuTime=0.13 mem=6M867
0.29/0.38
0.29/0.38 predicates being loaded...
0.38/0.49
0.38/0.49 constraints being loaded...
0.69/0.78 nbConstraints=100 nbConflictsStructures=1 nbSharedConflictsStructures=99 nbSharedBinaryRepresentations=0
0.69/0.78 nbEvaluationManagers=1 nbSharedEvaluationManagers=99 minDegree=16 maxDegree=16 minArity=4 maxArity=4
0.69/0.78 => wckTime=0.529 cpuTime=0.42 mem=13M716
0.79/0.84
0.79/0.84 solver LocalSearchSolver being built...
0.79/0.88 => wckTime=0.633 cpuTime=0.46 mem=6M584
0.79/0.89
0.79/0.89 s SATISFIABLE
0.79/0.89 o 11
0.79/0.89 o 6
0.88/0.90 o 4
0.88/0.90 o 2
2.17/2.23
2.17/2.23 search
2.17/2.23 run=0 nbConstraintChecks=1121625 nbAssignments=10000
2.17/2.23 => wckTime=1.349 cpuTime=1.32 mem=7M576
3.46/3.53
3.46/3.53 search
3.46/3.53 run=1 nbConstraintChecks=2250671 nbAssignments=20000
3.46/3.53 => wckTime=2.65 cpuTime=2.59 mem=7M576
4.74/4.81
4.74/4.81 search
4.74/4.81 run=2 nbConstraintChecks=3376510 nbAssignments=30000
4.74/4.81 => wckTime=3.928 cpuTime=3.86 mem=7M576
5.93/6.07
5.93/6.08 search
5.93/6.08 run=3 nbConstraintChecks=4502501 nbAssignments=40000
5.93/6.08 => wckTime=5.193 cpuTime=5.12 mem=7M576
7.22/7.34
7.22/7.34 search
7.22/7.34 run=4 nbConstraintChecks=5624298 nbAssignments=50000
7.22/7.34 => wckTime=6.456 cpuTime=6.37 mem=7M576
8.52/8.60
8.52/8.60 search
8.52/8.60 run=5 nbConstraintChecks=6749040 nbAssignments=60000
8.52/8.60 => wckTime=7.72 cpuTime=7.63 mem=7M576
9.70/9.87
9.70/9.87 search
9.70/9.87 run=6 nbConstraintChecks=7873654 nbAssignments=70000
9.70/9.87 => wckTime=8.99 cpuTime=8.88 mem=7M576
10.99/11.13
10.99/11.13 search
10.99/11.13 run=7 nbConstraintChecks=8992167 nbAssignments=80000
10.99/11.13 => wckTime=10.25 cpuTime=10.13 mem=7M576
12.17/12.40
12.17/12.40 search
12.17/12.40 run=8 nbConstraintChecks=10112979 nbAssignments=90000
12.17/12.40 => wckTime=11.515 cpuTime=11.38 mem=7M576
13.45/13.66
13.45/13.66 search
13.45/13.66 run=9 nbConstraintChecks=11231507 nbAssignments=100000
13.45/13.66 => wckTime=12.775 cpuTime=12.63 mem=7M576
14.75/14.92
14.75/14.92 search
14.75/14.92 run=10 nbConstraintChecks=12347386 nbAssignments=110000
14.75/14.92 => wckTime=14.034 cpuTime=13.87 mem=7M576
15.94/16.19
15.94/16.19 search
15.94/16.19 run=11 nbConstraintChecks=13473494 nbAssignments=120000
15.94/16.19 => wckTime=15.311 cpuTime=15.15 mem=7M576
17.23/17.46
17.23/17.46 search
17.23/17.46 run=12 nbConstraintChecks=14589592 nbAssignments=130000
17.23/17.46 => wckTime=16.582 cpuTime=16.4 mem=7M576
18.52/18.74
18.52/18.74 search
18.52/18.74 run=13 nbConstraintChecks=15713104 nbAssignments=140000
18.52/18.74 => wckTime=17.862 cpuTime=17.66 mem=7M576
19.80/20.02
19.80/20.02 search
19.80/20.02 run=14 nbConstraintChecks=16833419 nbAssignments=150000
19.80/20.02 => wckTime=19.136 cpuTime=18.92 mem=7M576
20.98/21.29
20.98/21.30 search
20.98/21.30 run=15 nbConstraintChecks=17951108 nbAssignments=160000
20.98/21.30 => wckTime=20.413 cpuTime=20.19 mem=7M576
22.27/22.57
22.27/22.57 search
22.27/22.57 run=16 nbConstraintChecks=19076702 nbAssignments=170000
22.27/22.57 => wckTime=21.691 cpuTime=21.45 mem=7M576
23.57/23.85
23.57/23.85 search
23.57/23.85 run=17 nbConstraintChecks=20196670 nbAssignments=180000
23.57/23.85 => wckTime=22.964 cpuTime=22.72 mem=7M576
24.85/25.11
24.85/25.11 search
24.85/25.11 run=18 nbConstraintChecks=21310421 nbAssignments=190000
24.85/25.11 => wckTime=24.233 cpuTime=23.98 mem=7M576
26.04/26.39
26.04/26.39 search
26.04/26.39 run=19 nbConstraintChecks=22434797 nbAssignments=200000
26.04/26.39 => wckTime=25.503 cpuTime=25.23 mem=7M576
27.32/27.65
27.32/27.65 search
27.32/27.65 run=20 nbConstraintChecks=23550326 nbAssignments=210000
27.32/27.65 => wckTime=26.764 cpuTime=26.48 mem=7M576
28.62/28.91
28.62/28.91 search
28.62/28.91 run=21 nbConstraintChecks=24666205 nbAssignments=220000
28.62/28.91 => wckTime=28.029 cpuTime=27.73 mem=7M576
29.80/30.17
29.80/30.17 search
29.80/30.17 run=22 nbConstraintChecks=25782426 nbAssignments=230000
29.80/30.17 => wckTime=29.289 cpuTime=28.98 mem=7M576
30.88/31.22
30.88/31.22 search
30.88/31.22 run=23 nbConstraintChecks=26714552 nbAssignments=238308
30.88/31.22 => wckTime=30.341 cpuTime=30.02 mem=7M576
30.88/31.22
30.88/31.22 global
30.88/31.22 nbConstraintChecks=26714552 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.88/31.22 solvingWckTime=30.339 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.88/31.22 globalCpuTime=30.55
30.88/31.22 => wckTime=30.974 cpuTime=30.49 mem=7M576
30.88/31.23
30.88/31.23 solver DecomposerSolver being built...
30.99/31.34 => wckTime=31.088 cpuTime=30.58 mem=18M622
30.99/31.34
30.99/31.34 preprocessing
30.99/31.34 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.99/31.34 detectedInconsistency=no
30.99/31.34 => wckTime=0.0040 cpuTime=0.0 mem=18M622
36.03/36.45
36.03/36.45 search
36.03/36.45 run=0 nbConstraintChecks=1931993 nbValidityChecks=4863344 minDepth=0 maxDepth=22 nbPropagations=0
36.03/36.45 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32758 nbFailedAssignments=9465 nbBacktracks=23294
36.03/36.45 nbVisitedNodes=57544
36.03/36.45 => wckTime=5.106 cpuTime=5.0 mem=19M729
36.03/36.45
36.03/36.45 global
36.03/36.45 nbConstraintChecks=1931993 nbValidityChecks=4863344 solvingWckTime=5.109 solvingCpuTime=5.0 expiredTime=no
36.03/36.45 totalExploration=yes nbFoundSolutions=0 upperBound=2 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
36.03/36.45 globalCpuTime=35.64
36.03/36.45 => wckTime=36.198 cpuTime=35.58 mem=19M729
36.03/36.45
36.03/36.45 s OPTIMUM FOUND
36.03/36.45 v 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 0
36.03/36.45 d NODES 32758
36.03/36.45 d CHECKS 1931993
36.03/36.45
36.03/36.45 totalWckTime=36.262 totalCpuTime=35.64
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111219-1215843020/watcher-1111219-1215843020 -o /tmp/evaluation-result-1111219-1215843020/solver-1111219-1215843020 -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-wdeg.xml 1 XSax HOME/instance-1111219-1215843020.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.14 2.12 2.04 3/80 16683
/proc/meminfo: memFree=1637096/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=1616 CPUtime=0
/proc/16683/stat : 16683 (java) D 16681 16683 14867 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 41004931 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/16683/statm: 404 147 121 9 0 46 0
[startup+0.0884019 s]
/proc/loadavg: 2.14 2.12 2.04 3/80 16683
/proc/meminfo: memFree=1637096/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=865956 CPUtime=0.08
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 3577 0 1 0 6 2 0 0 18 0 9 0 41004931 886738944 3067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216489 3067 1636 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865956
[startup+0.101399 s]
/proc/loadavg: 2.14 2.12 2.04 3/80 16683
/proc/meminfo: memFree=1637096/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=865984 CPUtime=0.09
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 3701 0 1 0 7 2 0 0 18 0 9 0 41004931 886767616 3174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216496 3174 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301425 s]
/proc/loadavg: 2.14 2.12 2.04 3/80 16683
/proc/meminfo: memFree=1637096/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866236 CPUtime=0.29
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 5714 0 1 0 25 4 0 0 18 0 9 0 41004931 887025664 5089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216559 5089 1946 9 0 211087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866236
[startup+0.701485 s]
/proc/loadavg: 2.14 2.12 2.04 3/80 16683
/proc/meminfo: memFree=1637096/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866632 CPUtime=0.69
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 7709 0 1 0 63 6 0 0 18 0 9 0 41004931 887431168 7070 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216658 7070 2004 9 0 211164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866632
[startup+1.50258 s]
/proc/loadavg: 2.14 2.12 2.04 3/89 16692
/proc/meminfo: memFree=1612640/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=1.48
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 9534 0 1 0 123 25 0 0 18 0 9 0 41004931 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 8680 2632 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=1.27
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 7256 0 1 0 104 23 0 0 25 0 9 0 41004932 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4126776408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.14
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 432 0 0 0 14 0 0 0 16 0 9 0 41004936 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 8680 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866896
[startup+3.1028 s]
/proc/loadavg: 2.14 2.12 2.04 3/89 16692
/proc/meminfo: memFree=1612448/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=3.07
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 9539 0 1 0 234 73 0 0 18 0 9 0 41004931 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 8684 2633 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=2.86
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 7257 0 1 0 215 71 0 0 25 0 9 0 41004932 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4126781598 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.14
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 436 0 0 0 14 0 0 0 16 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866896
[startup+6.30123 s]
/proc/loadavg: 2.13 2.12 2.04 3/89 16692
/proc/meminfo: memFree=1612192/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=6.23
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 9540 0 1 0 454 169 0 0 18 0 9 0 41004931 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 8684 2633 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=6.02
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 7258 0 1 0 435 167 0 0 25 0 9 0 41004932 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 9326237 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.14
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 436 0 0 0 14 0 0 0 16 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 866896
[startup+12.7021 s]
/proc/loadavg: 2.12 2.12 2.04 3/89 16692
/proc/meminfo: memFree=1612000/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=12.57
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 9540 0 1 0 894 363 0 0 18 0 9 0 41004931 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 8684 2633 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=12.36
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 7258 0 1 0 875 361 0 0 25 0 9 0 41004932 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4126772992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.14
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 436 0 0 0 14 0 0 0 16 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 8684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 866896
[startup+25.5018 s]
/proc/loadavg: 2.09 2.11 2.04 3/89 16692
/proc/meminfo: memFree=1612000/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=25.25
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 9541 0 1 0 1770 755 0 0 18 0 9 0 41004931 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 8685 2633 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=25.03
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 7258 0 1 0 1750 753 0 0 25 0 9 0 41004932 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4126779340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.15
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 437 0 0 0 15 0 0 0 16 0 9 0 41004936 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 8685 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 866896
Solver just ended. Dumping a history of the last processes samples
[startup+31.9067 s]
/proc/loadavg: 2.09 2.11 2.04 3/89 16692
/proc/meminfo: memFree=1606304/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=31.58
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 10960 0 1 0 2231 927 0 0 18 0 9 0 41004931 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 10103 2634 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=31.3
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 8638 0 1 0 2205 925 0 0 25 0 9 0 41004932 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4126777488 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.22
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 476 0 0 0 22 0 0 0 16 0 9 0 41004936 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 10103 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.58
Current children cumulated vsize (KiB) 866896
[startup+35.1021 s]
/proc/loadavg: 2.08 2.11 2.04 3/89 16692
/proc/meminfo: memFree=1606304/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=34.75
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 10963 0 1 0 2548 927 0 0 18 0 9 0 41004931 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 10104 2634 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=34.46
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 8638 0 1 0 2521 925 0 0 25 0 9 0 41004932 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4126875720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.22
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 479 0 0 0 22 0 0 0 16 0 9 0 41004936 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 10104 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.75
Current children cumulated vsize (KiB) 866896
[startup+35.9022 s]
/proc/loadavg: 2.08 2.11 2.04 3/89 16692
/proc/meminfo: memFree=1606304/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=35.54
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 10964 0 1 0 2627 927 0 0 18 0 9 0 41004931 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 10105 2634 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=35.25
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 8639 0 1 0 2600 925 0 0 25 0 9 0 41004932 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4126779324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.22
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 479 0 0 0 22 0 0 0 16 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.54
Current children cumulated vsize (KiB) 866896
[startup+36.3063 s]
/proc/loadavg: 2.08 2.11 2.04 3/89 16692
/proc/meminfo: memFree=1606304/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=866896 CPUtime=35.94
/proc/16683/stat : 16683 (java) S 16681 16683 14867 0 -1 0 10964 0 1 0 2667 927 0 0 18 0 9 0 41004931 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 216724 10105 2634 9 0 211230 0
[pid=16683/tid=16685] ppid=16681 vsize=866896 CPUtime=35.65
/proc/16683/task/16685/stat : 16685 (java) R 16681 16683 14867 0 -1 64 8639 0 1 0 2640 925 0 0 25 0 9 0 41004932 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4126779355 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16686] ppid=16681 vsize=866896 CPUtime=0.03
/proc/16683/task/16686/stat : 16686 (java) S 16681 16683 14867 0 -1 64 1150 0 0 0 3 0 0 0 16 0 9 0 41004934 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16687] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16687/stat : 16687 (java) S 16681 16683 14867 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41004934 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16688] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16688/stat : 16688 (java) S 16681 16683 14867 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 41004934 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16689] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16689/stat : 16689 (java) S 16681 16683 14867 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16690] ppid=16681 vsize=866896 CPUtime=0.22
/proc/16683/task/16690/stat : 16690 (java) S 16681 16683 14867 0 -1 64 479 0 0 0 22 0 0 0 16 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16691] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16691/stat : 16691 (java) S 16681 16683 14867 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16683/tid=16692] ppid=16681 vsize=866896 CPUtime=0
/proc/16683/task/16692/stat : 16692 (java) S 16681 16683 14867 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41004936 887701504 10105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.94
Current children cumulated vsize (KiB) 866896
[startup+36.5024 s]
/proc/loadavg: 2.08 2.11 2.04 3/89 16692
/proc/meminfo: memFree=1606304/2055920 swapFree=4192812/4192956
[pid=16683] ppid=16681 vsize=0 CPUtime=36.1
/proc/16683/stat : 16683 (java) Z 16681 16683 14867 0 -1 12 11071 0 1 0 2682 928 0 0 16 0 2 0 41004931 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16683/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 36.1
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 36.5035
CPU time (s): 36.1115
CPU user time (s): 26.8239
CPU system time (s): 9.28759
CPU usage (%): 98.9262
Max. virtual memory (cumulated for all children) (KiB): 866900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8239
system time used= 9.28759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11071
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= 1553
involuntary context switches= 3261
runsolver used 0.056991 second user time and 0.12798 second system time
The end
Begin job on node10 at 2008-07-12 08:10:20
IDJOB=1111219
IDBENCH=61248
IDSOLVER=359
FILE ID=node10/1111219-1215843020
PBS_JOBID= 7903368
Free space on /tmp= 66504 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/chessboardColoration/normalized-cc-5-5-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111219-1215843020/watcher-1111219-1215843020 -o /tmp/evaluation-result-1111219-1215843020/solver-1111219-1215843020 -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-wdeg.xml 1 XSax HOME/instance-1111219-1215843020.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0783726ae862674687c5eb9001f3cded
RANDOM SEED=1277203585
node10.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: 1637576 kB
Buffers: 33784 kB
Cached: 93580 kB
SwapCached: 0 kB
Active: 299080 kB
Inactive: 61676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1637576 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 253768 kB
Slab: 42560 kB
Committed_AS: 994108 kB
PageTables: 2168 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= 66504 MiB
End job on node10 at 2008-07-12 08:10:57