0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.26/0.31
0.26/0.31 configuration
0.26/0.31 name=mrdac-ddeg.xml
0.26/0.38
0.26/0.38 instance
0.26/0.38 name=HOME/instance-1126762-1216186872.xml
0.32/0.42
0.32/0.42 domains being loaded...
0.32/0.43
0.32/0.43 variables being loaded...
0.32/0.47 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.32/0.47 => wckTime=0.161 cpuTime=0.11 mem=7M908
0.32/0.47
0.32/0.47 relations being loaded...
0.32/0.48
0.32/0.48 constraints being loaded...
0.61/0.74 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.61/0.74 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.61/0.74 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.61/0.74 => wckTime=0.427 cpuTime=0.28 mem=14M806
0.71/0.80
0.71/0.80 solver LocalSearchSolver being built...
0.71/0.84 => wckTime=0.533 cpuTime=0.32 mem=6M521
0.71/0.85
0.71/0.85 s SATISFIABLE
0.71/0.85 o 37
0.71/0.85 o 34
0.71/0.85 o 32
0.71/0.86 o 30
0.71/0.86 o 28
0.71/0.86 o 27
0.71/0.86 o 26
0.71/0.86 o 25
0.71/0.86 o 24
0.71/0.86 o 23
0.71/0.86 o 22
0.71/0.87 o 21
0.71/0.87 o 20
0.71/0.87 o 19
0.71/0.87 o 18
0.71/0.87 o 17
0.71/0.87 o 16
0.71/0.87 o 15
0.71/0.88 o 13
0.71/0.89 o 12
0.71/0.89 o 11
0.71/0.89 o 10
0.71/0.89 o 9
0.71/0.89 o 8
0.80/0.90 o 4
0.80/0.90 o 3
0.80/0.91 o 2
0.80/0.94 o 1
0.91/1.00 o 0
0.91/1.00 First solution found
17.25/17.54
17.25/17.54 search
17.25/17.54 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.25/17.54 => wckTime=16.699 cpuTime=16.49 mem=7M562
17.25/17.54
17.25/17.54 search
17.25/17.54 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.25/17.54 => wckTime=16.699 cpuTime=16.49 mem=7M562
17.25/17.54
17.25/17.54 global
17.25/17.54 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.25/17.54 solvingWckTime=16.697 solvingCpuTime=16.49 expiredTime=no totalExploration=yes nbFoundSolutions=2212
17.25/17.54 firstSolutionCpuTime=0.47 globalCpuTime=16.85
17.25/17.54 => wckTime=17.233 cpuTime=16.81 mem=7M562
17.25/17.54
17.25/17.54 solver DecomposerSolver being built...
17.35/17.65 => wckTime=17.34 cpuTime=16.9 mem=17M608
17.35/17.65 C50(V0,V75)
17.35/17.65 C50(V0,V75)
17.35/17.65 C101(V1,V75)
17.35/17.65 C101(V1,V75)
17.35/17.65 C152(V2,V75)
17.35/17.65 C152(V2,V75)
17.35/17.65 C203(V3,V75)
17.35/17.65 C203(V3,V75)
17.35/17.65 C254(V4,V75)
17.35/17.65 C254(V4,V75)
17.35/17.65 C305(V5,V75)
17.35/17.65 C305(V5,V75)
17.35/17.65 C356(V6,V75)
17.35/17.65 C356(V6,V75)
17.35/17.65 C407(V7,V75)
17.35/17.65 C407(V7,V75)
17.35/17.66 C458(V8,V75)
17.35/17.66 C458(V8,V75)
17.35/17.66 C509(V9,V75)
17.35/17.66 C509(V9,V75)
17.35/17.66 C610(V11,V75)
17.35/17.66 C610(V11,V75)
17.35/17.66 C661(V12,V75)
17.35/17.66 C661(V12,V75)
17.35/17.66 C712(V13,V75)
17.35/17.66 C712(V13,V75)
17.35/17.66 C763(V14,V75)
17.35/17.66 C763(V14,V75)
17.35/17.66 C814(V15,V75)
17.35/17.66 C814(V15,V75)
17.35/17.66 C865(V16,V75)
17.35/17.66 C865(V16,V75)
17.35/17.66 C916(V17,V75)
17.35/17.66 C916(V17,V75)
17.35/17.66 C967(V18,V75)
17.35/17.66 C967(V18,V75)
17.35/17.66 C1018(V19,V75)
17.35/17.66 C1018(V19,V75)
17.35/17.66 C1069(V20,V75)
17.35/17.66 C1069(V20,V75)
17.35/17.66 C1120(V21,V75)
17.35/17.66 C1120(V21,V75)
17.35/17.66 C1171(V22,V75)
17.35/17.66 C1171(V22,V75)
17.35/17.66 C1222(V23,V75)
17.35/17.66 C1222(V23,V75)
17.35/17.66 C1273(V24,V75)
17.35/17.66 C1273(V24,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.66 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67 C1274(V47,V75)
17.35/17.67
17.35/17.67 preprocessing
17.35/17.67 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.35/17.67 detectedInconsistency=yes
17.35/17.67 => wckTime=0.018 cpuTime=0.02 mem=17M608
17.35/17.67
17.35/17.67 global
17.35/17.67 nbConstraintChecks=73 solvingWckTime=0.02 solvingCpuTime=0.02 expiredTime=no totalExploration=yes
17.35/17.67 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=16.96
17.35/17.67 => wckTime=17.362 cpuTime=16.92 mem=18M616
17.35/17.67
17.35/17.67 s OPTIMUM FOUND
17.35/17.67 v 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 -1
17.35/17.67 d NODES 0
17.35/17.67 d CHECKS 73
17.35/17.67
17.35/17.67 totalWckTime=17.439 totalCpuTime=16.96
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126762-1216186872/watcher-1126762-1216186872 -o /tmp/evaluation-result-1126762-1216186872/solver-1126762-1216186872 -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-1126762-1216186872.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.35 2.10 2.03 4/81 32056
/proc/meminfo: memFree=1828424/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=1616 CPUtime=0
/proc/32056/stat : 32056 (java) D 32054 32056 30012 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 75389114 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/32056/statm: 404 147 121 9 0 46 0
[startup+0.0772119 s]
/proc/loadavg: 2.35 2.10 2.03 4/81 32056
/proc/meminfo: memFree=1828424/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=865856 CPUtime=0.06
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 3397 0 1 0 5 1 0 0 18 0 9 0 75389114 886636544 2906 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216464 2906 1566 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101213 s]
/proc/loadavg: 2.35 2.10 2.03 4/81 32056
/proc/meminfo: memFree=1828424/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=865984 CPUtime=0.08
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 3705 0 2 0 7 1 0 0 18 0 9 0 75389114 886767616 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216496 3179 1683 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301226 s]
/proc/loadavg: 2.35 2.10 2.03 4/81 32056
/proc/meminfo: memFree=1828424/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=866144 CPUtime=0.26
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 5265 0 9 0 22 4 0 0 18 0 9 0 75389114 886931456 4701 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216536 4701 1864 9 0 211084 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866144
[startup+0.70126 s]
/proc/loadavg: 2.35 2.10 2.03 4/81 32056
/proc/meminfo: memFree=1828424/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867028 CPUtime=0.61
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 8160 0 19 0 55 6 0 0 18 0 9 0 75389114 887836672 7539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216757 7539 1985 9 0 211285 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 867028
[startup+1.50132 s]
/proc/loadavg: 2.32 2.10 2.03 3/90 32065
/proc/meminfo: memFree=1797760/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=1.4
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10007 0 19 0 132 8 0 0 18 0 9 0 75389114 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9192 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=1.15
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7444 0 19 0 109 6 0 0 25 0 9 0 75389115 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4126810592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.18
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 492 0 0 0 18 0 0 0 15 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 867116
[startup+3.10145 s]
/proc/loadavg: 2.32 2.10 2.03 3/90 32065
/proc/meminfo: memFree=1797568/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=2.99
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10008 0 19 0 287 12 0 0 18 0 9 0 75389114 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9192 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=2.74
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7445 0 19 0 264 10 0 0 25 0 9 0 75389115 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4126810592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.18
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 492 0 0 0 18 0 0 0 17 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 867116
[startup+6.3027 s]
/proc/loadavg: 2.30 2.10 2.03 3/90 32065
/proc/meminfo: memFree=1797376/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=6.16
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10013 0 19 0 594 22 0 0 18 0 9 0 75389114 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9196 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=5.9
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7446 0 19 0 570 20 0 0 25 0 9 0 75389115 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4126810706 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.18
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 496 0 0 0 18 0 0 0 15 0 9 0 75389119 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 867116
[startup+12.7022 s]
/proc/loadavg: 2.27 2.10 2.03 3/90 32065
/proc/meminfo: memFree=1797312/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=12.49
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10015 0 19 0 1211 38 0 0 18 0 9 0 75389114 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9198 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=12.23
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7446 0 19 0 1187 36 0 0 25 0 9 0 75389115 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126809091 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.19
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 498 0 0 0 19 0 0 0 16 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 867116
Solver just ended. Dumping a history of the last processes samples
[startup+15.9015 s]
/proc/loadavg: 2.27 2.10 2.03 3/90 32065
/proc/meminfo: memFree=1797312/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=15.67
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10015 0 19 0 1519 48 0 0 18 0 9 0 75389114 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9198 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=15.4
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7446 0 19 0 1494 46 0 0 25 0 9 0 75389115 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126810521 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.19
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 498 0 0 0 19 0 0 0 16 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.67
Current children cumulated vsize (KiB) 867116
[startup+16.7015 s]
/proc/loadavg: 2.25 2.09 2.03 3/90 32065
/proc/meminfo: memFree=1797376/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=16.45
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10015 0 19 0 1595 50 0 0 18 0 9 0 75389114 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9198 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=16.19
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7446 0 19 0 1571 48 0 0 25 0 9 0 75389115 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126809109 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.19
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 498 0 0 0 19 0 0 0 16 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.45
Current children cumulated vsize (KiB) 867116
[startup+17.5016 s]
/proc/loadavg: 2.25 2.09 2.03 3/90 32065
/proc/meminfo: memFree=1797440/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=867116 CPUtime=17.25
/proc/32056/stat : 32056 (java) S 32054 32056 30012 0 -1 0 10015 0 19 0 1673 52 0 0 18 0 9 0 75389114 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 216779 9198 2634 9 0 211285 0
[pid=32056/tid=32058] ppid=32054 vsize=867116 CPUtime=16.98
/proc/32056/task/32058/stat : 32058 (java) R 32054 32056 30012 0 -1 64 7446 0 19 0 1648 50 0 0 25 0 9 0 75389115 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126810481 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=867116 CPUtime=0.04
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32060] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32061] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32061/stat : 32061 (java) S 32054 32056 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75389117 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32062] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32063] ppid=32054 vsize=867116 CPUtime=0.19
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 30012 0 -1 64 498 0 0 0 19 0 0 0 16 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32056/tid=32065] ppid=32054 vsize=867116 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75389119 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.25
Current children cumulated vsize (KiB) 867116
[startup+17.7019 s]
/proc/loadavg: 2.25 2.09 2.03 3/90 32065
/proc/meminfo: memFree=1797440/2055920 swapFree=4181276/4192956
[pid=32056] ppid=32054 vsize=0 CPUtime=17.42
/proc/32056/stat : 32056 (java) Z 32054 32056 30012 0 -1 12 10607 0 19 0 1689 53 0 0 16 0 2 0 75389114 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.42
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 17.7075
CPU time (s): 17.4363
CPU user time (s): 16.8954
CPU system time (s): 0.540917
CPU usage (%): 98.4685
Max. virtual memory (cumulated for all children) (KiB): 867120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8954
system time used= 0.540917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10607
page faults= 19
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1639
involuntary context switches= 2401
runsolver used 0.023996 second user time and 0.074988 second system time
The end