0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.17/0.26
0.17/0.26 configuration
0.17/0.26 name=mrdac-ddeg.xml
0.27/0.32
0.27/0.32 instance
0.27/0.32 name=HOME/instance-1126866-1216187198.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.37
0.27/0.37 variables being loaded...
0.35/0.41 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.35/0.41 => wckTime=0.15 cpuTime=0.1 mem=7M908
0.35/0.41
0.35/0.41 relations being loaded...
0.35/0.42
0.35/0.42 constraints being loaded...
0.54/0.65 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.54/0.65 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.54/0.65 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.54/0.65 => wckTime=0.388 cpuTime=0.26 mem=14M806
0.65/0.71
0.65/0.71 solver LocalSearchSolver being built...
0.65/0.75 => wckTime=0.488 cpuTime=0.3 mem=6M521
0.65/0.76
0.65/0.76 s SATISFIABLE
0.65/0.76 o 37
0.65/0.76 o 34
0.65/0.76 o 32
0.65/0.76 o 30
0.65/0.76 o 28
0.65/0.77 o 27
0.65/0.77 o 26
0.65/0.77 o 25
0.65/0.77 o 24
0.65/0.77 o 23
0.65/0.77 o 22
0.65/0.77 o 21
0.65/0.77 o 20
0.65/0.77 o 19
0.65/0.77 o 18
0.65/0.77 o 17
0.65/0.77 o 16
0.65/0.77 o 15
0.65/0.78 o 13
0.65/0.79 o 12
0.65/0.79 o 11
0.65/0.79 o 10
0.65/0.79 o 9
0.65/0.79 o 8
0.75/0.80 o 4
0.75/0.81 o 3
0.75/0.81 o 2
0.75/0.84 o 1
0.75/0.89 o 0
0.75/0.89 First solution found
15.97/16.29
15.97/16.29 search
15.97/16.29 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.97/16.29 => wckTime=15.544 cpuTime=15.34 mem=7M562
15.97/16.29
15.97/16.29 search
15.97/16.29 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.97/16.29 => wckTime=15.544 cpuTime=15.34 mem=7M562
15.97/16.29
15.97/16.29 global
15.97/16.29 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.97/16.29 solvingWckTime=15.543 solvingCpuTime=15.34 expiredTime=no totalExploration=yes nbFoundSolutions=2212
15.97/16.29 firstSolutionCpuTime=0.43 globalCpuTime=15.68
15.97/16.29 => wckTime=16.033 cpuTime=15.64 mem=7M562
15.97/16.29
15.97/16.29 solver DecomposerSolver being built...
16.07/16.39 => wckTime=16.133 cpuTime=15.72 mem=17M608
16.07/16.39 C50(V0,V75)
16.07/16.39 C50(V0,V75)
16.07/16.40 C101(V1,V75)
16.07/16.40 C101(V1,V75)
16.07/16.40 C152(V2,V75)
16.07/16.40 C152(V2,V75)
16.07/16.40 C203(V3,V75)
16.07/16.40 C203(V3,V75)
16.17/16.40 C254(V4,V75)
16.17/16.40 C254(V4,V75)
16.17/16.40 C305(V5,V75)
16.17/16.40 C305(V5,V75)
16.17/16.41 C356(V6,V75)
16.17/16.41 C356(V6,V75)
16.17/16.41 C407(V7,V75)
16.17/16.41 C407(V7,V75)
16.17/16.41 C458(V8,V75)
16.17/16.41 C458(V8,V75)
16.17/16.41 C509(V9,V75)
16.17/16.41 C509(V9,V75)
16.17/16.41 C610(V11,V75)
16.17/16.41 C610(V11,V75)
16.17/16.41 C661(V12,V75)
16.17/16.41 C661(V12,V75)
16.17/16.41 C712(V13,V75)
16.17/16.41 C712(V13,V75)
16.17/16.41 C763(V14,V75)
16.17/16.41 C763(V14,V75)
16.17/16.41 C814(V15,V75)
16.17/16.41 C814(V15,V75)
16.17/16.41 C865(V16,V75)
16.17/16.41 C865(V16,V75)
16.17/16.41 C916(V17,V75)
16.17/16.41 C916(V17,V75)
16.17/16.41 C967(V18,V75)
16.17/16.41 C967(V18,V75)
16.17/16.41 C1018(V19,V75)
16.17/16.41 C1018(V19,V75)
16.17/16.41 C1069(V20,V75)
16.17/16.41 C1069(V20,V75)
16.17/16.41 C1120(V21,V75)
16.17/16.41 C1120(V21,V75)
16.17/16.41 C1171(V22,V75)
16.17/16.41 C1171(V22,V75)
16.17/16.41 C1222(V23,V75)
16.17/16.41 C1222(V23,V75)
16.17/16.41 C1273(V24,V75)
16.17/16.41 C1273(V24,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.41 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42 C1274(V47,V75)
16.17/16.42
16.17/16.42 preprocessing
16.17/16.42 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
16.17/16.42 detectedInconsistency=yes
16.17/16.42 => wckTime=0.023 cpuTime=0.01 mem=17M608
16.17/16.42
16.17/16.42 global
16.17/16.42 nbConstraintChecks=73 solvingWckTime=0.026 solvingCpuTime=0.02 expiredTime=no totalExploration=yes
16.17/16.42 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=15.78
16.17/16.42 => wckTime=16.16 cpuTime=15.74 mem=18M616
16.17/16.42
16.17/16.42 s OPTIMUM FOUND
16.17/16.42 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
16.17/16.42 d NODES 0
16.17/16.42 d CHECKS 73
16.17/16.42
16.17/16.42 totalWckTime=16.227 totalCpuTime=15.78
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126866-1216187198/watcher-1126866-1216187198 -o /tmp/evaluation-result-1126866-1216187198/solver-1126866-1216187198 -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-1126866-1216187198.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: 5.47 4.88 3.72 4/100 27993
/proc/meminfo: memFree=1889256/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=18572 CPUtime=0
/proc/27993/stat : 27993 (runsolver) R 27991 27993 26262 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75416358 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 226686987559 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/27993/statm: 4643 292 257 25 0 2626 0
[startup+0.00922304 s]
/proc/loadavg: 5.47 4.88 3.72 4/100 27993
/proc/meminfo: memFree=1889256/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=1520 CPUtime=0
/proc/27993/stat : 27993 (java) R 27991 27993 26262 0 -1 0 90 0 0 0 0 0 0 0 20 0 1 0 75416358 1556480 73 996147200 134512640 134550740 4294956128 18446744073709551615 5718106 0 0 4096 0 0 0 0 17 0 0 0
/proc/27993/statm: 380 73 56 9 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1520
[startup+0.101279 s]
/proc/loadavg: 5.47 4.88 3.72 4/100 27993
/proc/meminfo: memFree=1889256/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=865988 CPUtime=0.08
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 3710 0 1 0 7 1 0 0 21 0 9 0 75416358 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216497 3185 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301266 s]
/proc/loadavg: 5.47 4.88 3.72 4/100 27993
/proc/meminfo: memFree=1889256/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=866360 CPUtime=0.27
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 5676 0 2 0 24 3 0 0 21 0 9 0 75416358 887152640 5086 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216590 5086 1918 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866360
[startup+0.701318 s]
/proc/loadavg: 5.47 4.88 3.72 4/100 27993
/proc/meminfo: memFree=1889256/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867028 CPUtime=0.65
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 9865 0 2 0 59 6 0 0 21 0 9 0 75416358 887836672 9036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216757 9036 2607 9 0 211285 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 867028
[startup+1.50241 s]
/proc/loadavg: 5.47 4.88 3.72 3/109 28002
/proc/meminfo: memFree=1862240/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=1.43
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10022 0 2 0 134 9 0 0 21 0 9 0 75416358 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9190 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=1.2
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7450 0 2 0 113 7 0 0 25 0 9 0 75416360 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126809152 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.16
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 503 0 0 0 16 0 0 0 15 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 867116
[startup+3.1016 s]
/proc/loadavg: 5.19 4.83 3.71 3/109 28002
/proc/meminfo: memFree=1861984/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=3.01
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10023 0 2 0 289 12 0 0 21 0 9 0 75416358 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9190 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=2.79
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7451 0 2 0 268 11 0 0 25 0 9 0 75416360 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126809183 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.16
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 503 0 0 0 16 0 0 0 17 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867116
[startup+6.302 s]
/proc/loadavg: 5.19 4.83 3.71 3/109 28002
/proc/meminfo: memFree=1861864/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=6.18
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10028 0 2 0 596 22 0 0 21 0 9 0 75416358 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9194 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=5.94
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7452 0 2 0 574 20 0 0 25 0 9 0 75416360 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4126810781 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.17
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 507 0 0 0 17 0 0 0 15 0 9 0 75416363 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 867116
[startup+12.7018 s]
/proc/loadavg: 4.70 4.74 3.69 3/109 28002
/proc/meminfo: memFree=1861968/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=12.51
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10031 0 2 0 1214 37 0 0 21 0 9 0 75416358 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9197 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=12.27
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7452 0 2 0 1191 36 0 0 25 0 9 0 75416360 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126810720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.17
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867116
Solver just ended. Dumping a history of the last processes samples
[startup+14.308 s]
/proc/loadavg: 4.70 4.74 3.69 3/109 28002
/proc/meminfo: memFree=1862104/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=14.09
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10031 0 2 0 1367 42 0 0 21 0 9 0 75416358 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9197 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=13.86
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7452 0 2 0 1345 41 0 0 25 0 9 0 75416360 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126816857 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.17
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.09
Current children cumulated vsize (KiB) 867116
[startup+15.1011 s]
/proc/loadavg: 4.70 4.74 3.69 3/109 28002
/proc/meminfo: memFree=1862104/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=14.88
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10031 0 2 0 1444 44 0 0 21 0 9 0 75416358 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9197 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=14.64
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7452 0 2 0 1421 43 0 0 25 0 9 0 75416360 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809183 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.17
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.88
Current children cumulated vsize (KiB) 867116
[startup+15.9012 s]
/proc/loadavg: 4.70 4.74 3.69 4/109 28002
/proc/meminfo: memFree=1862104/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=15.67
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10031 0 2 0 1522 45 0 0 21 0 9 0 75416358 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9197 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=15.43
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7452 0 2 0 1499 44 0 0 25 0 9 0 75416360 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126817171 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.17
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 26262 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.67
Current children cumulated vsize (KiB) 867116
[startup+16.3022 s]
/proc/loadavg: 4.70 4.74 3.69 4/109 28002
/proc/meminfo: memFree=1862104/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=16.07
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10033 0 2 0 1561 46 0 0 21 0 9 0 75416358 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9199 2634 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=15.83
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7453 0 2 0 1538 45 0 0 25 0 9 0 75416360 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.17
/proc/27993/task/28000/stat : 28000 (java) R 27991 27993 26262 0 -1 64 511 0 0 0 17 0 0 0 16 0 9 0 75416363 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 6176682 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.07
Current children cumulated vsize (KiB) 867116
[startup+16.4023 s]
/proc/loadavg: 4.48 4.69 3.68 4/109 28002
/proc/meminfo: memFree=1860760/2055920 swapFree=4192812/4192956
[pid=27993] ppid=27991 vsize=867116 CPUtime=16.17
/proc/27993/stat : 27993 (java) S 27991 27993 26262 0 -1 0 10434 0 2 0 1570 47 0 0 21 0 9 0 75416358 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 216779 9600 2635 9 0 211285 0
[pid=27993/tid=27995] ppid=27991 vsize=867116 CPUtime=15.91
/proc/27993/task/27995/stat : 27995 (java) R 27991 27993 26262 0 -1 64 7848 0 2 0 1546 45 0 0 25 0 9 0 75416360 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27996] ppid=27991 vsize=867116 CPUtime=0.04
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 26262 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75416361 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27997] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 26262 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 75416361 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27998] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 26262 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416361 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=27999] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=867116 CPUtime=0.18
/proc/27993/task/28000/stat : 28000 (java) R 27991 27993 26262 0 -1 64 517 0 0 0 18 0 0 0 16 0 9 0 75416363 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 104063584 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28001] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 26262 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75416363 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27993/tid=28002] ppid=27991 vsize=867116 CPUtime=0
/proc/27993/task/28002/stat : 28002 (java) S 27991 27993 26262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416363 887926784 9600 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.17
Current children cumulated vsize (KiB) 867116
Child status: 0
Real time (s): 16.4524
CPU time (s): 16.2035
CPU user time (s): 15.7206
CPU system time (s): 0.482926
CPU usage (%): 98.4874
Max. virtual memory (cumulated for all children) (KiB): 867120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.7206
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10622
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1452
involuntary context switches= 2347
runsolver used 0.039993 second user time and 0.066989 second system time
The end