0.00/0.08
0.00/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-1126833-1216187145.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.36 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.29/0.36 => wckTime=0.119 cpuTime=0.09 mem=7M908
0.29/0.36
0.29/0.36 relations being loaded...
0.29/0.37
0.29/0.37 constraints being loaded...
0.49/0.59 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.49/0.59 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.49/0.59 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.49/0.59 => wckTime=0.355 cpuTime=0.26 mem=14M806
0.59/0.65
0.59/0.65 solver LocalSearchSolver being built...
0.59/0.69 => wckTime=0.455 cpuTime=0.3 mem=6M521
0.68/0.70
0.68/0.70 s SATISFIABLE
0.68/0.70 o 37
0.68/0.70 o 34
0.68/0.70 o 32
0.68/0.71 o 30
0.68/0.71 o 28
0.68/0.71 o 27
0.68/0.71 o 26
0.68/0.71 o 25
0.68/0.71 o 24
0.68/0.71 o 23
0.68/0.71 o 22
0.68/0.71 o 21
0.68/0.72 o 20
0.68/0.72 o 19
0.68/0.72 o 18
0.68/0.72 o 17
0.68/0.72 o 16
0.68/0.72 o 15
0.68/0.73 o 13
0.68/0.73 o 12
0.68/0.73 o 11
0.68/0.74 o 10
0.68/0.74 o 9
0.68/0.74 o 8
0.68/0.75 o 4
0.68/0.75 o 3
0.68/0.76 o 2
0.68/0.78 o 1
0.78/0.84 o 0
0.78/0.84 First solution found
15.93/16.03
15.93/16.03 search
15.93/16.03 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.93/16.03 => wckTime=15.34 cpuTime=15.23 mem=7M561
15.93/16.03
15.93/16.03 search
15.93/16.03 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.93/16.03 => wckTime=15.34 cpuTime=15.23 mem=7M561
15.93/16.03
15.93/16.03 global
15.93/16.03 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.93/16.03 solvingWckTime=15.338 solvingCpuTime=15.23 expiredTime=no totalExploration=yes nbFoundSolutions=2212
15.93/16.03 firstSolutionCpuTime=0.43 globalCpuTime=15.57
15.93/16.03 => wckTime=15.795 cpuTime=15.53 mem=7M561
15.93/16.03
15.93/16.03 solver DecomposerSolver being built...
16.02/16.13 => wckTime=15.894 cpuTime=15.63 mem=17M709
16.02/16.13 C50(V0,V75)
16.02/16.13 C50(V0,V75)
16.02/16.13 C101(V1,V75)
16.02/16.13 C101(V1,V75)
16.02/16.13 C152(V2,V75)
16.02/16.13 C152(V2,V75)
16.02/16.14 C203(V3,V75)
16.02/16.14 C203(V3,V75)
16.02/16.14 C254(V4,V75)
16.02/16.14 C254(V4,V75)
16.02/16.14 C305(V5,V75)
16.02/16.14 C305(V5,V75)
16.02/16.14 C356(V6,V75)
16.02/16.14 C356(V6,V75)
16.02/16.14 C407(V7,V75)
16.02/16.14 C407(V7,V75)
16.02/16.14 C458(V8,V75)
16.02/16.14 C458(V8,V75)
16.02/16.14 C509(V9,V75)
16.02/16.14 C509(V9,V75)
16.02/16.14 C610(V11,V75)
16.02/16.14 C610(V11,V75)
16.02/16.14 C661(V12,V75)
16.02/16.14 C661(V12,V75)
16.02/16.14 C712(V13,V75)
16.02/16.14 C712(V13,V75)
16.02/16.14 C763(V14,V75)
16.02/16.14 C763(V14,V75)
16.02/16.14 C814(V15,V75)
16.02/16.14 C814(V15,V75)
16.02/16.14 C865(V16,V75)
16.02/16.14 C865(V16,V75)
16.02/16.14 C916(V17,V75)
16.02/16.14 C916(V17,V75)
16.02/16.14 C967(V18,V75)
16.02/16.14 C967(V18,V75)
16.02/16.14 C1018(V19,V75)
16.02/16.14 C1018(V19,V75)
16.02/16.14 C1069(V20,V75)
16.02/16.14 C1069(V20,V75)
16.02/16.14 C1120(V21,V75)
16.02/16.15 C1120(V21,V75)
16.02/16.15 C1171(V22,V75)
16.02/16.15 C1171(V22,V75)
16.02/16.15 C1222(V23,V75)
16.02/16.15 C1222(V23,V75)
16.02/16.15 C1273(V24,V75)
16.02/16.15 C1273(V24,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15 C1274(V47,V75)
16.02/16.15
16.02/16.15 preprocessing
16.02/16.15 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
16.02/16.15 detectedInconsistency=yes
16.02/16.15 => wckTime=0.022 cpuTime=0.0 mem=17M709
16.02/16.16
16.02/16.16 global
16.02/16.16 nbConstraintChecks=73 solvingWckTime=0.024 solvingCpuTime=0.0 expiredTime=no totalExploration=yes
16.02/16.16 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=15.67
16.02/16.16 => wckTime=15.919 cpuTime=15.63 mem=18M700
16.02/16.16
16.02/16.16 s OPTIMUM FOUND
16.02/16.16 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.02/16.16 d NODES 0
16.02/16.16 d CHECKS 73
16.02/16.16
16.02/16.16 totalWckTime=15.986 totalCpuTime=15.68
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126833-1216187145/watcher-1126833-1216187145 -o /tmp/evaluation-result-1126833-1216187145/solver-1126833-1216187145 -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-1126833-1216187145.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.48 2.51 2.56 4/73 1990
/proc/meminfo: memFree=1596392/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=272 CPUtime=0
/proc/1990/stat : 1990 (java) D 1988 1990 1790 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 75413676 278528 37 996147200 134512640 134550740 4294955952 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/1990/statm: 68 37 28 9 0 6 0
[startup+0.088397 s]
/proc/loadavg: 2.48 2.51 2.56 4/73 1990
/proc/meminfo: memFree=1596392/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=865988 CPUtime=0.08
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 3698 0 1 0 6 2 0 0 18 0 9 0 75413676 886771712 3173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216497 3173 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.101395 s]
/proc/loadavg: 2.48 2.51 2.56 4/73 1990
/proc/meminfo: memFree=1596392/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=865988 CPUtime=0.09
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 3819 0 1 0 7 2 0 0 18 0 9 0 75413676 886771712 3270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216497 3271 1726 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.301417 s]
/proc/loadavg: 2.48 2.51 2.56 4/73 1990
/proc/meminfo: memFree=1596392/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=866484 CPUtime=0.29
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 5936 0 1 0 26 3 0 0 18 0 9 0 75413676 887279616 5311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216621 5311 1959 9 0 211149 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866484
[startup+0.70146 s]
/proc/loadavg: 2.48 2.51 2.56 4/73 1990
/proc/meminfo: memFree=1596392/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=0.68
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10006 0 1 0 63 5 0 0 18 0 9 0 75413676 887926784 9173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9173 2631 9 0 211285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867116
[startup+1.50155 s]
/proc/loadavg: 2.44 2.50 2.56 3/82 1999
/proc/meminfo: memFree=1569888/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=1.48
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10024 0 1 0 140 8 0 0 18 0 9 0 75413676 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9191 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=1.26
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7451 0 1 0 119 7 0 0 25 0 9 0 75413676 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4126810781 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.16
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 504 0 0 0 16 0 0 0 16 0 9 0 75413680 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9191 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.10272 s]
/proc/loadavg: 2.44 2.50 2.56 3/82 1999
/proc/meminfo: memFree=1569696/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=3.07
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10028 0 1 0 295 12 0 0 18 0 9 0 75413676 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9194 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=2.84
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7452 0 1 0 273 11 0 0 25 0 9 0 75413676 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4125977493 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.17
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 507 0 0 0 17 0 0 0 16 0 9 0 75413680 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 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) 3.07
Current children cumulated vsize (KiB) 867116
[startup+6.30106 s]
/proc/loadavg: 2.44 2.50 2.56 3/82 1999
/proc/meminfo: memFree=1569504/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=6.26
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10030 0 1 0 604 22 0 0 18 0 9 0 75413676 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9195 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=6.02
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7453 0 1 0 582 20 0 0 25 0 9 0 75413676 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4126809240 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.17
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 508 0 0 0 17 0 0 0 16 0 9 0 75413680 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867116
[startup+12.7028 s]
/proc/loadavg: 2.37 2.49 2.55 3/82 1999
/proc/meminfo: memFree=1569376/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=12.64
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10033 0 1 0 1226 38 0 0 18 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9198 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=12.4
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7453 0 1 0 1204 36 0 0 25 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126811817 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.18
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 511 0 0 0 18 0 0 0 16 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 867116
Solver just ended. Dumping a history of the last processes samples
[startup+14.3079 s]
/proc/loadavg: 2.37 2.49 2.55 3/82 1999
/proc/meminfo: memFree=1569376/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=14.23
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10033 0 1 0 1380 43 0 0 18 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9198 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=14
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7453 0 1 0 1358 42 0 0 25 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126811817 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.18
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 511 0 0 0 18 0 0 0 16 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.23
Current children cumulated vsize (KiB) 867116
[startup+15.102 s]
/proc/loadavg: 2.37 2.49 2.55 3/82 1999
/proc/meminfo: memFree=1569376/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=15.02
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10033 0 1 0 1458 44 0 0 18 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9198 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=14.78
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7453 0 1 0 1436 42 0 0 25 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126810661 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.18
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 511 0 0 0 18 0 0 0 16 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.02
Current children cumulated vsize (KiB) 867116
[startup+15.9011 s]
/proc/loadavg: 2.37 2.49 2.55 3/82 1999
/proc/meminfo: memFree=1569376/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=15.82
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10033 0 1 0 1536 46 0 0 18 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9198 2634 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=15.58
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7453 0 1 0 1513 45 0 0 25 0 9 0 75413676 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126810781 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.18
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 511 0 0 0 18 0 0 0 16 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.82
Current children cumulated vsize (KiB) 867116
[startup+16.1011 s]
/proc/loadavg: 2.37 2.49 2.55 3/82 1999
/proc/meminfo: memFree=1569376/2055920 swapFree=4181100/4192956
[pid=1990] ppid=1988 vsize=867116 CPUtime=16.02
/proc/1990/stat : 1990 (java) S 1988 1990 1790 0 -1 0 10074 0 1 0 1555 47 0 0 18 0 9 0 75413676 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1990/statm: 216779 9239 2635 9 0 211285 0
[pid=1990/tid=1992] ppid=1988 vsize=867116 CPUtime=15.78
/proc/1990/task/1992/stat : 1992 (java) R 1988 1990 1790 0 -1 64 7491 0 1 0 1532 46 0 0 25 0 9 0 75413676 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 103271629 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1993] ppid=1988 vsize=867116 CPUtime=0.04
/proc/1990/task/1993/stat : 1993 (java) S 1988 1990 1790 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75413678 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1994] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1988 1990 1790 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75413678 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1995] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1988 1990 1790 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75413678 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1996] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75413680 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1997] ppid=1988 vsize=867116 CPUtime=0.18
/proc/1990/task/1997/stat : 1997 (java) S 1988 1990 1790 0 -1 64 514 0 0 0 18 0 0 0 16 0 9 0 75413680 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1998] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1988 1990 1790 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75413680 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1990/tid=1999] ppid=1988 vsize=867116 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1988 1990 1790 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75413680 887926784 9239 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.02
Current children cumulated vsize (KiB) 867116
Child status: 0
Real time (s): 16.1811
CPU time (s): 16.0966
CPU user time (s): 15.6066
CPU system time (s): 0.489925
CPU usage (%): 99.4773
Max. virtual memory (cumulated for all children) (KiB): 867120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6066
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10630
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= 1869
runsolver used 0.029995 second user time and 0.058991 second system time
The end