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-4409937-1569829897.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: 30
0.00/0.01 c | Domain Sizes: 15..29
0.00/0.01 c |
0.00/0.01 c | Constraints: 17
0.00/0.01 c | Arity: 3..15 -- Ternary: 15
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | All Different: 1
0.00/0.01 c | Extension: 15 (nb tuples: 210..210) -- (shared: 112)
0.00/0.01 c | Sum: 1
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 0.
0.00/0.01 c [pFactory][Group N°0] task 6 launched on thread 5.
0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 6.
0.00/0.01 c [pFactory][Group N°0] task 4 launched on thread 2.
0.00/0.01 c [pFactory][Group N°0] task 3 launched on thread 7.
0.00/0.01 c [pFactory][Group N°0] task 2 launched on thread 4.
0.00/0.01 c [pFactory][Group N°0] task 1 launched on thread 3.
0.00/0.01 c [pFactory][Group N°0] task 0 launched on thread 1.
0.00/0.01 o 183
0.00/0.01 o 179
0.00/0.01 o 145
0.00/0.02 o 137
0.00/0.03 o 132
0.00/0.03 o 130
0.00/0.03 o 129
0.00/0.04 o 128
0.00/0.05 o 127
0.00/0.05 o 116
0.00/0.06 o 112
0.00/0.06 o 111
47.02/5.93 o 110
61.40/7.71 o 109
115.70/14.51 o 108
150.84/18.96 o 106
196.37/24.67 o 105
239.54/30.04 o 104
2012.57/252.02
2012.57/252.02 c *** INTERRUPTED ***
2012.57/252.02 c call to solver : 10
2012.57/252.02 c
2012.57/252.02 c restarts : 348111
2012.57/252.02 c conflicts : 4139124 (2057 /sec)
2012.57/252.02 c decisions : 8922705 (4433 /sec)
2012.57/252.02 c propagations : 684668558 (340179 /sec)
2012.57/252.02 c root propagations : 129
2012.57/252.02 c filter calls : 103695890 (51522 /sec)
2012.57/252.02 c useless filter calls : 60055420 (57 %)
2012.57/252.02 c Memory used : 603.40 MB
2012.57/252.02 c Best bound time (wc) : 30.0359 s
2012.57/252.02 c CPU time : 2012.67 s
2012.57/252.02 c real time : 252.015 s
2012.57/252.02
2012.57/252.02 s SATISFIABLE
2012.57/252.02 c Best value found: 104
2012.57/252.02
2012.57/252.02
2012.57/252.02 v <instantiation type='solution' cost='104'>
2012.57/252.02 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] d[0] d[10] d[11] d[12] d[13] d[14] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] </list>
2012.57/252.02 v <values>11 5 7 9 10 13 12 14 8 6 4 1 0 3 2 7 8 3 4 6 4 9 12 10 6 11 1 8 8 7 </values>
2012.57/252.02 v </instantiation>
2012.57/252.02
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 (15265 MiB free)
memory of node 1: 16384 MiB (15578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409937-1569829897/watcher-4409937-1569829897 -o /tmp/evaluation-result-4409937-1569829897/solver-4409937-1569829897 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409937-1569829897.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
Current StackSize limit: 8192 KiB
solver pid=2283, runsolver pid=2280
[startup+0.100903 s]*
/proc/loadavg: 8.07 7.98 7.62 9/199 2292
/proc/meminfo: memFree=31584156/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4480 CPUtime=0.79 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 1388 0 0 0 79 0 0 0 20 0 9 0 559245950 632705024 1120 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1120 830 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=-8471657372129805245 CPUtime=0.1 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677814021392 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4342489072520795241 CPUtime=0.1 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677805629024 5193786 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=140300895299200 CPUtime=0.1 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677797236320 5079063 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=0 CPUtime=0.1 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677788843192 5158055 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=0 CPUtime=0.1 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677780450576 5082385 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=0 CPUtime=0.1 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677772058208 5039710 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=-1 CPUtime=0.1 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 10 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677763665504 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=0 CPUtime=0.09 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 9 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677755272464 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4480 KiB
[startup+0.209901 s]*
/proc/loadavg: 8.07 7.98 7.62 9/199 2292
/proc/meminfo: memFree=31584020/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4480 CPUtime=1.65 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 1389 0 0 0 165 0 0 0 20 0 9 0 559245950 632705024 1120 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1120 830 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 20 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677814021392 5156264 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=1898493 CPUtime=0.2 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 20 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677805628688 5039536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=4049500017466713760 CPUtime=0.2 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 20 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677797235896 5079092 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=-1 CPUtime=0.2 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 20 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677788843192 5250497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=0 CPUtime=0.2 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 20 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677780450576 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=0 CPUtime=0.21 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 21 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677772057872 5038848 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=-1 CPUtime=0.21 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 21 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677763665080 5156028 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=0 CPUtime=0.19 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 19 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677755272464 5079496 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4480 KiB
[startup+0.309903 s]*
/proc/loadavg: 8.07 7.98 7.62 9/199 2292
/proc/meminfo: memFree=31584020/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4480 CPUtime=2.44 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 1389 0 0 0 244 0 0 0 20 0 9 0 559245950 632705024 1120 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1120 830 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 30 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677814021392 5186301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4126316290023845779 CPUtime=0.3 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 30 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677805628688 5039061 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=0 CPUtime=0.3 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 30 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677797235896 5394345 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=6944656592455097440 CPUtime=0.3 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 30 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677788843192 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=6656426216303648864 CPUtime=0.3 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 30 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677780450576 5038982 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=0 CPUtime=0.3 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 30 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677772057872 5080576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=0 CPUtime=0.31 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 31 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677763665080 5158127 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=0 CPUtime=0.28 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 28 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677755272464 5037750 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4480 KiB
[startup+0.700902 s]
/proc/loadavg: 8.07 7.98 7.62 9/199 2292
/proc/meminfo: memFree=31584020/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4480 CPUtime=5.5 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 1389 0 0 0 550 0 0 0 20 0 9 0 559245950 632705024 1120 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1120 830 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=3888 CPUtime=0.69 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677814021392 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=1228 CPUtime=0.69 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677805628688 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=7307465678416012608 CPUtime=0.69 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677797235896 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=6081952328555588963 CPUtime=0.69 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677788843192 5080788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=5865188000529146989 CPUtime=0.69 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677780450576 5186301 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=280601487914740 CPUtime=0.69 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 11 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677772057872 5079092 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=0 CPUtime=0.69 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 4 0 0 0 69 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677763665080 5079440 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=0 CPUtime=0.64 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 5 0 0 0 64 0 0 0 20 0 9 0 559245951 632705024 1120 33554432000 4194304 6211132 140728414083488 139677755272464 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4480 KiB
[startup+1.5009 s]
/proc/loadavg: 8.07 7.98 7.62 9/199 2292
/proc/meminfo: memFree=31584020/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4544 CPUtime=11.88 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 1676 0 0 0 1188 0 0 0 20 0 9 0 559245950 632705024 1136 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1136 836 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=4544 CPUtime=1.49 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 37 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677814021392 5394465 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=0 CPUtime=1.49 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 67 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677805628688 5250330 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=4480 CPUtime=1.49 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 42 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677797235896 5080913 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=0 CPUtime=1.49 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 33 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677788843192 5398596 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=0 CPUtime=1.49 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 35 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677780450576 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=0 CPUtime=1.49 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 66 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677772057872 5039273 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=0 CPUtime=1.49 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 33 0 0 0 149 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677763665080 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=0 CPUtime=1.43 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 22 0 0 0 143 0 0 0 20 0 9 0 559245951 632705024 1136 33554432000 4194304 6211132 140728414083488 139677755272464 5079711 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 11.88 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4544 KiB
[startup+3.1099 s]
/proc/loadavg: 8.07 7.98 7.62 9/199 2292
/proc/meminfo: memFree=31584144/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4640 CPUtime=24.73 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 1953 0 0 0 2473 0 0 0 20 0 9 0 559245950 632705024 1160 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1160 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=280601487831064 CPUtime=3.1 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 81 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677814021392 5397414 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4544 CPUtime=3.1 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 104 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677805628688 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=55 CPUtime=3.1 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 71 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677797235896 5155924 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=6944656592455360604 CPUtime=3.1 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 73 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677788843192 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=0 CPUtime=3.1 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 49 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677780450576 5390456 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=0 CPUtime=3.1 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 109 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677772057872 5155964 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=0 CPUtime=3.1 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 66 0 0 0 310 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677763665080 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=33 CPUtime=3.02 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 59 0 0 0 302 0 0 0 20 0 9 0 559245951 632705024 1160 33554432000 4194304 6211132 140728414083488 139677755272464 5078748 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4640 KiB
[startup+6.3009 s]
/proc/loadavg: 8.06 7.98 7.63 9/199 2292
/proc/meminfo: memFree=31584116/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4676 CPUtime=50.21 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 2264 0 0 0 5021 0 0 0 20 0 9 0 559245950 632705024 1169 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1169 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=4544 CPUtime=6.29 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 102 0 0 0 629 0 0 0 20 0 9 0 559245951 632705024 1169 33554432000 4194304 6211132 140728414083488 139677814021392 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=140305190266495 CPUtime=6.29 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 159 0 0 0 629 0 0 0 20 0 9 0 559245951 632705024 1169 33554432000 4194304 6211132 140728414083488 139677805628688 5039149 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=55 CPUtime=6.28 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 123 0 0 0 628 0 0 0 20 0 9 0 559245951 632705024 1169 33554432000 4194304 6211132 140728414083488 139677797235896 5079046 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=280601487963688 CPUtime=6.29 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 113 0 0 0 629 0 0 0 20 0 9 0 559245951 632705024 1169 33554432000 4194304 6211132 140728414083488 139677788843192 5157142 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
################
# More data... #
################
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 286 0 0 0 2547 0 0 0 20 0 9 0 559245951 632705024 1171 33554432000 4194304 6211132 140728414083488 139677797235896 5037759 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=4684 CPUtime=25.48 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 318 0 0 0 2548 0 0 0 20 0 9 0 559245951 632705024 1171 33554432000 4194304 6211132 140728414083488 139677788843280 5158069 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=0 CPUtime=25.48 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 271 0 0 0 2548 0 0 0 20 0 9 0 559245951 632705024 1171 33554432000 4194304 6211132 140728414083488 139677780450576 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=4684 CPUtime=25.48 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 342 0 0 0 2548 0 0 0 20 0 9 0 559245951 632705024 1171 33554432000 4194304 6211132 140728414083488 139677772057872 5079696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=280601487810848 CPUtime=25.49 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 271 0 0 0 2549 0 0 0 20 0 9 0 559245951 632705024 1171 33554432000 4194304 6211132 140728414083488 139677763665080 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=3616 CPUtime=25.14 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 260 0 0 0 2514 0 0 0 20 0 9 0 559245951 632705024 1171 33554432000 4194304 6211132 140728414083488 139677755272464 5078762 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 203.55 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4684 KiB
[startup+51.1099 s]
/proc/loadavg: 8.03 7.99 7.64 9/199 2295
/proc/meminfo: memFree=31584800/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4688 CPUtime=408.08 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 4343 0 0 0 40808 0 0 0 20 0 9 0 559245950 632705024 1172 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1172 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=4688 CPUtime=51.09 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 350 0 0 0 5109 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677814021392 5157148 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4688 CPUtime=51.09 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 465 0 0 0 5109 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677805628688 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=3616 CPUtime=51.07 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 339 0 0 0 5107 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677797235896 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=4688 CPUtime=51.08 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 414 0 0 0 5108 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677788843280 5394218 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=10644 CPUtime=51.09 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 348 0 0 0 5109 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677780450576 5156096 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=988 CPUtime=51.09 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 416 0 0 0 5109 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677772057536 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=0 CPUtime=51.09 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 349 0 0 0 5109 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677763665080 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=0 CPUtime=50.44 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 321 0 0 0 5044 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677755272464 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 408.08 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4688 KiB
[startup+102.301 s]
/proc/loadavg: 8.01 7.99 7.66 9/200 2299
/proc/meminfo: memFree=31583916/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4688 CPUtime=816.92 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 4642 0 0 0 81692 0 0 0 20 0 9 0 559245950 632705024 1172 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1172 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=4688 CPUtime=102.27 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 395 0 0 0 10227 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677814021392 5207550 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4688 CPUtime=102.28 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 512 0 0 0 10228 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677805628688 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=4688 CPUtime=102.25 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 382 0 0 0 10225 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677797235896 5080295 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=4688 CPUtime=102.26 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 433 0 0 0 10226 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677788843280 5250485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=0 CPUtime=102.26 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 388 0 0 0 10226 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677780450576 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=55 CPUtime=102.27 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 453 0 0 0 10227 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677772057536 5158008 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=2004 CPUtime=102.28 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 382 0 0 0 10228 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677763665080 5039141 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=1416 CPUtime=101.01 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 356 0 0 0 10101 0 0 0 20 0 9 0 559245951 632705024 1172 33554432000 4194304 6211132 140728414083488 139677755272464 5193763 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 816.92 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4688 KiB
[startup+162.301 s]
/proc/loadavg: 8.00 7.99 7.68 9/199 2302
/proc/meminfo: memFree=31584732/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4692 CPUtime=1296.12 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 4939 0 0 0 129612 0 0 0 20 0 9 0 559245950 632705024 1173 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1173 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=2004 CPUtime=162.25 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 426 0 0 0 16225 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677814021392 5037854 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4692 CPUtime=162.27 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 561 0 0 0 16227 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677805628688 5082376 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=4692 CPUtime=162.24 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 419 0 0 0 16224 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677797235648 5081471 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=4692 CPUtime=162.24 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 455 0 0 0 16224 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677788842944 5250491 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=4692 CPUtime=162.25 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 428 0 0 0 16225 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677780450576 5250316 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=4692 CPUtime=162.27 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 490 0 0 0 16227 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677772057536 5080249 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=4692 CPUtime=162.26 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 422 0 0 0 16226 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677763665080 5250283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=10644 CPUtime=160.3 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 397 0 0 0 16030 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677755272464 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 1296.12 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4692 KiB
[startup+222.301 s]
/proc/loadavg: 8.07 8.00 7.71 9/199 2305
/proc/meminfo: memFree=31584028/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4692 CPUtime=1775.32 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 5247 0 0 0 177532 0 0 0 20 0 9 0 559245950 632705024 1173 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1173 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=4692 CPUtime=222.25 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 471 0 0 0 22225 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677814021392 5193776 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4692 CPUtime=222.27 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 612 0 0 0 22227 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677805628688 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=4692 CPUtime=222.23 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 457 0 0 0 22223 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677797235648 5080976 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=3616 CPUtime=222.22 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 476 0 0 0 22222 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677788842944 5082393 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=4692 CPUtime=222.24 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 458 0 0 0 22224 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677780450576 5186331 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=4692 CPUtime=222.26 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 531 0 0 0 22226 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677772057536 5079049 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=4692 CPUtime=222.25 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 462 0 0 0 22225 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677763665080 5082405 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=4692 CPUtime=219.56 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 439 0 0 0 21956 0 0 0 20 0 9 0 559245951 632705024 1173 33554432000 4194304 6211132 140728414083488 139677755272128 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 1775.32 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4692 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.25 8.05 7.73 9/198 2308
/proc/meminfo: memFree=31585136/32770624 swapFree=66986684/67108860
[pid=2283] ppid=2280 vsize=617876 memory=4696 CPUtime=2012.57 cores=0-7
/proc/2283/stat : 2283 (cosoco) S 2280 2283 31775 0 -1 1077944320 5544 0 0 0 201257 0 0 0 20 0 9 0 559245950 632705024 1174 33554432000 4194304 6211132 140728414083488 140728414081744 139677837164279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
/proc/2283/statm: 154469 1174 841 493 0 147774 0
[pid=2283/tid=2285] ppid=2280 vsize=617876 memory=8317482817917895235 CPUtime=251.95 cores=0-7
/proc/2283/task/2285/stat : 2285 (cosoco) R 2280 2283 31775 0 -1 4202560 513 0 0 0 25195 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677814021392 5079344 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2286] ppid=2280 vsize=617876 memory=4126316290023845779 CPUtime=251.97 cores=0-7
/proc/2283/task/2286/stat : 2286 (cosoco) R 2280 2283 31775 0 -1 4202560 653 0 0 0 25197 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677805628688 5157572 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2287] ppid=2280 vsize=617876 memory=1056 CPUtime=251.93 cores=0-7
/proc/2283/task/2287/stat : 2287 (cosoco) R 2280 2283 31775 0 -1 4202560 489 0 0 0 25193 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677797235648 5158052 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2288] ppid=2280 vsize=617876 memory=1556 CPUtime=251.92 cores=0-7
/proc/2283/task/2288/stat : 2288 (cosoco) R 2280 2283 31775 0 -1 4202560 495 0 0 0 25192 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677788842944 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2289] ppid=2280 vsize=617876 memory=780 CPUtime=251.94 cores=0-7
/proc/2283/task/2289/stat : 2289 (cosoco) R 2280 2283 31775 0 -1 4202560 495 0 0 0 25194 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677780450576 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2290] ppid=2280 vsize=617876 memory=3888 CPUtime=251.96 cores=0-7
/proc/2283/task/2290/stat : 2290 (cosoco) R 2280 2283 31775 0 -1 4202560 571 0 0 0 25196 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677772057536 5186344 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2291] ppid=2280 vsize=617876 memory=1228 CPUtime=251.96 cores=0-7
/proc/2283/task/2291/stat : 2291 (cosoco) R 2280 2283 31775 0 -1 4202560 507 0 0 0 25196 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677763665080 5394168 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
[pid=2283/tid=2292] ppid=2280 vsize=617876 memory=6252 CPUtime=248.91 cores=0-7
/proc/2283/task/2292/stat : 2292 (cosoco) R 2280 2283 31775 0 -1 4202560 480 0 0 0 24891 0 0 0 20 0 9 0 559245951 632705024 1174 33554432000 4194304 6211132 140728414083488 139677755272128 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39374848 140728414090262 140728414090354 140728414090354 140728414093262 0
Current children cumulated CPU time: 2012.57 s
Current children cumulated vsize: 617876 KiB
Current children cumulated memory: 4696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.021 s]
# the end of solver process 2283 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2012.67 s, system=0.007996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.021
CPU time (s): 2012.68
CPU user time (s): 2012.67
CPU system time (s): 0.007996
CPU usage (%): 798.618
Max. virtual memory (cumulated for all children) (KiB): 617876
Max. memory (cumulated for all children) (KiB): 4696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2012.67
system time used= 0.007996
maximum resident set size= 4992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5593
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= 40
involuntary context switches= 15439
# summary of solver processes directly reported to runsolver:
# pid: 2283
# total CPU time (s): 2012.68
# total CPU user time (s): 2012.67
# total CPU system time (s): 0.007996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20203 second user time and 1.85179 second system time
The end
Begin job on node104 at 2019-09-30 08:41:10
IDJOB=4409937
IDBENCH=135736
IDSOLVER=2878
FILE ID=node104/4409937-1569829897
RUNJOBID= node104-1569813805-31802
PBS_JOBID= 21705922
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-10.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409937-1569829897/watcher-4409937-1569829897 -o /tmp/evaluation-result-4409937-1569829897/solver-4409937-1569829897 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409937-1569829897.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3c026331d7bc07d88063d95da0d404ae
RANDOM SEED=435717840
node104.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 : 5334.09
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 : 5334.09
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 : 5334.09
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 : 5334.09
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: 31585836 kB
MemAvailable: 31839624 kB
Buffers: 212108 kB
Cached: 369240 kB
SwapCached: 22760 kB
Active: 308340 kB
Inactive: 299516 kB
Active(anon): 17592 kB
Inactive(anon): 91164 kB
Active(file): 290748 kB
Inactive(file): 208352 kB
Unevictable: 109656 kB
Mlocked: 109656 kB
SwapTotal: 67108860 kB
SwapFree: 66986684 kB
Dirty: 2828 kB
Writeback: 0 kB
AnonPages: 120600 kB
Mapped: 26532 kB
Shmem: 73632 kB
Slab: 170500 kB
SReclaimable: 141044 kB
SUnreclaim: 29456 kB
KernelStack: 3712 kB
PageTables: 5028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 530744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 62028 MiB
End job on node104 at 2019-09-30 08:45:22