Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
AbsconMax 112 pc-w | OPTIMUM | 31.2562 | 31.3213 |
Diagnostic | Value |
---|---|
CHECKS | 148 |
NODES | 0 |
Name | maxcsp/warehouses/ normalized-cap122_ext.xml |
MD5SUM | 4bf2b317c61984f54388f5cebd1c8eff |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.200969 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 2550 |
Maximum constraint arity | 2 |
Maximum domain size | 50 |
Number of constraints which are defined in extension | 2550 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.02/0.08 0.02/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-1126769-1216186895.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=101 nbDomainTypes=3 minDomainSize=1 maxDomainSize=50 nbTotalValues=2601 0.29/0.36 => wckTime=0.124 cpuTime=0.11 mem=7M858 0.29/0.37 0.29/0.37 relations being loaded... 0.29/0.39 0.29/0.39 constraints being loaded... 0.68/0.70 nbConstraints=2550 nbRelationTypes=52 nbSingletonDomainVariables=1 nbExtensionStructures=52 0.68/0.70 nbSharedExtensionStructures=2498 nbConflictsStructures=52 nbSharedConflictsStructures=2498 0.68/0.70 nbSharedBinaryRepresentations=2598 minDegree=50 maxDegree=51 minArity=2 maxArity=2 0.68/0.70 => wckTime=0.46 cpuTime=0.32 mem=20M571 0.68/0.77 0.68/0.77 solver LocalSearchSolver being built... 0.78/0.81 => wckTime=0.574 cpuTime=0.36 mem=7M656 0.78/0.83 0.78/0.83 s SATISFIABLE 0.78/0.83 o 51 0.78/0.83 o 49 0.78/0.84 o 47 0.78/0.85 o 45 0.78/0.85 o 43 0.78/0.85 o 42 0.78/0.85 o 41 0.78/0.85 o 40 0.78/0.86 o 39 0.78/0.86 o 38 0.78/0.86 o 37 0.78/0.87 o 36 0.78/0.87 o 35 0.78/0.87 o 34 0.78/0.87 o 33 0.78/0.88 o 32 0.78/0.88 o 31 0.78/0.88 o 30 0.78/0.88 o 29 0.78/0.88 o 28 0.78/0.88 o 27 0.78/0.88 o 26 0.78/0.88 o 25 0.78/0.88 o 24 0.78/0.88 o 23 0.78/0.88 o 22 0.78/0.89 o 21 0.89/0.92 o 19 0.89/0.92 o 17 0.89/0.92 o 15 0.89/0.92 o 14 0.89/0.92 o 13 0.89/0.92 o 12 0.89/0.92 o 11 0.89/0.92 o 10 0.89/0.92 o 9 0.89/0.94 o 8 0.89/0.95 o 7 0.89/0.96 o 6 0.89/0.98 o 5 0.89/0.99 o 4 0.99/1.01 o 2 0.99/1.03 o 1 0.99/1.10 o 0 0.99/1.10 First solution found 31.08/31.14 31.08/31.14 search 31.08/31.14 run=0 nbConstraintChecks=210511968 nbAssignments=4525 31.08/31.14 => wckTime=30.326 cpuTime=30.28 mem=8M713 31.08/31.14 31.08/31.14 global 31.08/31.14 nbConstraintChecks=210511968 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 31.08/31.14 solvingWckTime=30.323 solvingCpuTime=30.27 expiredTime=no totalExploration=yes nbFoundSolutions=1045 31.08/31.14 firstSolutionCpuTime=0.62 globalCpuTime=30.66 31.08/31.14 => wckTime=30.9 cpuTime=30.63 mem=8M713 31.08/31.14 31.08/31.14 solver DecomposerSolver being built... 31.18/31.24 => wckTime=31.001 cpuTime=30.72 mem=19M638 31.18/31.24 C50(V0,V100) 31.18/31.24 C50(V0,V100) 31.18/31.25 C101(V1,V100) 31.18/31.25 C101(V1,V100) 31.18/31.25 C152(V2,V100) 31.18/31.25 C152(V2,V100) 31.18/31.25 C203(V3,V100) 31.18/31.25 C203(V3,V100) 31.18/31.25 C254(V4,V100) 31.18/31.25 C254(V4,V100) 31.18/31.25 C305(V5,V100) 31.18/31.25 C305(V5,V100) 31.18/31.25 C356(V6,V100) 31.18/31.25 C356(V6,V100) 31.18/31.25 C407(V7,V100) 31.18/31.25 C407(V7,V100) 31.18/31.25 C458(V8,V100) 31.18/31.25 C458(V8,V100) 31.18/31.25 C509(V9,V100) 31.18/31.25 C509(V9,V100) 31.18/31.25 C560(V10,V100) 31.18/31.25 C560(V10,V100) 31.18/31.25 C611(V11,V100) 31.18/31.25 C611(V11,V100) 31.18/31.25 C662(V12,V100) 31.18/31.25 C662(V12,V100) 31.18/31.25 C713(V13,V100) 31.18/31.25 C713(V13,V100) 31.18/31.25 C764(V14,V100) 31.18/31.25 C764(V14,V100) 31.18/31.25 C815(V15,V100) 31.18/31.26 C815(V15,V100) 31.18/31.26 C866(V16,V100) 31.18/31.26 C866(V16,V100) 31.18/31.26 C917(V17,V100) 31.18/31.26 C917(V17,V100) 31.18/31.26 C968(V18,V100) 31.18/31.26 C968(V18,V100) 31.18/31.26 C1019(V19,V100) 31.18/31.26 C1019(V19,V100) 31.18/31.26 C1070(V20,V100) 31.18/31.26 C1070(V20,V100) 31.18/31.26 C1121(V21,V100) 31.18/31.26 C1121(V21,V100) 31.18/31.26 C1222(V23,V100) 31.18/31.26 C1222(V23,V100) 31.18/31.26 C1273(V24,V100) 31.18/31.26 C1273(V24,V100) 31.18/31.26 C1324(V25,V100) 31.18/31.26 C1324(V25,V100) 31.18/31.26 C1375(V26,V100) 31.18/31.26 C1375(V26,V100) 31.18/31.26 C1426(V27,V100) 31.18/31.26 C1426(V27,V100) 31.18/31.26 C1477(V28,V100) 31.18/31.26 C1477(V28,V100) 31.18/31.26 C1528(V29,V100) 31.18/31.26 C1528(V29,V100) 31.18/31.26 C1579(V30,V100) 31.18/31.26 C1579(V30,V100) 31.18/31.26 C1630(V31,V100) 31.18/31.26 C1630(V31,V100) 31.18/31.26 C1681(V32,V100) 31.18/31.26 C1681(V32,V100) 31.18/31.26 C1732(V33,V100) 31.18/31.26 C1732(V33,V100) 31.18/31.26 C1783(V34,V100) 31.18/31.26 C1783(V34,V100) 31.18/31.26 C1834(V35,V100) 31.18/31.26 C1834(V35,V100) 31.18/31.26 C1885(V36,V100) 31.18/31.26 C1885(V36,V100) 31.18/31.26 C1936(V37,V100) 31.18/31.26 C1936(V37,V100) 31.18/31.26 C1987(V38,V100) 31.18/31.26 C1987(V38,V100) 31.18/31.26 C2038(V39,V100) 31.18/31.26 C2038(V39,V100) 31.18/31.26 C2089(V40,V100) 31.18/31.26 C2089(V40,V100) 31.18/31.26 C2140(V41,V100) 31.18/31.26 C2140(V41,V100) 31.18/31.26 C2191(V42,V100) 31.18/31.26 C2191(V42,V100) 31.18/31.26 C2242(V43,V100) 31.18/31.26 C2242(V43,V100) 31.18/31.26 C2293(V44,V100) 31.18/31.26 C2293(V44,V100) 31.18/31.26 C2344(V45,V100) 31.18/31.26 C2344(V45,V100) 31.18/31.26 C2395(V46,V100) 31.18/31.26 C2395(V46,V100) 31.18/31.26 C2446(V47,V100) 31.18/31.26 C2446(V47,V100) 31.18/31.26 C2497(V48,V100) 31.18/31.26 C2497(V48,V100) 31.18/31.26 C2548(V49,V100) 31.18/31.26 C2548(V49,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.26 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 C2549(V72,V100) 31.18/31.27 31.18/31.27 preprocessing 31.18/31.27 nbConstraintChecks=148 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 31.18/31.27 detectedInconsistency=yes 31.18/31.27 => wckTime=0.027 cpuTime=0.01 mem=20M613 31.18/31.27 31.18/31.27 global 31.18/31.27 nbConstraintChecks=148 solvingWckTime=0.029 solvingCpuTime=0.02 expiredTime=no totalExploration=yes 31.18/31.27 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=30.77 31.18/31.27 => wckTime=31.031 cpuTime=30.74 mem=20M613 31.18/31.27 31.18/31.27 s OPTIMUM FOUND 31.18/31.27 v 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 -1 31.18/31.27 d NODES 0 31.18/31.27 d CHECKS 148 31.18/31.27 31.18/31.28 totalWckTime=31.098 totalCpuTime=30.77
OK 0 2550 0 unsatisfied constraints, 2550 satisfied constraints
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126769-1216186895/watcher-1126769-1216186895 -o /tmp/evaluation-result-1126769-1216186895/solver-1126769-1216186895 -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-1126769-1216186895.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.23 2.09 2.02 4/81 32232 /proc/meminfo: memFree=1823688/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=152 CPUtime=0 /proc/32232/stat : 32232 (java) R 32230 32232 30012 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 75391460 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 12591403 0 0 4096 0 0 0 0 17 0 0 0 /proc/32232/statm: 38 26 19 9 0 4 0 [startup+0.033376 s] /proc/loadavg: 2.23 2.09 2.02 4/81 32232 /proc/meminfo: memFree=1823688/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=861876 CPUtime=0.02 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 2202 0 1 0 1 1 0 0 18 0 5 0 75391460 882561024 1827 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 215469 1827 839 9 0 210448 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 861876 [startup+0.102376 s] /proc/loadavg: 2.23 2.09 2.02 4/81 32232 /proc/meminfo: memFree=1823688/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=865988 CPUtime=0.08 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 3812 0 1 0 7 1 0 0 18 0 9 0 75391460 886771712 3263 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216497 3266 1722 9 0 211052 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 865988 [startup+0.302393 s] /proc/loadavg: 2.23 2.09 2.02 4/81 32232 /proc/meminfo: memFree=1823688/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=866484 CPUtime=0.29 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 5915 0 1 0 25 4 0 0 18 0 9 0 75391460 887279616 5290 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216621 5291 1958 9 0 211149 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 866484 [startup+0.702427 s] /proc/loadavg: 2.23 2.09 2.02 4/81 32232 /proc/meminfo: memFree=1823688/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867352 CPUtime=0.68 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 9985 0 1 0 62 6 0 0 18 0 9 0 75391460 888168448 9340 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216838 9341 1993 9 0 211366 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 867352 [startup+1.50149 s] /proc/loadavg: 2.23 2.09 2.02 3/90 32241 /proc/meminfo: memFree=1790272/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=1.48 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11755 0 1 0 140 8 0 0 18 0 9 0 75391460 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10922 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=1.19 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8753 0 1 0 113 6 0 0 25 0 9 0 75391461 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4126979101 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 649 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10922 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) 867564 [startup+3.10161 s] /proc/loadavg: 2.21 2.09 2.02 3/90 32241 /proc/meminfo: memFree=1790080/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=3.08 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11756 0 1 0 299 9 0 0 18 0 9 0 75391460 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10922 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=2.79 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8754 0 1 0 272 7 0 0 25 0 9 0 75391461 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4126980201 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 649 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 867564 [startup+6.30287 s] /proc/loadavg: 2.21 2.09 2.02 3/90 32241 /proc/meminfo: memFree=1789888/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=6.29 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11757 0 1 0 618 11 0 0 18 0 9 0 75391460 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10922 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=5.98 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8755 0 1 0 590 8 0 0 25 0 9 0 75391461 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4126979008 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 649 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10922 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 867564 [startup+12.7014 s] /proc/loadavg: 2.18 2.09 2.02 3/90 32241 /proc/meminfo: memFree=1789760/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=12.68 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11761 0 1 0 1254 14 0 0 18 0 9 0 75391460 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10926 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=12.38 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8755 0 1 0 1226 12 0 0 25 0 9 0 75391461 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4126979016 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 653 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 867564 [startup+25.5024 s] /proc/loadavg: 2.15 2.08 2.02 3/90 32241 /proc/meminfo: memFree=1789696/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=25.48 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11761 0 1 0 2526 22 0 0 18 0 9 0 75391460 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10926 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=25.18 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8755 0 1 0 2498 20 0 0 25 0 9 0 75391461 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4126979178 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 653 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 867564 Solver just ended. Dumping a history of the last processes samples [startup+28.7016 s] /proc/loadavg: 2.14 2.08 2.02 3/90 32241 /proc/meminfo: memFree=1789568/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=28.68 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11761 0 1 0 2843 25 0 0 18 0 9 0 75391460 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10926 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=28.37 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8755 0 1 0 2815 22 0 0 25 0 9 0 75391461 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4126980274 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 653 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 867564 [startup+30.3028 s] /proc/loadavg: 2.14 2.08 2.02 3/90 32241 /proc/meminfo: memFree=1789568/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=30.27 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11761 0 1 0 3001 26 0 0 18 0 9 0 75391460 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10926 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=29.98 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8755 0 1 0 2974 24 0 0 25 0 9 0 75391461 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4126977520 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 653 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.27 Current children cumulated vsize (KiB) 867564 [startup+31.1028 s] /proc/loadavg: 2.14 2.08 2.02 4/90 32241 /proc/meminfo: memFree=1789568/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867564 CPUtime=31.08 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11761 0 1 0 3081 27 0 0 18 0 9 0 75391460 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216891 10926 2634 9 0 211397 0 [pid=32232/tid=32234] ppid=32230 vsize=867564 CPUtime=30.77 /proc/32232/task/32234/stat : 32234 (java) R 32230 32232 30012 0 -1 64 8755 0 1 0 3053 24 0 0 25 0 9 0 75391461 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4126456817 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867564 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867564 CPUtime=0.22 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 653 0 0 0 21 1 0 0 16 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867564 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888385536 10926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.08 Current children cumulated vsize (KiB) 867564 [startup+31.3029 s] /proc/loadavg: 2.14 2.08 2.02 4/90 32241 /proc/meminfo: memFree=1789568/2055920 swapFree=4181276/4192956 [pid=32232] ppid=32230 vsize=867888 CPUtime=31.24 /proc/32232/stat : 32232 (java) S 32230 32232 30012 0 -1 0 11831 0 1 0 3097 27 0 0 18 0 9 0 75391460 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/32232/statm: 216972 10994 2636 9 0 211478 0 [pid=32232/tid=32234] ppid=32230 vsize=867888 CPUtime=30.92 /proc/32232/task/32234/stat : 32234 (java) S 32230 32232 30012 0 -1 64 8809 0 1 0 3067 25 0 0 25 0 9 0 75391461 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32235] ppid=32230 vsize=867888 CPUtime=0.05 /proc/32232/task/32235/stat : 32235 (java) S 32230 32232 30012 0 -1 64 1656 0 0 0 5 0 0 0 16 0 9 0 75391462 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32236] ppid=32230 vsize=867888 CPUtime=0 /proc/32232/task/32236/stat : 32236 (java) S 32230 32232 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75391462 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32237] ppid=32230 vsize=867888 CPUtime=0 /proc/32232/task/32237/stat : 32237 (java) S 32230 32232 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75391462 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32238] ppid=32230 vsize=867888 CPUtime=0 /proc/32232/task/32238/stat : 32238 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 75391464 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32239] ppid=32230 vsize=867888 CPUtime=0.24 /proc/32232/task/32239/stat : 32239 (java) S 32230 32232 30012 0 -1 64 664 0 0 0 23 1 0 0 16 0 9 0 75391464 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32240] ppid=32230 vsize=867888 CPUtime=0 /proc/32232/task/32240/stat : 32240 (java) S 32230 32232 30012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75391464 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=32232/tid=32241] ppid=32230 vsize=867888 CPUtime=0 /proc/32232/task/32241/stat : 32241 (java) S 32230 32232 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75391464 888717312 10994 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.24 Current children cumulated vsize (KiB) 867888 Child status: 0 Real time (s): 31.3213 CPU time (s): 31.2562 CPU user time (s): 30.9753 CPU system time (s): 0.280957 CPU usage (%): 99.7922 Max. virtual memory (cumulated for all children) (KiB): 867888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.9753 system time used= 0.280957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11835 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= 1866 involuntary context switches= 2460 runsolver used 0.044993 second user time and 0.121981 second system time The end
Begin job on node26 at 2008-07-16 07:41:35 IDJOB=1126769 IDBENCH=66086 IDSOLVER=359 FILE ID=node26/1126769-1216186895 PBS_JOBID= 7905804 Free space on /tmp= 66560 MiB SOLVER NAME= AbsconMax 112 pc-w BENCH NAME= CPAI08/maxcsp/warehouses/normalized-cap122_ext.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126769-1216186895/watcher-1126769-1216186895 -o /tmp/evaluation-result-1126769-1216186895/solver-1126769-1216186895 -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-1126769-1216186895.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 4bf2b317c61984f54388f5cebd1c8eff RANDOM SEED=1751818922 node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1824168 kB Buffers: 15212 kB Cached: 51876 kB SwapCached: 5264 kB Active: 159164 kB Inactive: 21640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824168 kB SwapTotal: 4192956 kB SwapFree: 4181276 kB Dirty: 2460 kB Writeback: 0 kB Mapped: 130052 kB Slab: 35868 kB Committed_AS: 522964 kB PageTables: 2152 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node26 at 2008-07-16 07:42:07