0.03/0.08
0.03/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.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1126969-1216187479.xml
0.30/0.31
0.30/0.31 domains being loaded...
0.30/0.32
0.30/0.32 variables being loaded...
0.30/0.36 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.30/0.36 => wckTime=0.118 cpuTime=0.09 mem=7M908
0.30/0.36
0.30/0.36 relations being loaded...
0.30/0.37
0.30/0.37 constraints being loaded...
0.59/0.60 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.59/0.60 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.59/0.60 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.59/0.60 => wckTime=0.354 cpuTime=0.25 mem=14M806
0.59/0.66
0.59/0.66 solver LocalSearchSolver being built...
0.59/0.70 => wckTime=0.453 cpuTime=0.29 mem=6M521
0.70/0.71
0.70/0.71 s SATISFIABLE
0.70/0.71 o 37
0.70/0.71 o 34
0.70/0.71 o 32
0.70/0.71 o 30
0.70/0.71 o 28
0.70/0.71 o 27
0.70/0.71 o 26
0.70/0.71 o 25
0.70/0.71 o 24
0.70/0.72 o 23
0.70/0.72 o 22
0.70/0.72 o 21
0.70/0.72 o 20
0.70/0.72 o 19
0.70/0.72 o 18
0.70/0.72 o 17
0.70/0.72 o 16
0.70/0.72 o 15
0.70/0.73 o 13
0.70/0.74 o 12
0.70/0.74 o 11
0.70/0.74 o 10
0.70/0.74 o 9
0.70/0.74 o 8
0.70/0.75 o 4
0.70/0.75 o 3
0.70/0.76 o 2
0.70/0.78 o 1
0.79/0.84 o 0
0.79/0.84 First solution found
15.79/15.89
15.79/15.89 search
15.79/15.89 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.79/15.89 => wckTime=15.195 cpuTime=15.16 mem=7M561
15.79/15.89
15.79/15.89 search
15.79/15.89 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.79/15.89 => wckTime=15.195 cpuTime=15.16 mem=7M561
15.79/15.89
15.79/15.89 global
15.79/15.89 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.79/15.89 solvingWckTime=15.194 solvingCpuTime=15.15 expiredTime=no totalExploration=yes nbFoundSolutions=2212
15.79/15.89 firstSolutionCpuTime=0.41 globalCpuTime=15.49
15.79/15.89 => wckTime=15.649 cpuTime=15.44 mem=7M561
15.79/15.89
15.79/15.89 solver DecomposerSolver being built...
15.88/15.99 => wckTime=15.747 cpuTime=15.52 mem=17M709
15.88/15.99 C50(V0,V75)
15.88/15.99 C50(V0,V75)
15.88/15.99 C101(V1,V75)
15.88/15.99 C101(V1,V75)
15.88/15.99 C152(V2,V75)
15.88/15.99 C152(V2,V75)
15.88/15.99 C203(V3,V75)
15.88/15.99 C203(V3,V75)
15.88/16.00 C254(V4,V75)
15.88/16.00 C254(V4,V75)
15.88/16.00 C305(V5,V75)
15.88/16.00 C305(V5,V75)
15.88/16.00 C356(V6,V75)
15.88/16.00 C356(V6,V75)
15.88/16.00 C407(V7,V75)
15.98/16.00 C407(V7,V75)
15.98/16.00 C458(V8,V75)
15.98/16.00 C458(V8,V75)
15.98/16.00 C509(V9,V75)
15.98/16.00 C509(V9,V75)
15.98/16.00 C610(V11,V75)
15.98/16.00 C610(V11,V75)
15.98/16.00 C661(V12,V75)
15.98/16.00 C661(V12,V75)
15.98/16.00 C712(V13,V75)
15.98/16.00 C712(V13,V75)
15.98/16.00 C763(V14,V75)
15.98/16.00 C763(V14,V75)
15.98/16.00 C814(V15,V75)
15.98/16.00 C814(V15,V75)
15.98/16.00 C865(V16,V75)
15.98/16.00 C865(V16,V75)
15.98/16.00 C916(V17,V75)
15.98/16.00 C916(V17,V75)
15.98/16.00 C967(V18,V75)
15.98/16.00 C967(V18,V75)
15.98/16.00 C1018(V19,V75)
15.98/16.00 C1018(V19,V75)
15.98/16.00 C1069(V20,V75)
15.98/16.00 C1069(V20,V75)
15.98/16.00 C1120(V21,V75)
15.98/16.00 C1120(V21,V75)
15.98/16.00 C1171(V22,V75)
15.98/16.00 C1171(V22,V75)
15.98/16.00 C1222(V23,V75)
15.98/16.00 C1222(V23,V75)
15.98/16.00 C1273(V24,V75)
15.98/16.00 C1273(V24,V75)
15.98/16.00 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01 C1274(V47,V75)
15.98/16.01
15.98/16.01 preprocessing
15.98/16.01 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
15.98/16.01 detectedInconsistency=yes
15.98/16.01 => wckTime=0.017 cpuTime=0.01 mem=17M709
15.98/16.01
15.98/16.01 global
15.98/16.01 nbConstraintChecks=73 solvingWckTime=0.019 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
15.98/16.01 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=15.58
15.98/16.01 => wckTime=15.768 cpuTime=15.53 mem=18M700
15.98/16.01
15.98/16.01 s OPTIMUM FOUND
15.98/16.01 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
15.98/16.01 d NODES 0
15.98/16.01 d CHECKS 73
15.98/16.01
15.98/16.01 totalWckTime=15.834 totalCpuTime=15.58
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126969-1216187479/watcher-1126969-1216187479 -o /tmp/evaluation-result-1126969-1216187479/solver-1126969-1216187479 -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-1126969-1216187479.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.00 2.17 2.24 4/73 31683
/proc/meminfo: memFree=1923216/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=18572 CPUtime=0
/proc/31683/stat : 31683 (runsolver) R 31681 31683 29402 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 75446823 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31683/statm: 4643 292 257 25 0 2626 0
[startup+0.042509 s]
/proc/loadavg: 2.00 2.17 2.24 4/73 31683
/proc/meminfo: memFree=1923216/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=861876 CPUtime=0.03
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 2256 0 1 0 2 1 0 0 18 0 5 0 75446823 882561024 1865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 215469 1881 860 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.153608 s]
/proc/loadavg: 2.00 2.17 2.24 4/73 31683
/proc/meminfo: memFree=1923216/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=865984 CPUtime=0.14
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 4205 0 1 0 12 2 0 0 18 0 9 0 75446823 886767616 3641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216496 3641 1813 9 0 211051 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865984
[startup+0.301884 s]
/proc/loadavg: 2.00 2.17 2.24 4/73 31683
/proc/meminfo: memFree=1923216/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=866412 CPUtime=0.3
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 5891 0 1 0 27 3 0 0 18 0 9 0 75446823 887205888 5266 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216603 5268 1957 9 0 211131 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 866412
[startup+0.701919 s]
/proc/loadavg: 2.00 2.17 2.24 4/73 31683
/proc/meminfo: memFree=1923216/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=0.7
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10003 0 1 0 66 4 0 0 18 0 9 0 75446823 887996416 9170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9170 2630 9 0 211302 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 867184
[startup+1.50299 s]
/proc/loadavg: 2.00 2.17 2.24 4/82 31692
/proc/meminfo: memFree=1896904/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=1.5
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10024 0 1 0 144 6 0 0 18 0 9 0 75446823 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9191 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=1.26
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7446 0 1 0 121 5 0 0 25 0 9 0 75446825 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4126810865 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 17 0 9 0 75446826 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.17
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 508 0 0 0 17 0 0 0 15 0 9 0 75446828 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 867184
[startup+3.10114 s]
/proc/loadavg: 2.00 2.17 2.24 3/82 31692
/proc/meminfo: memFree=1896712/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=3.09
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10028 0 1 0 299 10 0 0 18 0 9 0 75446823 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9194 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=2.86
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7447 0 1 0 277 9 0 0 25 0 9 0 75446825 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4126809439 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.17
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 511 0 0 0 17 0 0 0 15 0 9 0 75446828 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867184
[startup+6.30142 s]
/proc/loadavg: 2.00 2.17 2.24 3/82 31692
/proc/meminfo: memFree=1896584/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=6.29
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10030 0 1 0 610 19 0 0 18 0 9 0 75446823 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9195 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=6.06
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7448 0 1 0 588 18 0 0 25 0 9 0 75446825 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4126809404 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.17
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 512 0 0 0 17 0 0 0 15 0 9 0 75446828 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867184
[startup+12.702 s]
/proc/loadavg: 2.00 2.16 2.24 3/82 31692
/proc/meminfo: memFree=1896392/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=12.69
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10033 0 1 0 1236 33 0 0 18 0 9 0 75446823 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9198 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=12.45
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7448 0 1 0 1213 32 0 0 25 0 9 0 75446825 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126810976 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.18
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 515 0 0 0 18 0 0 0 16 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 867184
Solver just ended. Dumping a history of the last processes samples
[startup+14.3061 s]
/proc/loadavg: 2.00 2.16 2.24 3/82 31692
/proc/meminfo: memFree=1896392/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=14.29
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10033 0 1 0 1392 37 0 0 18 0 9 0 75446823 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9198 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=14.05
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7448 0 1 0 1369 36 0 0 25 0 9 0 75446825 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.18
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 515 0 0 0 18 0 0 0 16 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 867184
[startup+15.1012 s]
/proc/loadavg: 2.00 2.16 2.24 3/82 31692
/proc/meminfo: memFree=1896392/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=15.09
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10033 0 1 0 1470 39 0 0 18 0 9 0 75446823 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9198 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=14.85
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7448 0 1 0 1447 38 0 0 25 0 9 0 75446825 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126819501 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.18
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 515 0 0 0 18 0 0 0 16 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 867184
[startup+15.5013 s]
/proc/loadavg: 2.00 2.16 2.24 3/82 31692
/proc/meminfo: memFree=1896456/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=15.48
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10033 0 1 0 1509 39 0 0 18 0 9 0 75446823 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9198 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=15.24
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7448 0 1 0 1486 38 0 0 25 0 9 0 75446825 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4126809506 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.18
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 515 0 0 0 18 0 0 0 16 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.48
Current children cumulated vsize (KiB) 867184
[startup+15.9013 s]
/proc/loadavg: 2.00 2.16 2.24 3/82 31692
/proc/meminfo: memFree=1896456/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=15.88
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10034 0 1 0 1548 40 0 0 18 0 9 0 75446823 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9199 2634 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=15.64
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7449 0 1 0 1525 39 0 0 25 0 9 0 75446825 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.18
/proc/31683/task/31690/stat : 31690 (java) R 31681 31683 29402 0 -1 64 515 0 0 0 18 0 0 0 16 0 9 0 75446828 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 867184
[startup+16.0013 s]
/proc/loadavg: 2.00 2.16 2.24 3/82 31692
/proc/meminfo: memFree=1896456/2055920 swapFree=4192812/4192956
[pid=31683] ppid=31681 vsize=867184 CPUtime=15.98
/proc/31683/stat : 31683 (java) S 31681 31683 29402 0 -1 0 10443 0 1 0 1558 40 0 0 18 0 9 0 75446823 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31683/statm: 216796 9608 2635 9 0 211302 0
[pid=31683/tid=31685] ppid=31681 vsize=867184 CPUtime=15.72
/proc/31683/task/31685/stat : 31685 (java) R 31681 31683 29402 0 -1 64 7849 0 1 0 1533 39 0 0 25 0 9 0 75446825 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4125965827 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31686] ppid=31681 vsize=867184 CPUtime=0.04
/proc/31683/task/31686/stat : 31686 (java) S 31681 31683 29402 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75446826 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31687] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31687/stat : 31687 (java) S 31681 31683 29402 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31688] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31688/stat : 31688 (java) S 31681 31683 29402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75446826 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31689] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31689/stat : 31689 (java) S 31681 31683 29402 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75446828 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31690] ppid=31681 vsize=867184 CPUtime=0.19
/proc/31683/task/31690/stat : 31690 (java) S 31681 31683 29402 0 -1 64 524 0 0 0 19 0 0 0 16 0 9 0 75446828 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31683/tid=31691] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31691/stat : 31691 (java) S 31681 31683 29402 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75446828 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31683/tid=31692] ppid=31681 vsize=867184 CPUtime=0
/proc/31683/task/31692/stat : 31692 (java) S 31681 31683 29402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75446828 887996416 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 867184
Child status: 0
Real time (s): 16.0343
CPU time (s): 16.0136
CPU user time (s): 15.5976
CPU system time (s): 0.415936
CPU usage (%): 99.8707
Max. virtual memory (cumulated for all children) (KiB): 867188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5976
system time used= 0.415936
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= 1327
involuntary context switches= 1322
runsolver used 0.030995 second user time and 0.057991 second system time
The end