0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4409963-1569829854.xml
0.00/0.01 c enable optimization
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.00 s
0.00/0.01 c |
0.00/0.01 c | Variables: 94
0.00/0.01 c | Domain Sizes: 2..2
0.00/0.01 c |
0.00/0.01 c | Constraints: 9
0.00/0.01 c | Arity: 45..64
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | Sum: 9
0.00/0.01 c |
0.00/0.01 c | Objective: Minimize Sum
0.00/0.01
0.00/0.01 c =========================================================================================================
0.00/0.01 c Parallel mode: Portfolio
0.00/0.01 c [pFactory][Group N°0] created (threads:8).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.01 c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.01 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.01 c [pFactory][Group N°0] task 7 launched on thread 1.
0.00/0.01 c [pFactory][Group N°0] task 6 launched on thread 0.
0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 4.
0.00/0.01 c [pFactory][Group N°0] task 4 launched on thread 6.
0.00/0.01 c [pFactory][Group N°0] task 3 launched on thread 7.
0.00/0.01 o 497
0.00/0.02 c [pFactory][Group N°0] task 2 launched on thread 2.
0.00/0.02 c [pFactory][Group N°0] task 1 launched on thread 3.
0.00/0.02 c [pFactory][Group N°0] task 0 launched on thread 5.
0.00/0.02 o 493
0.00/0.02 o 457
0.00/0.02 o 340
0.00/0.05 o 339
0.00/0.06 o 264
0.00/0.07 o 202
0.00/0.08 o 200
0.00/0.09 o 197
0.78/0.11 o 187
0.78/0.13 o 163
0.78/0.14 o 154
0.78/0.15 o 139
2.43/0.33 o 115
2.43/0.41 o 114
3.22/0.46 o 98
4.75/0.64 o 96
5.47/0.77 o 92
5.47/0.79 o 76
6.27/0.81 o 72
6.27/0.83 o 68
6.27/0.85 o 56
6.27/0.86 o 50
6.27/0.88 o 48
7.07/0.90 o 46
7.07/0.92 o 45
7.07/0.94 o 43
7.07/0.97 o 41
7.93/1.02 o 37
7.93/1.04 o 35
7.93/1.08 o 29
7.93/1.10 o 27
8.73/1.13 o 26
8.73/1.16 o 25
8.73/1.17 o 18
9.46/1.24 o 16
9.46/1.26 o 14
9.46/1.30 o 11
11.06/1.46 o 9
11.86/1.53 o 7
18.25/2.39 o 5
26.24/3.37 o 3
27.84/3.53 o 2
2012.62/252.01
2012.62/252.01 c *** INTERRUPTED ***
2012.62/252.01 c call to solver : 17
2012.62/252.01 c
2012.62/252.01 c restarts : 144941
2012.62/252.01 c conflicts : 2106242 (1046 /sec)
2012.62/252.01 c decisions : 10016101 (4976 /sec)
2012.62/252.01 c propagations : 42041890 (20888 /sec)
2012.62/252.01 c root propagations : 137
2012.62/252.01 c filter calls : 111214664 (55257 /sec)
2012.62/252.01 c useless filter calls : 98065103 (88 %)
2012.62/252.01 c Memory used : 603.27 MB
2012.62/252.01 c Best bound time (wc) : 3.52583 s
2012.62/252.01 c CPU time : 2012.69 s
2012.62/252.01 c real time : 252.013 s
2012.62/252.01
2012.62/252.01 s SATISFIABLE
2012.62/252.01 c Best value found: 2
2012.62/252.01
2012.62/252.01
2012.62/252.01 v <instantiation type='solution' cost='2'>
2012.62/252.01 v <list>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[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[9] </list>
2012.62/252.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 </values>
2012.62/252.01 v </instantiation>
2012.62/252.01
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 (15442 MiB free)
memory of node 1: 16384 MiB (15665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409963-1569829854/watcher-4409963-1569829854 -o /tmp/evaluation-result-4409963-1569829854/solver-4409963-1569829854 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409963-1569829854.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17675, runsolver pid=17672
Current StackSize limit: 8192 KiB
[startup+0.100708 s]*
/proc/loadavg: 8.45 8.15 6.97 9/198 17684
/proc/meminfo: memFree=31853884/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=4480 CPUtime=0.78 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 1420 0 0 0 78 0 0 0 20 0 9 0 559257694 632569856 1120 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1120 872 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=-7318199385788085695 CPUtime=0.09 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433379303008 5158052 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=732369816189803493 CPUtime=0.09 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433370909968 5156272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=139677852350080 CPUtime=0.09 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433362517264 5158127 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=0 CPUtime=0.09 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433354124472 5156929 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=0 CPUtime=0.09 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433345731768 5156264 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=0 CPUtime=0.09 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433337339064 5186301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=-1 CPUtime=0.09 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433328946360 5155369 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=0 CPUtime=0.09 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 9 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433320554080 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 4480 KiB
[startup+0.210706 s]*
/proc/loadavg: 8.45 8.15 6.97 10/198 17684
/proc/meminfo: memFree=31853620/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=4480 CPUtime=1.65 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 1424 0 0 0 165 0 0 0 20 0 9 0 559257694 632569856 1120 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1120 872 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=279355410350320 CPUtime=0.2 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433379303008 5158127 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=279355557525240 CPUtime=0.2 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 22 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433370909968 5157579 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=139677852350080 CPUtime=0.2 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433362517264 5250491 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=0 CPUtime=0.2 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433354124472 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=0 CPUtime=0.19 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433345731768 5156943 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=0 CPUtime=0.2 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433337339064 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=-1 CPUtime=0.2 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433328946360 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=0 CPUtime=0.2 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433320553744 5250482 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 4480 KiB
[startup+0.309697 s]*
/proc/loadavg: 8.45 8.15 6.97 9/198 17684
/proc/meminfo: memFree=31853620/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=4480 CPUtime=2.43 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 1424 0 0 0 243 0 0 0 20 0 9 0 559257694 632569856 1120 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1120 872 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=0 CPUtime=0.3 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433379303008 5156014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=3472467956900161200 CPUtime=0.3 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 22 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433370909968 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=139677852350080 CPUtime=0.3 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433362517264 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=0 CPUtime=0.3 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433354124472 5186344 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=0 CPUtime=0.28 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 13 0 0 0 28 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433345731768 5157819 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=0 CPUtime=0.3 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433337339064 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=0 CPUtime=0.3 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433328946360 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=0 CPUtime=0.3 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 30 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433320553744 5155377 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 4480 KiB
[startup+0.700698 s]
/proc/loadavg: 8.45 8.15 6.97 9/198 17684
/proc/meminfo: memFree=31853620/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=4480 CPUtime=5.47 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 1428 0 0 0 547 0 0 0 20 0 9 0 559257694 632569856 1120 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1120 872 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=139682147317375 CPUtime=0.69 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 69 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433379303008 5157988 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=10580 CPUtime=0.68 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 22 0 0 0 68 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433370909968 5157780 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=988 CPUtime=0.68 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 68 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433362517264 5156272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=0 CPUtime=0.68 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 68 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433354124560 5155861 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=0 CPUtime=0.64 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 64 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433345731768 5250330 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=0 CPUtime=0.68 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 17 0 0 0 68 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433337339064 5250491 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=0 CPUtime=0.69 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 14 0 0 0 69 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433328946360 5193786 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=2832 CPUtime=0.69 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 16 0 0 0 69 0 0 0 20 0 9 0 559257695 632569856 1120 33554432000 4194304 6211132 140735362986192 140433320553744 5155385 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 4480 KiB
[startup+1.5007 s]
/proc/loadavg: 8.45 8.15 6.97 9/198 17684
/proc/meminfo: memFree=31854300/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=4748 CPUtime=11.86 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 1789 0 0 0 1186 0 0 0 20 0 9 0 559257694 632569856 1187 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1187 883 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=988 CPUtime=1.49 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 53 0 0 0 149 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433379302672 5155841 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=4480 CPUtime=1.48 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 84 0 0 0 148 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433370909968 5156385 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=279355410600160 CPUtime=1.48 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 70 0 0 0 148 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433362517264 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=1060 CPUtime=1.48 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 70 0 0 0 148 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433354124560 5250273 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=1212 CPUtime=1.43 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 41 0 0 0 143 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433345731768 5156256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=5932 CPUtime=1.48 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 74 0 0 0 148 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433337339064 5157780 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=780 CPUtime=1.49 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 47 0 0 0 149 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433328946360 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=14008 CPUtime=1.49 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 47 0 0 0 149 0 0 0 20 0 9 0 559257695 632569856 1187 33554432000 4194304 6211132 140735362986192 140433320553744 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 11.86 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 4748 KiB
[startup+3.10971 s]
/proc/loadavg: 8.41 8.14 6.98 9/198 17684
/proc/meminfo: memFree=31854176/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=4940 CPUtime=24.71 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 2115 0 0 0 2471 0 0 0 20 0 9 0 559257694 632569856 1235 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1235 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=0 CPUtime=3.09 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 97 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433379302672 5250497 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=0 CPUtime=3.09 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 127 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433370909712 5158217 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=0 CPUtime=3.09 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 110 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433362517264 5156288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=6944656592455360604 CPUtime=3.09 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 114 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433354124304 5155687 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=0 CPUtime=3.01 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 81 0 0 0 301 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433345731768 5155373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=-2247047206154700624 CPUtime=3.09 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 125 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433337339064 5193786 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=6655300316396806240 CPUtime=3.09 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 64 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433328946448 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=3592 CPUtime=3.09 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 94 0 0 0 309 0 0 0 20 0 9 0 559257695 632569856 1235 33554432000 4194304 6211132 140735362986192 140433320553488 5158226 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 4940 KiB
[startup+6.30071 s]
/proc/loadavg: 8.41 8.14 6.98 9/198 17684
/proc/meminfo: memFree=31854508/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=5012 CPUtime=50.2 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 2473 0 0 0 5020 0 0 0 20 0 9 0 559257694 632569856 1253 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1253 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=139682147317375 CPUtime=6.29 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 138 0 0 0 629 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433379302672 5158226 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=5012 CPUtime=6.28 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 184 0 0 0 628 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433370909712 5250266 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=2832 CPUtime=6.28 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 161 0 0 0 628 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5156272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=772 CPUtime=6.28 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 164 0 0 0 628 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5155377 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
################
# More data... #
################
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 336 0 0 0 2548 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=164 CPUtime=25.48 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 349 0 0 0 2548 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5250325 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=5012 CPUtime=25.13 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 248 0 0 0 2513 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433345731768 5389851 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=3592 CPUtime=25.48 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 383 0 0 0 2548 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433337339064 5157601 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=5012 CPUtime=25.48 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 272 0 0 0 2548 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433328946448 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=5012 CPUtime=25.48 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 280 0 0 0 2548 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433320553744 5250482 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 203.54 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 5012 KiB
[startup+51.1097 s]
/proc/loadavg: 8.19 8.12 7.03 9/198 17687
/proc/meminfo: memFree=31853600/32770624 swapFree=66905164/67108860
[pid=17675] ppid=17672 vsize=617744 memory=5012 CPUtime=408.07 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 4552 0 0 0 40807 0 0 0 20 0 9 0 559257694 632569856 1253 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1253 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=10576 CPUtime=51.08 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 394 0 0 0 5108 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433379302672 5250497 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=5012 CPUtime=51.09 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 470 0 0 0 5109 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433370909712 5250482 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=5012 CPUtime=51.09 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 417 0 0 0 5109 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=0 CPUtime=51.09 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 424 0 0 0 5109 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=56 CPUtime=50.42 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 335 0 0 0 5042 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433345731768 5156264 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=164 CPUtime=51.08 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 481 0 0 0 5108 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433337339064 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=5012 CPUtime=51.09 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 361 0 0 0 5109 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433328946448 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=908 CPUtime=51.09 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 367 0 0 0 5109 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433320553744 5250491 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 408.07 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 5012 KiB
[startup+102.301 s]
/proc/loadavg: 8.08 8.10 7.08 9/197 17690
/proc/meminfo: memFree=31853956/32770624 swapFree=66905168/67108860
[pid=17675] ppid=17672 vsize=617744 memory=5012 CPUtime=816.93 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 5203 0 0 0 81693 0 0 0 20 0 9 0 559257694 632569856 1253 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1253 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=139682147317375 CPUtime=102.27 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 479 0 0 0 10227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433379302672 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=2016 CPUtime=102.27 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 557 0 0 0 10227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433370909712 5155992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=1348 CPUtime=102.27 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 493 0 0 0 10227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5157594 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=279354336871857 CPUtime=102.28 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 521 0 0 0 10228 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5157506 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=7232890293113415765 CPUtime=100.97 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 385 0 0 0 10097 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433345731768 5157453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=10580 CPUtime=102.27 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 570 0 0 0 10227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433337339064 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=988 CPUtime=102.27 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 444 0 0 0 10227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433328946448 5155739 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=4000 CPUtime=102.27 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 451 0 0 0 10227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433320553744 5155373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 816.93 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 5012 KiB
[startup+162.301 s]
/proc/loadavg: 8.03 8.08 7.14 9/197 17695
/proc/meminfo: memFree=31854240/32770624 swapFree=66905168/67108860
[pid=17675] ppid=17672 vsize=617744 memory=5012 CPUtime=1296.12 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 5529 0 0 0 129612 0 0 0 20 0 9 0 559257694 632569856 1253 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1253 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=5012 CPUtime=162.26 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 527 0 0 0 16226 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433379302672 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=5012 CPUtime=162.27 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 600 0 0 0 16227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433370909712 5250266 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=5012 CPUtime=162.27 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 536 0 0 0 16227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5156968 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=5012 CPUtime=162.27 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 567 0 0 0 16227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5250482 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=5012 CPUtime=160.24 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 423 0 0 0 16024 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433345731768 5250499 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=5012 CPUtime=162.26 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 597 0 0 0 16226 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433337339064 5155700 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=3592 CPUtime=162.24 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 486 0 0 0 16224 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433328946448 5156288 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=5012 CPUtime=162.27 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 490 0 0 0 16227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433320553744 5157629 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 1296.12 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 5012 KiB
[startup+222.301 s]
/proc/loadavg: 8.01 8.07 7.19 9/197 17698
/proc/meminfo: memFree=31854032/32770624 swapFree=66905168/67108860
[pid=17675] ppid=17672 vsize=617744 memory=5012 CPUtime=1775.34 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 5870 0 0 0 177534 0 0 0 20 0 9 0 559257694 632569856 1253 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1253 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=5012 CPUtime=222.25 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 568 0 0 0 22225 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433379302672 5156272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=3592 CPUtime=222.27 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 648 0 0 0 22227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433370909712 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=5012 CPUtime=222.27 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 578 0 0 0 22227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=5012 CPUtime=222.26 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 613 0 0 0 22226 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5155839 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=5012 CPUtime=219.52 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 468 0 0 0 21952 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433345731768 5157589 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=5012 CPUtime=222.24 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 631 0 0 0 22224 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433337339064 5157579 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=5012 CPUtime=222.23 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 525 0 0 0 22223 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433328946448 5155385 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=3592 CPUtime=222.27 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 536 0 0 0 22227 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433320553744 5250266 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 1775.34 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 5012 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.01 8.06 7.22 9/197 17701
/proc/meminfo: memFree=31854068/32770624 swapFree=66905168/67108860
[pid=17675] ppid=17672 vsize=617744 memory=5012 CPUtime=2012.62 cores=0-7
/proc/17675/stat : 17675 (cosoco) S 17672 17675 14059 0 -1 1077944320 6208 0 0 0 201261 1 0 0 20 0 9 0 559257694 632569856 1253 33554432000 4194304 6211132 140735362986192 140735362984448 140433402445559 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
/proc/17675/statm: 154436 1253 885 493 0 147741 0
[pid=17675/tid=17677] ppid=17672 vsize=617744 memory=6935054825532540783 CPUtime=251.95 cores=0-7
/proc/17675/task/17677/stat : 17677 (cosoco) R 17672 17675 14059 0 -1 4202560 610 0 0 0 25195 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433379302672 5157576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17678] ppid=17672 vsize=617744 memory=-7003737579269690708 CPUtime=251.98 cores=0-7
/proc/17675/task/17678/stat : 17678 (cosoco) R 17672 17675 14059 0 -1 4202560 693 0 0 0 25198 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433370909712 5156224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17679] ppid=17672 vsize=617744 memory=5012 CPUtime=251.97 cores=0-7
/proc/17675/task/17679/stat : 17679 (cosoco) R 17672 17675 14059 0 -1 4202560 619 0 0 0 25197 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433362517264 5155373 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17680] ppid=17672 vsize=617744 memory=6935054825532540783 CPUtime=251.97 cores=0-7
/proc/17675/task/17680/stat : 17680 (cosoco) R 17672 17675 14059 0 -1 4202560 653 0 0 0 25197 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433354124304 5155861 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17681] ppid=17672 vsize=617744 memory=-7003737579269690708 CPUtime=248.85 cores=0-7
/proc/17675/task/17681/stat : 17681 (cosoco) R 17672 17675 14059 0 -1 4202560 519 0 0 0 24885 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433345731768 5155390 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17682] ppid=17672 vsize=617744 memory=4104 CPUtime=251.95 cores=0-7
/proc/17675/task/17682/stat : 17682 (cosoco) R 17672 17675 14059 0 -1 4202560 668 0 0 0 25195 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433337339064 5156211 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17683] ppid=17672 vsize=617744 memory=6935054825532540783 CPUtime=251.94 cores=0-7
/proc/17675/task/17683/stat : 17683 (cosoco) R 17672 17675 14059 0 -1 4202560 569 0 0 0 25194 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433328946448 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
[pid=17675/tid=17684] ppid=17672 vsize=617744 memory=500 CPUtime=251.97 cores=0-7
/proc/17675/task/17684/stat : 17684 (cosoco) R 17672 17675 14059 0 -1 4202560 574 0 0 0 25197 0 0 0 20 0 9 0 559257695 632569856 1253 33554432000 4194304 6211132 140735362986192 140433320553744 5156216 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37793792 140735362995222 140735362995314 140735362995314 140735362998222 0
Current children cumulated CPU time: 2012.62 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 5012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.019 s]
# the end of solver process 17675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2012.7 s, system=0.010995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.019
CPU time (s): 2012.71
CPU user time (s): 2012.7
CPU system time (s): 0.010995
CPU usage (%): 798.632
Max. virtual memory (cumulated for all children) (KiB): 617744
Max. memory (cumulated for all children) (KiB): 5012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2012.7
system time used= 0.010995
maximum resident set size= 5160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6254
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= 43
involuntary context switches= 13981
# summary of solver processes directly reported to runsolver:
# pid: 17675
# total CPU time (s): 2012.71
# total CPU user time (s): 2012.7
# total CPU system time (s): 0.010995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10619 second user time and 1.99807 second system time
The end
Begin job on node139 at 2019-09-30 09:53:22
IDJOB=4409963
IDBENCH=135505
IDSOLVER=2878
FILE ID=node139/4409963-1569829854
RUNJOBID= node139-1569817401-14086
PBS_JOBID= 21705915
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-marketSplit/Pb-msplit-opt-4-30-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409963-1569829854/watcher-4409963-1569829854 -o /tmp/evaluation-result-4409963-1569829854/solver-4409963-1569829854 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409963-1569829854.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0b293698762add7ba6ae5db7003c937f
RANDOM SEED=1745246577
node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31854912 kB
MemAvailable: 31844800 kB
Buffers: 65772 kB
Cached: 230340 kB
SwapCached: 75252 kB
Active: 103428 kB
Inactive: 271084 kB
Active(anon): 13688 kB
Inactive(anon): 107216 kB
Active(file): 89740 kB
Inactive(file): 163868 kB
Unevictable: 109076 kB
Mlocked: 109076 kB
SwapTotal: 67108860 kB
SwapFree: 66905164 kB
Dirty: 2820 kB
Writeback: 0 kB
AnonPages: 127252 kB
Mapped: 24768 kB
Shmem: 33888 kB
Slab: 134352 kB
SReclaimable: 104232 kB
SUnreclaim: 30120 kB
KernelStack: 3696 kB
PageTables: 5676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 530228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 81920 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 62028 MiB
End job on node139 at 2019-09-30 09:57:34