0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.03 c
0.00/0.03 c This is cosoco 2.00 --
0.00/0.03 c
0.00/0.03 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390269-1568356260.xml
0.00/0.03 c intension imp(eq(l[2][1],0),eq(i[2][1],6)) -> extension (support ? 0) - 6tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension imp(eq(l[4][1],0),eq(i[4][1],5)) -> extension (support ? 0) - 5tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension imp(eq(l[6][1],0),eq(i[6][1],4)) -> extension (support ? 0) - 4tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension imp(eq(l[8][1],0),eq(i[8][1],3)) -> extension (support ? 0) - 3tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[10][1],0),eq(i[10][1],2)) -> extension (support ? 0) - 2tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[12][1],0),eq(i[12][1],1)) -> extension (support ? 0) - 1tuples
0.00/0.04 c intension imp(le(1,l[2][1]),lt(i[2][0],i[2][1])) -> extension (support ? 1) - 910tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(le(1,l[4][1]),lt(i[4][0],i[4][1])) -> extension (support ? 1) - 651tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(le(1,l[6][1]),lt(i[6][0],i[6][1])) -> extension (support ? 1) - 435tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(le(1,l[8][1]),lt(i[8][0],i[8][1])) -> extension (support ? 1) - 262tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(le(1,l[10][1]),lt(i[10][0],i[10][1])) -> extension (support ? 1) - 132tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(le(1,l[12][1]),lt(i[12][0],i[12][1])) -> extension (support ? 1) - 45tuples
0.00/0.05 c intension imp(eq(l[2][0],0),eq(l[2][1],0)) -> extension (support ? 0) - 41tuples
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 48tuples
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension xor(le(2,a[13][0]),eq(l[12][1],0)) -> extension (support ? 0) - 88tuples
0.10/0.13 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 864tuples
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension xor(le(2,a[11][1]),le(3,a[11][0]),eq(l[10][2],0)) -> extension (support ? 1) - 1184tuples
0.10/0.16 c intension xor(le(1,a[1][2]),le(2,a[1][1]),le(3,a[1][0]),eq(l[0][2],0)) -> extension (support ? 0) - 9792tuples
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension xor(le(2,a[9][2]),le(3,a[9][1]),le(4,a[9][0]),eq(l[8][3],0)) -> extension (support ? 1) - 10752tuples
0.10/0.21 c intension iff(eq(a[1][0],0),eq(l[1][0],0)) -> extension (support ? 0) - 48tuples
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c intension -> extension : same as previous
0.20/0.31 c enable optimization
0.20/0.31 c ========================================[ Problem Statistics ]===========================================
0.20/0.31 c |
0.20/0.31 c | Parse time : 0.22 s
0.20/0.31 c |
0.20/0.31 c | Variables: 404
0.20/0.31 c | Domain Sizes: 1..42
0.20/0.31 c |
0.20/0.31 c | Constraints: 287
0.20/0.31 c | Arity: 1..98 -- Unary: 88 -- Binary: 90 -- Ternary: 30
0.20/0.31 c |
0.20/0.31 c | Types:
0.20/0.31 c | (X = Y): 12
0.20/0.31 c | Exactly K variable: 12
0.20/0.31 c | Extension: 161 (nb tuples: 1..10752) -- (shared: 128)
0.20/0.31 c | Intension: 13
0.20/0.31 c | Sum: 1
0.20/0.31 c | Unary: 88
0.20/0.31 c |
0.20/0.31 c | Objective: Minimize Sum
0.20/0.31
0.20/0.31 c =========================================================================================================
0.20/0.31 o 144
0.20/0.31 c 1 calls to solver(id=0): best=144 lower=0 upper=143
0.30/0.33 o 132
0.30/0.34 o 128
0.30/0.34 c 3 calls to solver(id=0): best=128 lower=0 upper=127
0.30/0.34 o 124
0.50/0.54 o 120
0.50/0.54 c 5 calls to solver(id=0): best=120 lower=0 upper=119
9.48/9.57 o 116
10.99/11.08 o 112
10.99/11.08 c 7 calls to solver(id=0): best=112 lower=0 upper=111
39.58/39.63 o 108
39.99/40.09 o 104
39.99/40.09 c 9 calls to solver(id=0): best=104 lower=0 upper=103
40.49/40.50 o 100
127.57/127.67 o 96
127.57/127.67 c 11 calls to solver(id=0): best=96 lower=0 upper=95
1327.68/1327.96 s OPTIMUM FOUND
1327.68/1327.96 c call to solver : 12
1327.68/1327.96 c
1327.68/1327.96 c restarts : 367
1327.68/1327.96 c conflicts : 2959030 (2229 /sec)
1327.68/1327.96 c decisions : 25713309 (19366 /sec)
1327.68/1327.96 c propagations : 384516171 (289606 /sec)
1327.68/1327.96 c root propagations : 1674
1327.68/1327.96 c filter calls : 630154288 (474613 /sec)
1327.68/1327.96 c useless filter calls : 515691231 (81 %)
1327.68/1327.96 c Memory used : 32.61 MB
1327.68/1327.96 c Best bound time (wc) : 127.668 s
1327.68/1327.96 c CPU time : 1327.72 s
1327.68/1327.96 c real time : 1327.96 s
1327.68/1327.96
1327.68/1327.96
1327.68/1327.96 v <instantiation type='solution' cost='96'>
1327.68/1327.96 v <list>a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] cnt[0] cnt[10] cnt[11] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] i[0][0] i[0][1] i[0][2] i[0][3] i[0][4] i[0][5] i[0][6] i[10][0] i[10][1] i[10][2] i[10][3] i[10][4] i[10][5] i[10][6] i[11][0] i[11][1] i[11][2] i[11][3] i[11][4] i[11][5] i[11][6] i[12][0] i[12][1] i[12][2] i[12][3] i[12][4] i[12][5] i[12][6] i[13][0] i[13][1] i[13][2] i[13][3] i[13][4] i[13][5] i[13][6] i[1][0] i[1][1] i[1][2] i[1][3] i[1][4] i[1][5] i[1][6] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[3][0] i[3][1] i[3][2] i[3][3] i[3][4] i[3][5] i[3][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[5][0] i[5][1] i[5][2] i[5][3] i[5][4] i[5][5] i[5][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[6][6] i[7][0] i[7][1] i[7][2] i[7][3] i[7][4] i[7][5] i[7][6] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[8][5] i[8][6] i[9][0] i[9][1] i[9][2] i[9][3] i[9][4] i[9][5] i[9][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[10][0] l[10][1] l[10][2] l[10][3] l[10][4] l[10][5] l[10][6] l[11][0] l[11][1] l[11][2] l[11][3] l[11][4] l[11][5] l[11][6] l[12][0] l[12][1] l[12][2] l[12][3] l[12][4] l[12][5] l[12][6] l[13][0] l[13][1] l[13][2] l[13][3] l[13][4] l[13][5] l[13][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[5][6] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[6][6] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[7][5] l[7][6] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[8][5] l[8][6] l[9][0] l[9][1] l[9][2] l[9][3] l[9][4] l[9][5] l[9][6] </list>
1327.68/1327.96 v <values>* * * * * * * * * * * * * * 3 0 * * * * * * * * * * * * 1 * * * * * * 1 2 0 1 1 1 1 * * * * * * * 1 1 1 2 0 1 * * * * * * * * 1 1 1 1 1 * * * * * * * * * 1 1 3 0 * * * * * * * * * * 1 1 1 * * * * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 4 16 4 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 * * * * * * * 0 1 2 * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 6 * * * * * * * 0 1 2 3 5 5 * * * * * * * * 0 1 2 3 4 * * * * * * * * * 0 1 2 3 * * * * * * * * * * 9 10 12 13 4 16 8 4 4 3 * * * * 6 0 * * * * * 6 0 * * * * * 6 * * * * * * 9 7 0 13 5 4 3 9 7 13 5 4 3 0 7 7 13 8 0 3 * 7 7 13 8 3 0 * 7 7 13 3 3 * * 7 7 13 3 3 * * 7 7 2 0 * * * 7 7 2 0 * * * 4 4 3 * * * * </values>
1327.68/1327.96 v </instantiation>
1327.68/1327.96
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 (14443 MiB free)
memory of node 1: 16384 MiB (4201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390269-1568356260/watcher-4390269-1568356260 -o /tmp/evaluation-result-4390269-1568356260/solver-4390269-1568356260 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5299 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390269-1568356260.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
solver pid=10447, runsolver pid=10444
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.01 2.04 2.05 3/204 10448
/proc/meminfo: memFree=19088976/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=29748 memory=6116 CPUtime=0.1 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 1728 0 0 0 10 0 0 0 20 0 1 0 411876558 30461952 1529 33554432000 4194304 6210612 140722256968800 140722256965336 139631609480320 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 7437 1529 862 493 0 742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29748 KiB
Current children cumulated memory: 6116 KiB
[startup+0.209907 s]*
/proc/loadavg: 2.01 2.04 2.05 3/204 10448
/proc/meminfo: memFree=19085900/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=31740 memory=8104 CPUtime=0.2 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 2602 0 0 0 20 0 0 0 20 0 1 0 411876558 32501760 2026 33554432000 4194304 6210612 140722256968800 140722256966072 139631603363156 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 7935 2026 863 493 0 1240 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31740 KiB
Current children cumulated memory: 8104 KiB
[startup+0.309682 s]*
/proc/loadavg: 2.01 2.04 2.05 3/204 10448
/proc/meminfo: memFree=19083780/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33252 memory=9948 CPUtime=0.3 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 3017 0 0 0 30 0 0 0 20 0 1 0 411876558 34050048 2487 33554432000 4194304 6210612 140722256968800 140722256966072 139631593417701 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8313 2487 908 493 0 1618 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33252 KiB
Current children cumulated memory: 9948 KiB
[startup+0.700343 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 10448
/proc/meminfo: memFree=19081920/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=9948 CPUtime=0.69 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 3048 0 0 0 69 0 0 0 20 0 1 0 411876558 34185216 2487 33554432000 4194304 6210612 140722256968800 140722256966072 5442848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2487 908 493 0 1651 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 9948 KiB
[startup+1.50034 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 10448
/proc/meminfo: memFree=19077084/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=9948 CPUtime=1.49 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 3048 0 0 0 149 0 0 0 20 0 1 0 411876558 34185216 2487 33554432000 4194304 6210612 140722256968800 140722256956680 5033304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2487 908 493 0 1651 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 9948 KiB
[startup+3.10956 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 10449
/proc/meminfo: memFree=19056636/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10088 CPUtime=3.09 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 4179 0 0 0 309 0 0 0 20 0 1 0 411876558 34185216 2522 33554432000 4194304 6210612 140722256968800 140722256956680 5452047 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2522 908 493 0 1651 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10088 KiB
[startup+6.30022 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 10449
/proc/meminfo: memFree=19024704/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10088 CPUtime=6.28 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 5289 0 0 0 628 0 0 0 20 0 1 0 411876558 34185216 2522 33554432000 4194304 6210612 140722256968800 140722256956680 5445998 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2522 908 493 0 1651 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10088 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 10449
/proc/meminfo: memFree=18962368/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10088 CPUtime=12.68 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 6556 0 0 0 1268 0 0 0 20 0 1 0 411876558 34185216 2522 33554432000 4194304 6210612 140722256968800 140722256956680 5442951 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2522 908 493 0 1651 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10088 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 10451
/proc/meminfo: memFree=18827920/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10096 CPUtime=25.48 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 8840 0 0 0 2548 0 0 0 20 0 1 0 411876558 34185216 2524 33554432000 4194304 6210612 140722256968800 140722256956680 139631594343839 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2524 908 493 0 1651 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10096 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 10451
/proc/meminfo: memFree=18559628/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=51.09 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 10234 0 0 0 5108 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256966936 5397103 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 10456
/proc/meminfo: memFree=18032852/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=102.27 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 11378 0 0 0 10226 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256966936 5446767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 10462
/proc/meminfo: memFree=17411524/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=162.26 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 12646 0 0 0 16225 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256956680 5451335 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 10466
/proc/meminfo: memFree=16791800/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=222.25 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 13787 0 0 0 22224 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256956680 5442951 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 10471
/proc/meminfo: memFree=16172444/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=282.24 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 14932 0 0 0 28223 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256956680 139631603362624 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 10477
/proc/meminfo: memFree=15551652/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=342.23 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 16074 0 0 0 34222 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256956680 5009255 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 10481
/proc/meminfo: memFree=14931972/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10100 CPUtime=402.22 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 17212 0 0 0 40221 1 0 0 20 0 1 0 411876558 34185216 2525 33554432000 4194304 6210612 140722256968800 140722256956680 5008946 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2525 908 493 0 1651 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10100 KiB
[startup+462.3 s]
/proc/loadavg: 2.80 2.21 2.11 3/203 10550
/proc/meminfo: memFree=29962912/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=462.21 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 18352 0 0 0 46220 1 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5451993 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
################
# More data... #
################
Current children cumulated memory: 10116 KiB
[startup+942.3 s]
/proc/loadavg: 2.02 2.11 2.12 3/202 10598
/proc/meminfo: memFree=29196828/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=942.14 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 21578 0 0 0 94212 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5157194 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 942.14 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.09 2.11 3/203 10603
/proc/meminfo: memFree=29155156/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1002.13 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 21962 0 0 0 100211 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5164444 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1002.13 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/203 10609
/proc/meminfo: memFree=29145624/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1062.12 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 22365 0 0 0 106210 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 139631603362630 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1062.12 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1122.3 s]
/proc/loadavg: 2.04 2.07 2.10 3/203 10613
/proc/meminfo: memFree=29127900/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1122.11 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 22749 0 0 0 112209 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5451993 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1122.11 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1182.3 s]
/proc/loadavg: 2.02 2.06 2.10 3/205 10626
/proc/meminfo: memFree=29119740/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1182.1 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 23154 0 0 0 118208 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5456146 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1182.1 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.09 3/205 10632
/proc/meminfo: memFree=29116704/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1242.09 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 23563 0 0 0 124207 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5476653 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1242.09 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/204 10636
/proc/meminfo: memFree=29116816/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1302.08 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 23972 0 0 0 130206 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5192883 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1302.08 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1327.96 s]
# the end of solver process 10447 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1327.72 s, system=0.029995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10636
/proc/meminfo: memFree=29116784/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1305.38 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 23972 0 0 0 130536 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5038354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1305.38 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1318.4 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10636
/proc/meminfo: memFree=29116660/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1318.18 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24348 0 0 0 131816 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5034929 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1318.18 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1324.8 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10638
/proc/meminfo: memFree=29116096/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1324.58 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24370 0 0 0 132456 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5038679 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1324.58 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1326.4 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10639
/proc/meminfo: memFree=29116096/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1326.18 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24370 0 0 0 132616 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 139631603362698 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1326.18 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1327.2 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10639
/proc/meminfo: memFree=29116096/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1326.98 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24370 0 0 0 132696 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5409293 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1326.98 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1327.6 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10639
/proc/meminfo: memFree=29116096/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1327.38 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24370 0 0 0 132736 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5008501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1327.38 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1327.8 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10639
/proc/meminfo: memFree=29116096/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1327.58 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24370 0 0 0 132756 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5038886 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1327.58 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
[startup+1327.9 s]
/proc/loadavg: 2.00 2.04 2.08 3/204 10639
/proc/meminfo: memFree=29116096/32770624 swapFree=66916400/67108860
[pid=10447] ppid=10444 vsize=33384 memory=10116 CPUtime=1327.68 cores=0,2,4,6
/proc/10447/stat : 10447 (cosoco) R 10444 10447 5268 0 -1 4202496 24370 0 0 0 132766 2 0 0 20 0 1 0 411876558 34185216 2529 33554432000 4194304 6210612 140722256968800 140722256956680 5446100 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 9510912 140722256970763 140722256970865 140722256970865 140722256973774 0
/proc/10447/statm: 8346 2529 908 493 0 1651 0
Current children cumulated CPU time: 1327.68 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10116 KiB
Child status: 0
Real time (s): 1327.96
CPU time (s): 1327.75
CPU user time (s): 1327.72
CPU system time (s): 0.029995
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 33384
Max. memory (cumulated for all children) (KiB): 10116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1327.72
system time used= 0.029995
maximum resident set size= 10184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24421
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= 16
involuntary context switches= 1396
# summary of solver processes directly reported to runsolver:
# pid: 10447
# total CPU time (s): 1327.75
# total CPU user time (s): 1327.72
# total CPU system time (s): 0.029995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13538 second user time and 8.47809 second system time
The end