0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mrdac-wdeg.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1127129-1216187993.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.36 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.28/0.36 => wckTime=0.119 cpuTime=0.11 mem=7M908
0.28/0.36
0.28/0.36 relations being loaded...
0.28/0.37
0.28/0.37 constraints being loaded...
0.48/0.59 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.48/0.59 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.48/0.59 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.48/0.59 => wckTime=0.356 cpuTime=0.27 mem=14M806
0.59/0.65
0.59/0.66 solver LocalSearchSolver being built...
0.59/0.70 => wckTime=0.458 cpuTime=0.3 mem=6M521
0.69/0.71
0.69/0.71 s SATISFIABLE
0.69/0.71 o 37
0.69/0.71 o 34
0.69/0.71 o 32
0.69/0.71 o 30
0.69/0.71 o 28
0.69/0.71 o 27
0.69/0.71 o 26
0.69/0.71 o 25
0.69/0.71 o 24
0.69/0.72 o 23
0.69/0.72 o 22
0.69/0.72 o 21
0.69/0.72 o 20
0.69/0.72 o 19
0.69/0.72 o 18
0.69/0.72 o 17
0.69/0.72 o 16
0.69/0.72 o 15
0.69/0.73 o 13
0.69/0.74 o 12
0.69/0.74 o 11
0.69/0.74 o 10
0.69/0.74 o 9
0.69/0.74 o 8
0.69/0.75 o 4
0.69/0.75 o 3
0.69/0.76 o 2
0.69/0.79 o 1
0.78/0.84 o 0
0.78/0.84 First solution found
15.88/15.98
15.88/15.98 search
15.88/15.98 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.88/15.98 => wckTime=15.281 cpuTime=15.23 mem=7M561
15.88/15.98
15.88/15.98 search
15.88/15.98 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.88/15.98 => wckTime=15.281 cpuTime=15.23 mem=7M561
15.88/15.98
15.88/15.98 global
15.88/15.98 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.88/15.98 solvingWckTime=15.279 solvingCpuTime=15.22 expiredTime=no totalExploration=yes nbFoundSolutions=2212
15.88/15.98 firstSolutionCpuTime=0.44 globalCpuTime=15.57
15.88/15.98 => wckTime=15.74 cpuTime=15.54 mem=7M561
15.88/15.98
15.88/15.98 solver DecomposerSolver being built...
15.98/16.08 => wckTime=15.84 cpuTime=15.62 mem=17M709
15.98/16.08 C50(V0,V75)
15.98/16.08 C50(V0,V75)
15.98/16.08 C101(V1,V75)
15.98/16.08 C101(V1,V75)
15.98/16.08 C152(V2,V75)
15.98/16.08 C152(V2,V75)
15.98/16.08 C203(V3,V75)
15.98/16.08 C203(V3,V75)
15.98/16.08 C254(V4,V75)
15.98/16.08 C254(V4,V75)
15.98/16.08 C305(V5,V75)
15.98/16.08 C305(V5,V75)
15.98/16.08 C356(V6,V75)
15.98/16.08 C356(V6,V75)
15.98/16.08 C407(V7,V75)
15.98/16.08 C407(V7,V75)
15.98/16.08 C458(V8,V75)
15.98/16.09 C458(V8,V75)
15.98/16.09 C509(V9,V75)
15.98/16.09 C509(V9,V75)
15.98/16.09 C610(V11,V75)
15.98/16.09 C610(V11,V75)
15.98/16.09 C661(V12,V75)
15.98/16.09 C661(V12,V75)
15.98/16.09 C712(V13,V75)
15.98/16.09 C712(V13,V75)
15.98/16.09 C763(V14,V75)
15.98/16.09 C763(V14,V75)
15.98/16.09 C814(V15,V75)
15.98/16.09 C814(V15,V75)
15.98/16.09 C865(V16,V75)
15.98/16.09 C865(V16,V75)
15.98/16.09 C916(V17,V75)
15.98/16.09 C916(V17,V75)
15.98/16.09 C967(V18,V75)
15.98/16.09 C967(V18,V75)
15.98/16.09 C1018(V19,V75)
15.98/16.09 C1018(V19,V75)
15.98/16.09 C1069(V20,V75)
15.98/16.09 C1069(V20,V75)
15.98/16.09 C1120(V21,V75)
15.98/16.09 C1120(V21,V75)
15.98/16.09 C1171(V22,V75)
15.98/16.09 C1171(V22,V75)
15.98/16.09 C1222(V23,V75)
15.98/16.09 C1222(V23,V75)
15.98/16.09 C1273(V24,V75)
15.98/16.09 C1273(V24,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.09 C1274(V47,V75)
15.98/16.10 C1274(V47,V75)
15.98/16.10
15.98/16.10 preprocessing
15.98/16.10 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
15.98/16.10 detectedInconsistency=yes
15.98/16.10 => wckTime=0.017 cpuTime=0.01 mem=17M709
16.07/16.10
16.07/16.10 global
16.07/16.10 nbConstraintChecks=73 solvingWckTime=0.019 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
16.07/16.10 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=15.66
16.07/16.10 => wckTime=15.861 cpuTime=15.63 mem=18M700
16.07/16.10
16.07/16.10 s OPTIMUM FOUND
16.07/16.10 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.07/16.10 d NODES 0
16.07/16.10 d CHECKS 73
16.07/16.10
16.07/16.10 totalWckTime=15.927 totalCpuTime=15.66
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127129-1216187993/watcher-1127129-1216187993 -o /tmp/evaluation-result-1127129-1216187993/solver-1127129-1216187993 -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-1127129-1216187993.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.33 2.14 2.04 4/81 30654
/proc/meminfo: memFree=1825672/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=152 CPUtime=0
/proc/30654/stat : 30654 (java) R 30652 30654 30011 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 75498060 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 0 0 0
/proc/30654/statm: 50 33 26 9 0 4 0
[startup+0.063172 s]
/proc/loadavg: 2.33 2.14 2.04 4/81 30654
/proc/meminfo: memFree=1825672/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=865856 CPUtime=0.05
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 3110 0 1 0 3 2 0 0 18 0 9 0 75498060 886636544 2636 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216464 2645 1365 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856
[startup+0.102176 s]
/proc/loadavg: 2.33 2.14 2.04 4/81 30654
/proc/meminfo: memFree=1825672/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=865988 CPUtime=0.09
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 3822 0 1 0 7 2 0 0 18 0 9 0 75498060 886771712 3273 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216497 3273 1727 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.30221 s]
/proc/loadavg: 2.33 2.14 2.04 4/81 30654
/proc/meminfo: memFree=1825672/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=866484 CPUtime=0.28
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 5937 0 1 0 25 3 0 0 18 0 9 0 75498060 887279616 5312 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216621 5312 1959 9 0 211149 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866484
[startup+0.702283 s]
/proc/loadavg: 2.33 2.14 2.04 4/81 30654
/proc/meminfo: memFree=1825672/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=0.69
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10003 0 1 0 63 6 0 0 18 0 9 0 75498060 887926784 9170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9170 2630 9 0 211285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867116
[startup+1.50142 s]
/proc/loadavg: 2.33 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1799104/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=1.48
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10023 0 1 0 141 7 0 0 18 0 9 0 75498060 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9190 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=1.26
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7451 0 1 0 120 6 0 0 25 0 9 0 75498061 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126810618 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.16
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 503 0 0 0 16 0 0 0 16 0 9 0 75498064 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 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.48
Current children cumulated vsize (KiB) 867116
[startup+3.1017 s]
/proc/loadavg: 2.33 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798912/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=3.08
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10027 0 1 0 297 11 0 0 18 0 9 0 75498060 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9193 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=2.85
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7452 0 1 0 276 9 0 0 25 0 9 0 75498061 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.16
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 506 0 0 0 16 0 0 0 16 0 9 0 75498064 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 887926784 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867116
[startup+6.30126 s]
/proc/loadavg: 2.30 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798784/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=6.29
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10029 0 1 0 609 20 0 0 18 0 9 0 75498060 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9194 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=6.05
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7453 0 1 0 587 18 0 0 25 0 9 0 75498061 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.17
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 507 0 0 0 17 0 0 0 16 0 9 0 75498064 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 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.29
Current children cumulated vsize (KiB) 867116
[startup+12.7014 s]
/proc/loadavg: 2.28 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=12.68
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10032 0 1 0 1233 35 0 0 18 0 9 0 75498060 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9197 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=12.44
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7453 0 1 0 1211 33 0 0 25 0 9 0 75498061 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126810224 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.17
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 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.68
Current children cumulated vsize (KiB) 867116
Solver just ended. Dumping a history of the last processes samples
[startup+14.3067 s]
/proc/loadavg: 2.26 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=14.28
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10032 0 1 0 1388 40 0 0 18 0 9 0 75498060 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9197 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=14.04
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7453 0 1 0 1366 38 0 0 25 0 9 0 75498061 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809248 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.17
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 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.28
Current children cumulated vsize (KiB) 867116
[startup+15.1028 s]
/proc/loadavg: 2.26 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=15.08
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10032 0 1 0 1466 42 0 0 18 0 9 0 75498060 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9197 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=14.84
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7453 0 1 0 1444 40 0 0 25 0 9 0 75498061 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126836431 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.17
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 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.08
Current children cumulated vsize (KiB) 867116
[startup+15.9029 s]
/proc/loadavg: 2.26 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=15.88
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10032 0 1 0 1544 44 0 0 18 0 9 0 75498060 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9197 2634 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=15.64
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7453 0 1 0 1522 42 0 0 25 0 9 0 75498061 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809246 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.17
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 510 0 0 0 17 0 0 0 16 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 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.88
Current children cumulated vsize (KiB) 867116
[startup+16.102 s]
/proc/loadavg: 2.26 2.14 2.04 3/90 30663
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30654] ppid=30652 vsize=867116 CPUtime=16.07
/proc/30654/stat : 30654 (java) S 30652 30654 30011 0 -1 0 10498 0 1 0 1563 44 0 0 18 0 9 0 75498060 887926784 9664 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30654/statm: 216779 9675 2635 9 0 211285 0
[pid=30654/tid=30656] ppid=30652 vsize=867116 CPUtime=15.81
/proc/30654/task/30656/stat : 30656 (java) R 30652 30654 30011 0 -1 64 7929 0 1 0 1539 42 0 0 25 0 9 0 75498061 887926784 9683 996147200 134512640 134550740 4294955952 18446744073709551615 102715030 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30657] ppid=30652 vsize=867116 CPUtime=0.04
/proc/30654/task/30657/stat : 30657 (java) S 30652 30654 30011 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75498062 887926784 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30658] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30658/stat : 30658 (java) S 30652 30654 30011 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75498063 887926784 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30659] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30659/stat : 30659 (java) S 30652 30654 30011 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75498063 887926784 9691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30660] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30660/stat : 30660 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75498064 887926784 9691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30661] ppid=30652 vsize=867116 CPUtime=0.19
/proc/30654/task/30661/stat : 30661 (java) S 30652 30654 30011 0 -1 64 520 0 0 0 19 0 0 0 16 0 9 0 75498064 887926784 9693 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30662] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30662/stat : 30662 (java) S 30652 30654 30011 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75498064 887926784 9695 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30654/tid=30663] ppid=30652 vsize=867116 CPUtime=0
/proc/30654/task/30663/stat : 30663 (java) S 30652 30654 30011 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75498064 887926784 9697 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
Child status: 0
Real time (s): 16.1285
CPU time (s): 16.0916
CPU user time (s): 15.6366
CPU system time (s): 0.45493
CPU usage (%): 99.7707
Max. virtual memory (cumulated for all children) (KiB): 867116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6366
system time used= 0.45493
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= 1384
involuntary context switches= 2041
runsolver used 0.030995 second user time and 0.05999 second system time
The end