0.08/0.09
0.08/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=mrdac-ddeg.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1126970-1216187481.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.40 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.28/0.40 => wckTime=0.131 cpuTime=0.12 mem=7M908
0.28/0.40
0.28/0.40 relations being loaded...
0.38/0.41
0.38/0.41 constraints being loaded...
0.58/0.66 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.58/0.66 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.58/0.66 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.58/0.66 => wckTime=0.392 cpuTime=0.29 mem=14M806
0.68/0.72
0.68/0.72 solver LocalSearchSolver being built...
0.68/0.77 => wckTime=0.502 cpuTime=0.33 mem=6M521
0.68/0.78
0.68/0.78 s SATISFIABLE
0.68/0.78 o 37
0.68/0.78 o 34
0.68/0.78 o 32
0.68/0.78 o 30
0.68/0.78 o 28
0.68/0.78 o 27
0.68/0.78 o 26
0.68/0.79 o 25
0.68/0.79 o 24
0.68/0.79 o 23
0.68/0.79 o 22
0.68/0.80 o 21
0.68/0.80 o 20
0.77/0.80 o 19
0.77/0.80 o 18
0.77/0.80 o 17
0.77/0.80 o 16
0.77/0.80 o 15
0.77/0.81 o 13
0.77/0.82 o 12
0.77/0.82 o 11
0.77/0.82 o 10
0.77/0.82 o 9
0.77/0.82 o 8
0.77/0.83 o 4
0.77/0.83 o 3
0.77/0.84 o 2
0.77/0.87 o 1
0.87/0.93 o 0
0.87/0.93 First solution found
17.31/17.55
17.31/17.55 search
17.31/17.56 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.31/17.56 => wckTime=16.79 cpuTime=16.59 mem=7M562
17.31/17.56
17.31/17.56 search
17.31/17.56 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.31/17.56 => wckTime=16.79 cpuTime=16.59 mem=7M562
17.31/17.56
17.31/17.56 global
17.31/17.56 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.31/17.56 solvingWckTime=16.788 solvingCpuTime=16.58 expiredTime=no totalExploration=yes nbFoundSolutions=2212
17.31/17.56 firstSolutionCpuTime=0.47 globalCpuTime=16.95
17.31/17.56 => wckTime=17.292 cpuTime=16.91 mem=7M562
17.31/17.56
17.31/17.56 solver DecomposerSolver being built...
17.40/17.67 => wckTime=17.403 cpuTime=16.99 mem=17M608
17.40/17.67 C50(V0,V75)
17.40/17.67 C50(V0,V75)
17.40/17.67 C101(V1,V75)
17.40/17.67 C101(V1,V75)
17.40/17.67 C152(V2,V75)
17.40/17.67 C152(V2,V75)
17.40/17.67 C203(V3,V75)
17.40/17.67 C203(V3,V75)
17.40/17.67 C254(V4,V75)
17.40/17.67 C254(V4,V75)
17.40/17.67 C305(V5,V75)
17.40/17.67 C305(V5,V75)
17.40/17.67 C356(V6,V75)
17.40/17.67 C356(V6,V75)
17.40/17.67 C407(V7,V75)
17.40/17.67 C407(V7,V75)
17.40/17.67 C458(V8,V75)
17.40/17.67 C458(V8,V75)
17.40/17.68 C509(V9,V75)
17.40/17.68 C509(V9,V75)
17.40/17.68 C610(V11,V75)
17.40/17.68 C610(V11,V75)
17.40/17.68 C661(V12,V75)
17.40/17.68 C661(V12,V75)
17.40/17.68 C712(V13,V75)
17.40/17.68 C712(V13,V75)
17.40/17.68 C763(V14,V75)
17.40/17.68 C763(V14,V75)
17.40/17.68 C814(V15,V75)
17.40/17.68 C814(V15,V75)
17.40/17.68 C865(V16,V75)
17.40/17.68 C865(V16,V75)
17.40/17.68 C916(V17,V75)
17.40/17.68 C916(V17,V75)
17.40/17.68 C967(V18,V75)
17.40/17.68 C967(V18,V75)
17.40/17.68 C1018(V19,V75)
17.40/17.68 C1018(V19,V75)
17.40/17.68 C1069(V20,V75)
17.40/17.68 C1069(V20,V75)
17.40/17.68 C1120(V21,V75)
17.40/17.68 C1120(V21,V75)
17.40/17.68 C1171(V22,V75)
17.40/17.68 C1171(V22,V75)
17.40/17.68 C1222(V23,V75)
17.40/17.68 C1222(V23,V75)
17.40/17.68 C1273(V24,V75)
17.40/17.68 C1273(V24,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.68 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69 C1274(V47,V75)
17.40/17.69
17.40/17.69 preprocessing
17.40/17.69 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.40/17.69 detectedInconsistency=yes
17.40/17.69 => wckTime=0.018 cpuTime=0.01 mem=17M608
17.40/17.69
17.40/17.69 global
17.40/17.69 nbConstraintChecks=73 solvingWckTime=0.021 solvingCpuTime=0.02 expiredTime=no totalExploration=yes
17.40/17.69 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=17.05
17.40/17.69 => wckTime=17.426 cpuTime=17.01 mem=18M616
17.40/17.69
17.40/17.69 s OPTIMUM FOUND
17.40/17.69 v 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 -1
17.40/17.69 d NODES 0
17.40/17.69 d CHECKS 73
17.40/17.69
17.40/17.69 totalWckTime=17.498 totalCpuTime=17.06
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126970-1216187481/watcher-1126970-1216187481 -o /tmp/evaluation-result-1126970-1216187481/solver-1126970-1216187481 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1126970-1216187481.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.07 2.26 2.41 3/81 31684
/proc/meminfo: memFree=1892808/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=10616 CPUtime=0
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 75447584 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 2654 472 209 9 0 1184 0
[pid=31684/tid=31685] ppid=31682 vsize=10616 CPUtime=0
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 75447585 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 13254616 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0895959 s]
/proc/loadavg: 2.07 2.26 2.41 3/81 31684
/proc/meminfo: memFree=1892808/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=865960 CPUtime=0.08
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 3598 0 1 0 6 2 0 0 18 0 9 0 75447584 886743040 3087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216490 3087 1648 9 0 211052 0
[pid=31684/tid=31685] ppid=31682 vsize=865960 CPUtime=0.06
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 2689 0 1 0 5 1 0 0 20 0 9 0 75447585 886743040 3087 996147200 134512640 134550740 4294955952 18446744073709551615 4160643169 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865960
[startup+0.102595 s]
/proc/loadavg: 2.07 2.26 2.41 3/81 31684
/proc/meminfo: memFree=1892808/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=865988 CPUtime=0.09
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 3701 0 1 0 7 2 0 0 18 0 9 0 75447584 886771712 3176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216497 3176 1687 9 0 211052 0
[pid=31684/tid=31685] ppid=31682 vsize=865988 CPUtime=0.06
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 2787 0 1 0 5 1 0 0 20 0 9 0 75447585 886771712 3176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.301619 s]
/proc/loadavg: 2.07 2.26 2.41 3/81 31684
/proc/meminfo: memFree=1892808/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=866364 CPUtime=0.28
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 5667 0 1 0 25 3 0 0 18 0 9 0 75447584 887156736 5081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216591 5081 1916 9 0 211119 0
[pid=31684/tid=31685] ppid=31682 vsize=866364 CPUtime=0.24
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 4696 0 1 0 21 3 0 0 21 0 9 0 75447585 887156736 5081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866364
[startup+0.701664 s]
/proc/loadavg: 2.07 2.26 2.41 3/81 31684
/proc/meminfo: memFree=1892808/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867040 CPUtime=0.68
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 9513 0 1 0 63 5 0 0 18 0 9 0 75447584 887848960 8717 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216760 8717 2632 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867040 CPUtime=0.49
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7400 0 1 0 45 4 0 0 19 0 9 0 75447585 887848960 8717 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867040
[startup+1.50275 s]
/proc/loadavg: 2.07 2.26 2.41 3/90 31693
/proc/meminfo: memFree=1866176/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=1.46
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10023 0 1 0 138 8 0 0 18 0 9 0 75447584 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9190 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=1.22
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7455 0 1 0 115 7 0 0 25 0 9 0 75447585 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126809237 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.17
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 500 0 0 0 17 0 0 0 15 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867128
[startup+3.10192 s]
/proc/loadavg: 2.07 2.26 2.41 3/90 31693
/proc/meminfo: memFree=1865984/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=3.05
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10024 0 1 0 293 12 0 0 18 0 9 0 75447584 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9190 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=2.8
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7456 0 1 0 269 11 0 0 25 0 9 0 75447585 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4126810720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.18
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 500 0 0 0 18 0 0 0 17 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867128
[startup+6.30128 s]
/proc/loadavg: 2.06 2.26 2.41 3/90 31693
/proc/meminfo: memFree=1865600/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=6.22
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10029 0 1 0 601 21 0 0 18 0 9 0 75447584 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9194 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=5.96
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7457 0 1 0 577 19 0 0 25 0 9 0 75447585 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4126809240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.18
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 504 0 0 0 18 0 0 0 15 0 9 0 75447589 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867128
[startup+12.702 s]
/proc/loadavg: 2.06 2.25 2.41 3/90 31693
/proc/meminfo: memFree=1865224/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=12.55
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10032 0 1 0 1220 35 0 0 18 0 9 0 75447584 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9197 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=12.3
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7457 0 1 0 1196 34 0 0 25 0 9 0 75447585 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126810720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.19
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867128
Solver just ended. Dumping a history of the last processes samples
[startup+15.9013 s]
/proc/loadavg: 2.05 2.25 2.40 3/90 31693
/proc/meminfo: memFree=1865096/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=15.72
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10032 0 1 0 1528 44 0 0 18 0 9 0 75447584 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9197 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=15.47
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7457 0 1 0 1504 43 0 0 25 0 9 0 75447585 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.19
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 867128
[startup+16.7024 s]
/proc/loadavg: 2.05 2.25 2.40 3/90 31693
/proc/meminfo: memFree=1865032/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=16.52
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10032 0 1 0 1606 46 0 0 18 0 9 0 75447584 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9197 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=16.26
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7457 0 1 0 1581 45 0 0 25 0 9 0 75447585 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.19
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.52
Current children cumulated vsize (KiB) 867128
[startup+17.5025 s]
/proc/loadavg: 2.05 2.25 2.40 3/90 31693
/proc/meminfo: memFree=1865032/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=867128 CPUtime=17.31
/proc/31684/stat : 31684 (java) S 31682 31684 31647 0 -1 0 10032 0 1 0 1684 47 0 0 18 0 9 0 75447584 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 216782 9197 2634 9 0 211288 0
[pid=31684/tid=31685] ppid=31682 vsize=867128 CPUtime=17.05
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 31647 0 -1 64 7457 0 1 0 1659 46 0 0 25 0 9 0 75447585 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31687] ppid=31682 vsize=867128 CPUtime=0.05
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 31647 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31688] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 31647 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31689] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 31647 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75447587 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31690] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31691] ppid=31682 vsize=867128 CPUtime=0.19
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 31647 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31692] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 31647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31684/tid=31693] ppid=31682 vsize=867128 CPUtime=0
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 31647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75447589 887939072 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.31
Current children cumulated vsize (KiB) 867128
[startup+17.7032 s]
/proc/loadavg: 2.05 2.25 2.40 3/90 31693
/proc/meminfo: memFree=1865032/2055920 swapFree=4181092/4192956
[pid=31684] ppid=31682 vsize=0 CPUtime=17.5
/proc/31684/stat : 31684 (java) Z 31682 31684 31647 0 -1 12 10623 0 1 0 1702 48 0 0 16 0 2 0 75447584 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31684/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.5
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 17.7071
CPU time (s): 17.5113
CPU user time (s): 17.0204
CPU system time (s): 0.490925
CPU usage (%): 98.8943
Max. virtual memory (cumulated for all children) (KiB): 867132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0204
system time used= 0.490925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10623
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= 1430
involuntary context switches= 2084
runsolver used 0.026995 second user time and 0.077988 second system time
The end