0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mrdac-wdeg.xml
0.27/0.30
0.27/0.30 instance
0.27/0.30 name=HOME/instance-1126761-1216186870.xml
0.27/0.34
0.27/0.34 domains being loaded...
0.27/0.35
0.27/0.35 variables being loaded...
0.27/0.39 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.27/0.39 => wckTime=0.127 cpuTime=0.1 mem=7M908
0.27/0.39
0.27/0.39 relations being loaded...
0.37/0.40
0.37/0.40 constraints being loaded...
0.58/0.65 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.58/0.65 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.58/0.65 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.58/0.65 => wckTime=0.383 cpuTime=0.27 mem=14M806
0.68/0.71
0.68/0.71 solver LocalSearchSolver being built...
0.68/0.75 => wckTime=0.488 cpuTime=0.32 mem=6M521
0.68/0.76
0.68/0.76 s SATISFIABLE
0.68/0.76 o 37
0.68/0.76 o 34
0.68/0.76 o 32
0.68/0.77 o 30
0.68/0.77 o 28
0.68/0.77 o 27
0.68/0.77 o 26
0.68/0.77 o 25
0.68/0.77 o 24
0.68/0.77 o 23
0.68/0.77 o 22
0.68/0.78 o 21
0.68/0.78 o 20
0.68/0.78 o 19
0.68/0.78 o 18
0.68/0.78 o 17
0.68/0.78 o 16
0.68/0.78 o 15
0.68/0.79 o 13
0.68/0.80 o 12
0.68/0.80 o 11
0.77/0.80 o 10
0.77/0.80 o 9
0.77/0.80 o 8
0.77/0.81 o 4
0.77/0.81 o 3
0.77/0.82 o 2
0.77/0.85 o 1
0.87/0.91 o 0
0.87/0.91 First solution found
17.21/17.47
17.21/17.47 search
17.21/17.47 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.21/17.47 => wckTime=16.723 cpuTime=16.51 mem=7M561
17.21/17.47
17.21/17.47 search
17.21/17.47 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.21/17.47 => wckTime=16.723 cpuTime=16.51 mem=7M561
17.21/17.48
17.21/17.48 global
17.21/17.48 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.21/17.48 solvingWckTime=16.72 solvingCpuTime=16.51 expiredTime=no totalExploration=yes nbFoundSolutions=2212
17.21/17.48 firstSolutionCpuTime=0.45 globalCpuTime=16.87
17.21/17.48 => wckTime=17.212 cpuTime=16.83 mem=7M561
17.21/17.48
17.21/17.48 solver DecomposerSolver being built...
17.32/17.59 => wckTime=17.323 cpuTime=16.93 mem=17M709
17.32/17.59 C50(V0,V75)
17.32/17.59 C50(V0,V75)
17.32/17.59 C101(V1,V75)
17.32/17.59 C101(V1,V75)
17.32/17.59 C152(V2,V75)
17.32/17.59 C152(V2,V75)
17.32/17.59 C203(V3,V75)
17.32/17.59 C203(V3,V75)
17.32/17.59 C254(V4,V75)
17.32/17.59 C254(V4,V75)
17.32/17.59 C305(V5,V75)
17.32/17.59 C305(V5,V75)
17.32/17.59 C356(V6,V75)
17.32/17.59 C356(V6,V75)
17.32/17.59 C407(V7,V75)
17.32/17.59 C407(V7,V75)
17.32/17.59 C458(V8,V75)
17.32/17.59 C458(V8,V75)
17.32/17.60 C509(V9,V75)
17.32/17.60 C509(V9,V75)
17.32/17.60 C610(V11,V75)
17.32/17.60 C610(V11,V75)
17.32/17.60 C661(V12,V75)
17.32/17.60 C661(V12,V75)
17.32/17.60 C712(V13,V75)
17.32/17.60 C712(V13,V75)
17.32/17.60 C763(V14,V75)
17.32/17.60 C763(V14,V75)
17.32/17.60 C814(V15,V75)
17.32/17.60 C814(V15,V75)
17.32/17.60 C865(V16,V75)
17.32/17.60 C865(V16,V75)
17.32/17.60 C916(V17,V75)
17.32/17.60 C916(V17,V75)
17.32/17.60 C967(V18,V75)
17.32/17.60 C967(V18,V75)
17.32/17.60 C1018(V19,V75)
17.32/17.60 C1018(V19,V75)
17.32/17.60 C1069(V20,V75)
17.32/17.60 C1069(V20,V75)
17.32/17.60 C1120(V21,V75)
17.32/17.60 C1120(V21,V75)
17.41/17.60 C1171(V22,V75)
17.41/17.60 C1171(V22,V75)
17.41/17.60 C1222(V23,V75)
17.41/17.60 C1222(V23,V75)
17.41/17.60 C1273(V24,V75)
17.41/17.60 C1273(V24,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.60 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61 C1274(V47,V75)
17.41/17.61
17.41/17.61 preprocessing
17.41/17.61 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.41/17.61 detectedInconsistency=yes
17.41/17.61 => wckTime=0.018 cpuTime=0.01 mem=17M709
17.41/17.61
17.41/17.61 global
17.41/17.61 nbConstraintChecks=73 solvingWckTime=0.021 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
17.41/17.61 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=16.98
17.41/17.61 => wckTime=17.346 cpuTime=16.94 mem=18M700
17.41/17.61
17.41/17.61 s OPTIMUM FOUND
17.41/17.61 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.41/17.61 d NODES 0
17.41/17.61 d CHECKS 73
17.41/17.61
17.41/17.61 totalWckTime=17.422 totalCpuTime=16.98
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126761-1216186870/watcher-1126761-1216186870 -o /tmp/evaluation-result-1126761-1216186870/solver-1126761-1216186870 -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-1126761-1216186870.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.55 2.59 2.55 4/81 1068
/proc/meminfo: memFree=1880032/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=18572 CPUtime=0
/proc/1068/stat : 1068 (runsolver) R 1066 1068 636 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 75386240 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 212218735911 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1068/statm: 4643 292 257 25 0 2626 0
[startup+0.0997981 s]
/proc/loadavg: 2.55 2.59 2.55 4/81 1068
/proc/meminfo: memFree=1880032/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=865988 CPUtime=0.08
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 3701 0 1 0 7 1 0 0 18 0 9 0 75386240 886771712 3176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216497 3176 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.101794 s]
/proc/loadavg: 2.55 2.59 2.55 4/81 1068
/proc/meminfo: memFree=1880032/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=865988 CPUtime=0.08
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 3704 0 1 0 7 1 0 0 18 0 9 0 75386240 886771712 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216497 3179 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301823 s]
/proc/loadavg: 2.55 2.59 2.55 4/81 1068
/proc/meminfo: memFree=1880032/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=866360 CPUtime=0.27
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 5724 0 1 0 24 3 0 0 18 0 9 0 75386240 887152640 5120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216590 5120 1942 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866360
[startup+0.701867 s]
/proc/loadavg: 2.55 2.59 2.55 4/81 1068
/proc/meminfo: memFree=1880032/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867028 CPUtime=0.68
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 9913 0 1 0 61 7 0 0 18 0 9 0 75386240 887836672 9083 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216757 9083 2607 9 0 211285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867028
[startup+1.50294 s]
/proc/loadavg: 2.55 2.59 2.55 3/90 1078
/proc/meminfo: memFree=1853592/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=1.46
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10023 0 1 0 137 9 0 0 18 0 9 0 75386240 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9190 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=1.21
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7452 0 1 0 114 7 0 0 25 0 9 0 75386242 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126811841 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.19
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 503 0 0 0 18 1 0 0 15 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867116
[startup+3.10211 s]
/proc/loadavg: 2.55 2.59 2.55 3/90 1078
/proc/meminfo: memFree=1853400/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=3.05
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10024 0 1 0 292 13 0 0 18 0 9 0 75386240 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9190 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=2.8
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7453 0 1 0 269 11 0 0 25 0 9 0 75386242 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126809219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.19
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 503 0 0 0 18 1 0 0 17 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867116
[startup+6.30145 s]
/proc/loadavg: 2.51 2.58 2.55 3/90 1078
/proc/meminfo: memFree=1853208/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=6.22
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10029 0 1 0 601 21 0 0 18 0 9 0 75386240 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9194 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=5.95
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7454 0 1 0 577 18 0 0 25 0 9 0 75386242 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4126809237 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.2
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 507 0 0 0 19 1 0 0 15 0 9 0 75386245 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867116
[startup+12.7021 s]
/proc/loadavg: 2.47 2.57 2.54 3/90 1078
/proc/meminfo: memFree=1853144/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=12.56
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10032 0 1 0 1220 36 0 0 18 0 9 0 75386240 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9197 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=12.29
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7454 0 1 0 1196 33 0 0 25 0 9 0 75386242 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809145 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.2
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 510 0 0 0 19 1 0 0 16 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867116
Solver just ended. Dumping a history of the last processes samples
[startup+15.9015 s]
/proc/loadavg: 2.43 2.56 2.54 3/90 1078
/proc/meminfo: memFree=1853208/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=15.72
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10032 0 1 0 1529 43 0 0 18 0 9 0 75386240 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9197 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=15.46
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7454 0 1 0 1505 41 0 0 25 0 9 0 75386242 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809124 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.2
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 510 0 0 0 19 1 0 0 16 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 867116
[startup+16.7015 s]
/proc/loadavg: 2.43 2.56 2.54 3/90 1078
/proc/meminfo: memFree=1853208/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=16.52
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10032 0 1 0 1607 45 0 0 18 0 9 0 75386240 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9197 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=16.26
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7454 0 1 0 1583 43 0 0 25 0 9 0 75386242 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809177 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.2
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 510 0 0 0 19 1 0 0 16 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.52
Current children cumulated vsize (KiB) 867116
[startup+17.1016 s]
/proc/loadavg: 2.43 2.56 2.54 3/90 1078
/proc/meminfo: memFree=1853208/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=16.91
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10032 0 1 0 1645 46 0 0 18 0 9 0 75386240 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9197 2634 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=16.65
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7454 0 1 0 1621 44 0 0 25 0 9 0 75386242 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.2
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 510 0 0 0 19 1 0 0 16 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (KiB) 867116
[startup+17.5016 s]
/proc/loadavg: 2.43 2.56 2.54 3/90 1078
/proc/meminfo: memFree=1853144/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=17.32
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10053 0 1 0 1684 48 0 0 18 0 9 0 75386240 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9218 2635 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=17.04
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7473 0 1 0 1659 45 0 0 25 0 9 0 75386242 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 102481613 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.21
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 512 0 0 0 20 1 0 0 16 0 9 0 75386245 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.32
Current children cumulated vsize (KiB) 867116
[startup+17.6066 s]
/proc/loadavg: 2.43 2.56 2.54 3/90 1078
/proc/meminfo: memFree=1853144/2055920 swapFree=4180980/4192956
[pid=1068] ppid=1066 vsize=867116 CPUtime=17.41
/proc/1068/stat : 1068 (java) S 1066 1068 636 0 -1 0 10448 0 1 0 1693 48 0 0 18 0 9 0 75386240 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1068/statm: 216779 9613 2635 9 0 211285 0
[pid=1068/tid=1071] ppid=1066 vsize=867116 CPUtime=17.13
/proc/1068/task/1071/stat : 1071 (java) R 1066 1068 636 0 -1 64 7860 0 1 0 1667 46 0 0 25 0 9 0 75386242 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4125981760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1072] ppid=1066 vsize=867116 CPUtime=0.04
/proc/1068/task/1072/stat : 1072 (java) S 1066 1068 636 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75386243 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1073] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1073/stat : 1073 (java) S 1066 1068 636 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75386243 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1074] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1074/stat : 1074 (java) S 1066 1068 636 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75386243 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1075] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1075/stat : 1075 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75386245 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1076] ppid=1066 vsize=867116 CPUtime=0.22
/proc/1068/task/1076/stat : 1076 (java) S 1066 1068 636 0 -1 64 520 0 0 0 21 1 0 0 16 0 9 0 75386245 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1077] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1077/stat : 1077 (java) S 1066 1068 636 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75386245 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1068/tid=1078] ppid=1066 vsize=867116 CPUtime=0
/proc/1068/task/1078/stat : 1078 (java) S 1066 1068 636 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75386245 887926784 9613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.41
Current children cumulated vsize (KiB) 867116
Child status: 0
Real time (s): 17.6611
CPU time (s): 17.4373
CPU user time (s): 16.9434
CPU system time (s): 0.493924
CPU usage (%): 98.7333
Max. virtual memory (cumulated for all children) (KiB): 867116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9434
system time used= 0.493924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10629
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= 1428
involuntary context switches= 2063
runsolver used 0.028995 second user time and 0.075988 second system time
The end