0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397766-1568583500.xml
0.00/0.00 c intension or(and(eq(dist(div(x[0],7),div(x[1],7)),1),eq(dist(mod(x[0],7),mod(x[1],7)),2)),and(eq(dist(div(x[0],7),div(x[1],7)),2),eq(dist(mod(x[0],7),mod(x[1],7)),1))) -> extension (support ? 1) - 240tuples
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension -> extension : same as previous
0.10/0.12 c intension eq(not(and(ne(q,x[1]),or(eq(div(q,7),div(x[1],7)),eq(mod(q,7),mod(x[1],7)),eq(dist(div(q,7),div(x[1],7)),dist(mod(q,7),mod(x[1],7)))))),b[0]) -> extension (support ? 1) - 2401tuples
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c intension -> extension : same as previous
3.39/3.47 c enable optimization
3.39/3.47 c ========================================[ Problem Statistics ]===========================================
3.39/3.47 c |
3.39/3.47 c | Parse time : 0.15 s
3.39/3.47 c |
3.39/3.47 c | Variables: 65
3.39/3.47 c | Domain Sizes: 2..49
3.39/3.47 c |
3.39/3.47 c | Constraints: 65
3.39/3.47 c | Arity: 2..49 -- Binary: 48 -- Ternary: 15
3.39/3.47 c |
3.39/3.47 c | Types:
3.39/3.47 c | All Different: 1
3.39/3.47 c | Extension: 63 (nb tuples: 240..2401) -- (shared: 61)
3.39/3.47 c | Sum: 1
3.39/3.47 c |
3.39/3.47 c | Objective: Minimize Sum
3.39/3.47
3.39/3.47 c =========================================================================================================
3.39/3.47 o 3
3.39/3.47 c 1 calls to solver(id=0): best=3 lower=0 upper=2
51.10/51.18 o 2
1541.05/1540.90 o 1
1541.05/1540.90 c 3 calls to solver(id=0): best=1 lower=0 upper=0
2400.04/2399.80
2400.04/2399.80 c *** INTERRUPTED ***
2400.04/2399.80 c call to solver : 3
2400.04/2399.80 c
2400.04/2399.80 c restarts : 294
2400.04/2399.80 c conflicts : 18358243 (7649 /sec)
2400.04/2399.80 c decisions : 50453526 (21022 /sec)
2400.04/2399.80 c propagations : 1915257124 (798012 /sec)
2400.04/2399.80 c root propagations : 2403434
2400.04/2399.80 c filter calls : 676882460 (282030 /sec)
2400.04/2399.80 c useless filter calls : 387982738 (57 %)
2400.04/2399.80 c Memory used : 30.93 MB
2400.04/2399.80 c Best bound time (wc) : 1540.9 s
2400.04/2399.80 c CPU time : 2400.04 s
2400.04/2399.80 c real time : 2399.8 s
2400.04/2399.80
2400.04/2399.80 c nb Solutions = 3
2400.04/2399.80 s SATISFIABLE
2400.04/2399.80 c Best value found: 1
2400.04/2399.80
2400.04/2399.80
2400.04/2399.80 v <instantiation type='solution' cost='1'>
2400.04/2399.80 v <list>b[0] b[10] b[11] b[12] b[13] b[14] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] q x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2400.04/2399.80 v <values>0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 16 6 34 39 48 33 46 31 44 35 30 21 19 36 45 40 27 32 41 26 17 4 13 24 18 5 20 11 16 1 10 25 12 3 9 8 23 14 29 42 37 22 7 2 0 15 28 43 38 47 </values>
2400.04/2399.80 v </instantiation>
2400.04/2399.80
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15216 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397766-1568583500/watcher-4397766-1568583500 -o /tmp/evaluation-result-4397766-1568583500/solver-4397766-1568583500 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2566 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397766-1568583500.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5339, runsolver pid=5336
[startup+0.100198 s]*
/proc/loadavg: 2.11 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31384256/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=30208 memory=6592 CPUtime=0.1 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 1811 0 0 0 10 0 0 0 20 0 1 0 434601459 30932992 1648 33554432000 4194304 6211092 140734351820816 140734351817352 140131870915557 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7552 1648 831 493 0 857 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 6592 KiB
[startup+0.209638 s]*
/proc/loadavg: 2.11 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31382084/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8072 CPUtime=0.21 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 2247 0 0 0 21 0 0 0 20 0 1 0 434601459 32428032 2018 33554432000 4194304 6211092 140734351820816 140734351819080 5081767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2018 842 493 0 1222 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8072 KiB
[startup+0.309109 s]*
/proc/loadavg: 2.11 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31382084/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8072 CPUtime=0.31 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 2247 0 0 0 31 0 0 0 20 0 1 0 434601459 32428032 2018 33554432000 4194304 6211092 140734351820816 140734351819080 5075594 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2018 842 493 0 1222 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8072 KiB
[startup+0.700338 s]
/proc/loadavg: 2.11 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31382084/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8072 CPUtime=0.69 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 2247 0 0 0 69 0 0 0 20 0 1 0 434601459 32428032 2018 33554432000 4194304 6211092 140734351820816 140734351819080 5039014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2018 842 493 0 1222 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8072 KiB
[startup+1.50034 s]
/proc/loadavg: 2.11 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31381832/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8072 CPUtime=1.49 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 2247 0 0 0 149 0 0 0 20 0 1 0 434601459 32428032 2018 33554432000 4194304 6211092 140734351820816 140734351819080 5082336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2018 842 493 0 1222 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8072 KiB
[startup+3.10916 s]
/proc/loadavg: 2.11 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31381832/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8336 CPUtime=3.1 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 2648 0 0 0 310 0 0 0 20 0 1 0 434601459 32428032 2084 33554432000 4194304 6211092 140734351820816 140734351819080 5082487 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2084 882 493 0 1222 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8336 KiB
[startup+6.30034 s]
/proc/loadavg: 2.10 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31381984/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=6.29 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 2925 0 0 0 629 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5081280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31381984/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=12.69 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 3186 0 0 0 1269 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+25.5004 s]
/proc/loadavg: 2.07 2.10 2.08 3/199 5340
/proc/meminfo: memFree=31381988/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=25.49 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 3704 0 0 0 2549 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5079344 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+51.1091 s]
/proc/loadavg: 2.05 2.09 2.07 3/199 5343
/proc/meminfo: memFree=31381440/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=51.1 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 3973 0 0 0 5110 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5037823 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 5347
/proc/meminfo: memFree=31380784/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=102.3 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 4245 0 0 0 10230 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5039149 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 5359
/proc/meminfo: memFree=31380188/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=162.31 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 4506 0 0 0 16231 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5081280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 5365
/proc/meminfo: memFree=31380204/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=222.31 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 4762 0 0 0 22231 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5079039 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 5369
/proc/meminfo: memFree=31380504/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=282.32 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 4770 0 0 0 28232 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5074883 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 5373
/proc/meminfo: memFree=31380264/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=342.32 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 5030 0 0 0 34232 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 5379
/proc/meminfo: memFree=31380228/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=402.33 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 5030 0 0 0 40233 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5075690 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 5383
/proc/meminfo: memFree=31380604/32770624 swapFree=66998576/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=462.34 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 5286 0 0 0 46234 0 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351818952 5079076 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
################
# More data... #
################
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1602.46 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5599
/proc/meminfo: memFree=31382796/32770624 swapFree=66998596/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=1662.46 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 7826 0 0 0 166245 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5075560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1662.46 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5603
/proc/meminfo: memFree=31382960/32770624 swapFree=66998596/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=1722.47 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 7865 0 0 0 172246 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5017664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1722.47 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5607
/proc/meminfo: memFree=31383236/32770624 swapFree=66998596/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=1782.48 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8049 0 0 0 178247 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5081360 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1782.48 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5614
/proc/meminfo: memFree=31382612/32770624 swapFree=66998600/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=1842.48 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8112 0 0 0 184247 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5081744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1842.48 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5679
/proc/meminfo: memFree=31383028/32770624 swapFree=66998600/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=1902.49 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8298 0 0 0 190248 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5081349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1902.49 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5691
/proc/meminfo: memFree=31382100/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=1962.5 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8359 0 0 0 196249 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5075616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 1962.5 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/200 5697
/proc/meminfo: memFree=31382432/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2022.5 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8590 0 0 0 202249 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5074413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2022.5 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 5701
/proc/meminfo: memFree=31382468/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2082.51 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8590 0 0 0 208250 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5078953 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2082.51 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 5705
/proc/meminfo: memFree=31382624/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2142.51 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8837 0 0 0 214250 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5081345 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2142.51 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5711
/proc/meminfo: memFree=31382244/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2202.52 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 8837 0 0 0 220251 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5082759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2202.52 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5715
/proc/meminfo: memFree=31382232/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2262.53 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 9015 0 0 0 226252 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5017491 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2262.53 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5719
/proc/meminfo: memFree=31382456/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2322.53 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 9015 0 0 0 232252 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5082411 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2322.53 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5725
/proc/meminfo: memFree=31382240/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2382.54 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 9281 0 0 0 238253 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5079440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2382.54 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5725
/proc/meminfo: memFree=31382452/32770624 swapFree=66998608/67108860
[pid=5339] ppid=5336 vsize=31668 memory=8340 CPUtime=2400.04 cores=0,2,4,6
/proc/5339/stat : 5339 (cosoco) R 5336 5339 2535 0 -1 4202496 9282 0 0 0 240003 1 0 0 20 0 1 0 434601459 32428032 2085 33554432000 4194304 6211092 140734351820816 140734351808696 5079253 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21082112 140734351827979 140734351828081 140734351828081 140734351830990 0
/proc/5339/statm: 7917 2085 882 493 0 1222 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 31668 KiB
Current children cumulated memory: 8340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.8 s]
# the end of solver process 5339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.016001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.016001
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 31668
Max. memory (cumulated for all children) (KiB): 8340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.016001
maximum resident set size= 8404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 610
# summary of solver processes directly reported to runsolver:
# pid: 5339
# total CPU time (s): 2400.05
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.016001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83195 second user time and 16.407 second system time
The end