0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mrdac-ddeg.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1126834-1216187146.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.40 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.28/0.40 => wckTime=0.129 cpuTime=0.13 mem=7M908
0.37/0.40
0.37/0.40 relations being loaded...
0.37/0.41
0.37/0.41 constraints being loaded...
0.57/0.65 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.57/0.65 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.57/0.65 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.57/0.65 => wckTime=0.386 cpuTime=0.29 mem=14M806
0.67/0.72
0.67/0.72 solver LocalSearchSolver being built...
0.67/0.76 => wckTime=0.492 cpuTime=0.33 mem=6M521
0.67/0.77
0.67/0.77 s SATISFIABLE
0.67/0.77 o 37
0.67/0.77 o 34
0.67/0.77 o 32
0.67/0.77 o 30
0.67/0.77 o 28
0.67/0.78 o 27
0.67/0.78 o 26
0.67/0.78 o 25
0.67/0.78 o 24
0.67/0.78 o 23
0.67/0.78 o 22
0.67/0.78 o 21
0.67/0.79 o 20
0.67/0.79 o 19
0.67/0.79 o 18
0.67/0.79 o 17
0.67/0.79 o 16
0.67/0.79 o 15
0.78/0.80 o 13
0.78/0.80 o 12
0.78/0.81 o 11
0.78/0.81 o 10
0.78/0.81 o 9
0.78/0.81 o 8
0.78/0.82 o 4
0.78/0.82 o 3
0.78/0.83 o 2
0.78/0.85 o 1
0.87/0.92 o 0
0.87/0.92 First solution found
17.22/17.41
17.22/17.41 search
17.22/17.41 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.22/17.41 => wckTime=16.648 cpuTime=16.45 mem=7M562
17.22/17.41
17.22/17.41 search
17.22/17.41 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.22/17.41 => wckTime=16.648 cpuTime=16.45 mem=7M562
17.22/17.41
17.22/17.41 global
17.22/17.41 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.22/17.41 solvingWckTime=16.645 solvingCpuTime=16.45 expiredTime=no totalExploration=yes nbFoundSolutions=2212
17.22/17.41 firstSolutionCpuTime=0.47 globalCpuTime=16.82
17.22/17.41 => wckTime=17.141 cpuTime=16.78 mem=7M562
17.22/17.41
17.22/17.41 solver DecomposerSolver being built...
17.32/17.52 => wckTime=17.255 cpuTime=16.86 mem=17M608
17.32/17.52 C50(V0,V75)
17.32/17.52 C50(V0,V75)
17.32/17.52 C101(V1,V75)
17.32/17.52 C101(V1,V75)
17.32/17.53 C152(V2,V75)
17.32/17.53 C152(V2,V75)
17.32/17.53 C203(V3,V75)
17.32/17.53 C203(V3,V75)
17.32/17.53 C254(V4,V75)
17.32/17.53 C254(V4,V75)
17.32/17.53 C305(V5,V75)
17.32/17.53 C305(V5,V75)
17.32/17.53 C356(V6,V75)
17.32/17.53 C356(V6,V75)
17.32/17.53 C407(V7,V75)
17.32/17.53 C407(V7,V75)
17.32/17.53 C458(V8,V75)
17.32/17.53 C458(V8,V75)
17.32/17.53 C509(V9,V75)
17.32/17.53 C509(V9,V75)
17.32/17.53 C610(V11,V75)
17.32/17.53 C610(V11,V75)
17.32/17.53 C661(V12,V75)
17.32/17.53 C661(V12,V75)
17.32/17.53 C712(V13,V75)
17.32/17.53 C712(V13,V75)
17.32/17.53 C763(V14,V75)
17.32/17.54 C763(V14,V75)
17.32/17.54 C814(V15,V75)
17.32/17.54 C814(V15,V75)
17.32/17.54 C865(V16,V75)
17.32/17.54 C865(V16,V75)
17.32/17.54 C916(V17,V75)
17.32/17.54 C916(V17,V75)
17.32/17.54 C967(V18,V75)
17.32/17.54 C967(V18,V75)
17.32/17.54 C1018(V19,V75)
17.32/17.54 C1018(V19,V75)
17.32/17.54 C1069(V20,V75)
17.32/17.54 C1069(V20,V75)
17.32/17.54 C1120(V21,V75)
17.32/17.54 C1120(V21,V75)
17.32/17.54 C1171(V22,V75)
17.32/17.54 C1171(V22,V75)
17.32/17.54 C1222(V23,V75)
17.32/17.54 C1222(V23,V75)
17.32/17.54 C1273(V24,V75)
17.32/17.54 C1273(V24,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54 C1274(V47,V75)
17.32/17.54
17.32/17.54 preprocessing
17.32/17.54 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.32/17.54 detectedInconsistency=yes
17.32/17.54 => wckTime=0.018 cpuTime=0.02 mem=17M608
17.32/17.54
17.32/17.54 global
17.32/17.54 nbConstraintChecks=73 solvingWckTime=0.021 solvingCpuTime=0.03 expiredTime=no totalExploration=yes
17.32/17.54 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=16.93
17.32/17.54 => wckTime=17.277 cpuTime=16.89 mem=18M616
17.32/17.55
17.32/17.55 s OPTIMUM FOUND
17.32/17.55 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.32/17.55 d NODES 0
17.32/17.55 d CHECKS 73
17.32/17.55
17.32/17.55 totalWckTime=17.349 totalCpuTime=16.93
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126834-1216187146/watcher-1126834-1216187146 -o /tmp/evaluation-result-1126834-1216187146/solver-1126834-1216187146 -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-1126834-1216187146.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.03 2.10 2.04 4/81 451
/proc/meminfo: memFree=1818768/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=18572 CPUtime=0
/proc/451/stat : 451 (runsolver) R 449 451 30012 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 75416554 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/451/statm: 4643 292 257 25 0 2626 0
[startup+0.0827471 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 451
/proc/meminfo: memFree=1818768/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=865856 CPUtime=0.06
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 3522 0 1 0 5 1 0 0 18 0 9 0 75416554 886636544 3012 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216464 3012 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101748 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 451
/proc/meminfo: memFree=1818768/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=865988 CPUtime=0.08
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 3689 0 1 0 6 2 0 0 18 0 9 0 75416554 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216497 3164 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301766 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 451
/proc/meminfo: memFree=1818768/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=866308 CPUtime=0.28
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 5642 0 1 0 24 4 0 0 18 0 9 0 75416554 887099392 5060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216577 5060 1900 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866308
[startup+0.701802 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 451
/proc/meminfo: memFree=1818768/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867024 CPUtime=0.67
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 9558 0 1 0 61 6 0 0 18 0 9 0 75416554 887832576 8728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216756 8728 2607 9 0 211284 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867024
[startup+1.50186 s]
/proc/loadavg: 2.03 2.10 2.04 3/90 460
/proc/meminfo: memFree=1792200/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=1.46
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10024 0 1 0 138 8 0 0 18 0 9 0 75416554 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9191 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=1.22
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7453 0 1 0 115 7 0 0 25 0 9 0 75416556 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4126809112 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.18
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 501 0 0 0 18 0 0 0 15 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 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.46
Current children cumulated vsize (KiB) 867112
[startup+3.10298 s]
/proc/loadavg: 2.03 2.10 2.04 3/90 460
/proc/meminfo: memFree=1791944/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=3.06
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10025 0 1 0 294 12 0 0 18 0 9 0 75416554 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9191 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=2.81
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7454 0 1 0 271 10 0 0 25 0 9 0 75416556 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4126811689 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.18
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 501 0 0 0 18 0 0 0 17 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 9191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867112
[startup+6.30224 s]
/proc/loadavg: 2.03 2.10 2.04 3/90 460
/proc/meminfo: memFree=1791880/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=6.22
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10030 0 1 0 602 20 0 0 18 0 9 0 75416554 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9195 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=5.96
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7455 0 1 0 578 18 0 0 25 0 9 0 75416556 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4126809080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.18
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 505 0 0 0 18 0 0 0 15 0 9 0 75416559 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 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.22
Current children cumulated vsize (KiB) 867112
[startup+12.7027 s]
/proc/loadavg: 2.03 2.09 2.04 3/90 460
/proc/meminfo: memFree=1791752/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=12.56
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10032 0 1 0 1223 33 0 0 18 0 9 0 75416554 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9197 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=12.3
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7455 0 1 0 1198 32 0 0 25 0 9 0 75416556 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126810653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.19
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 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.56
Current children cumulated vsize (KiB) 867112
Solver just ended. Dumping a history of the last processes samples
[startup+15.902 s]
/proc/loadavg: 2.03 2.09 2.04 3/90 460
/proc/meminfo: memFree=1791752/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=15.73
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10032 0 1 0 1531 42 0 0 18 0 9 0 75416554 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9197 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=15.47
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7455 0 1 0 1507 40 0 0 25 0 9 0 75416556 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126811689 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.19
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 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.73
Current children cumulated vsize (KiB) 867112
[startup+16.7011 s]
/proc/loadavg: 2.02 2.09 2.04 3/90 460
/proc/meminfo: memFree=1791752/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=16.52
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10032 0 1 0 1609 43 0 0 18 0 9 0 75416554 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9197 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=16.26
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7455 0 1 0 1584 42 0 0 25 0 9 0 75416556 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126810559 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.19
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 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) 867112
[startup+17.1011 s]
/proc/loadavg: 2.02 2.09 2.04 3/90 460
/proc/meminfo: memFree=1791752/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=16.92
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10032 0 1 0 1648 44 0 0 18 0 9 0 75416554 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9197 2634 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=16.65
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7455 0 1 0 1623 42 0 0 25 0 9 0 75416556 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126809112 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.19
/proc/451/task/458/stat : 458 (java) S 449 451 30012 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 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.92
Current children cumulated vsize (KiB) 867112
[startup+17.5011 s]
/proc/loadavg: 2.02 2.09 2.04 4/90 460
/proc/meminfo: memFree=1791624/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=867112 CPUtime=17.32
/proc/451/stat : 451 (java) S 449 451 30012 0 -1 0 10080 0 1 0 1687 45 0 0 18 0 9 0 75416554 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 216778 9245 2635 9 0 211284 0
[pid=451/tid=453] ppid=449 vsize=867112 CPUtime=17.04
/proc/451/task/453/stat : 453 (java) R 449 451 30012 0 -1 64 7499 0 1 0 1661 43 0 0 25 0 9 0 75416556 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=454] ppid=449 vsize=867112 CPUtime=0.04
/proc/451/task/454/stat : 454 (java) S 449 451 30012 0 -1 64 1374 0 0 0 4 0 0 0 16 0 9 0 75416557 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=455] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/455/stat : 455 (java) S 449 451 30012 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75416557 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=456] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/456/stat : 456 (java) S 449 451 30012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75416557 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=457] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/457/stat : 457 (java) S 449 451 30012 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75416559 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=458] ppid=449 vsize=867112 CPUtime=0.2
/proc/451/task/458/stat : 458 (java) R 449 451 30012 0 -1 64 511 0 0 0 20 0 0 0 16 0 9 0 75416559 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 101485573 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=459] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/459/stat : 459 (java) S 449 451 30012 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75416559 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=451/tid=460] ppid=449 vsize=867112 CPUtime=0
/proc/451/task/460/stat : 460 (java) S 449 451 30012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75416559 887922688 9245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.32
Current children cumulated vsize (KiB) 867112
[startup+17.6063 s]
/proc/loadavg: 2.02 2.09 2.04 4/90 460
/proc/meminfo: memFree=1791624/2055920 swapFree=4181276/4192956
[pid=451] ppid=449 vsize=0 CPUtime=17.37
/proc/451/stat : 451 (java) Z 449 451 30012 0 -1 12 10624 0 1 0 1691 46 0 0 16 0 2 0 75416554 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/451/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.37
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 17.6087
CPU time (s): 17.3794
CPU user time (s): 16.9144
CPU system time (s): 0.464929
CPU usage (%): 98.6977
Max. virtual memory (cumulated for all children) (KiB): 867116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9144
system time used= 0.464929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10624
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= 1395
involuntary context switches= 2356
runsolver used 0.025996 second user time and 0.071989 second system time
The end