3.31/0.53 c
3.31/0.53 c This is cosoco 2.00 --
3.31/0.53 c
3.31/0.53 c command line: cosoco -model -nbcores=8 HOME/instance-4410022-1569830203.xml
3.31/0.53 c enable optimization
3.31/0.53 c ========================================[ Problem Statistics ]===========================================
3.31/0.53 c |
3.31/0.53 c | Parse time : 0.09 s
3.31/0.53 c |
3.31/0.53 c | Variables: 200
3.31/0.53 c | Domain Sizes: 60..100
3.31/0.53 c |
3.31/0.53 c | Constraints: 102
3.31/0.53 c | Arity: 3..100 -- Ternary: 100
3.31/0.53 c |
3.31/0.53 c | Types:
3.31/0.53 c | All Different: 1
3.31/0.53 c | Extension: 100 (nb tuples: 9900..9900) -- (shared: 792)
3.31/0.53 c | Sum: 1
3.31/0.53 c |
3.31/0.53 c | Objective: Minimize Sum
3.31/0.53
3.31/0.53 c =========================================================================================================
3.31/0.53 c Parallel mode: Portfolio
3.31/0.53 c [pFactory][Group N°0] created (threads:8).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
3.31/0.53 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
3.31/0.53 c [pFactory][Group N°0] concurrent mode: enabled.
3.31/0.53 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
3.31/0.53 c [pFactory][Group N°0] task 7 launched on thread 1.
3.31/0.53 c [pFactory][Group N°0] task 6 launched on thread 0.
3.31/0.53 c [pFactory][Group N°0] task 5 launched on thread 6.
3.31/0.53 c [pFactory][Group N°0] task 4 launched on thread 2.
3.31/0.53 c [pFactory][Group N°0] task 3 launched on thread 7.
3.31/0.53 c [pFactory][Group N°0] task 2 launched on thread 3.
3.31/0.53 c [pFactory][Group N°0] task 1 launched on thread 5.
3.31/0.53 c [pFactory][Group N°0] task 0 launched on thread 4.
3.31/0.53 o 1721
3.31/0.53 o 1713
3.31/0.56 o 1699
7.22/1.06 o 662
14.35/1.93 o 429
26.33/3.48 o 427
60.64/7.74 o 424
158.89/20.02 o 423
366.44/46.04 o 421
2011.25/252.02
2011.25/252.02 c *** INTERRUPTED ***
2011.25/252.02 c call to solver : 7
2011.25/252.02 c
2011.25/252.02 c restarts : 19766
2011.25/252.02 c conflicts : 178052 (89 /sec)
2011.25/252.02 c decisions : 293410 (146 /sec)
2011.25/252.02 c propagations : 218750122 (108769 /sec)
2011.25/252.02 c root propagations : 11308
2011.25/252.02 c filter calls : 8472446 (4213 /sec)
2011.25/252.02 c useless filter calls : 3170226 (37 %)
2011.25/252.02 c Memory used : 674.09 MB
2011.25/252.02 c Best bound time (wc) : 46.034 s
2011.25/252.02 c CPU time : 2011.14 s
2011.25/252.02 c real time : 252.016 s
2011.25/252.02
2011.25/252.02 s SATISFIABLE
2011.25/252.02 c Best value found: 421
2011.25/252.02
2011.25/252.02
2011.25/252.02 v <instantiation type='solution' cost='421'>
2011.25/252.02 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[6] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[7] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[8] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[9] d[0] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[1] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[2] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[3] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[4] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[5] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[6] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[7] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[8] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[9] </list>
2011.25/252.02 v <values>60 58 54 56 62 65 63 53 46 43 41 44 40 31 25 24 23 21 15 12 3 2 45 5 4 1 0 11 9 8 7 18 20 47 27 39 28 33 29 30 34 10 16 22 48 17 13 14 6 26 36 35 37 32 38 42 49 51 55 61 66 67 72 69 71 74 50 76 78 82 85 89 95 92 97 98 93 52 86 83 77 81 99 91 19 75 84 87 57 96 94 90 88 80 79 73 68 64 70 59 8 3 1 4 5 4 6 4 1 3 4 2 3 4 2 2 1 4 3 4 1 5 2 3 1 1 5 3 1 4 7 1 4 2 4 4 2 2 2 1 14 5 5 4 3 2 2 6 12 3 2 6 3 2 6 5 1 2 4 3 1 3 3 3 2 4 1 2 5 1 4 2 3 4 3 4 5 3 2 15 2 11 4 38 27 6 3 5 4 7 1 3 4 1 5 3 4 4 5 1 </values>
2011.25/252.02 v </instantiation>
2011.25/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 (15176 MiB free)
memory of node 1: 16384 MiB (15478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410022-1569830203/watcher-4410022-1569830203 -o /tmp/evaluation-result-4410022-1569830203/solver-4410022-1569830203 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410022-1569830203.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=16483, runsolver pid=16480
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 8.36 8.45 8.11 2/191 16484
/proc/meminfo: memFree=31333580/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=96260 memory=72548 CPUtime=0.1 cores=0-7
/proc/16483/stat : 16483 (cosoco) R 16480 16483 14101 0 -1 4202496 18425 0 0 0 8 2 0 0 20 0 1 0 558934049 98570240 18137 33554432000 4194304 6211132 140725037209072 140725037205608 5037221 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 24065 18137 829 493 0 17370 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 96260 KiB
Current children cumulated memory: 72548 KiB
[startup+0.209357 s]*
/proc/loadavg: 8.36 8.45 8.11 9/199 16492
/proc/meminfo: memFree=31317428/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=76772 CPUtime=0.94 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 19654 0 0 0 92 2 0 0 20 0 9 0 558934049 706830336 19193 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19193 845 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=8316850467074736180 CPUtime=0.1 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459298495672 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=9280 CPUtime=0.1 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 20 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459290103392 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=139945136624888 CPUtime=0.1 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 51 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459281709592 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=-1 CPUtime=0.1 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 12 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459273317560 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=0 CPUtime=0.1 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459264924856 5038982 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=0 CPUtime=0.1 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459256532152 5039022 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=-1 CPUtime=0.1 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459248139776 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=0 CPUtime=0.09 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459239746744 5039022 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 76772 KiB
[startup+0.310359 s]*
/proc/loadavg: 8.36 8.45 8.11 9/199 16492
/proc/meminfo: memFree=31316760/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=76772 CPUtime=1.73 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 19709 0 0 0 171 2 0 0 20 0 9 0 558934049 706830336 19193 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19193 845 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=6935054825532540783 CPUtime=0.2 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 19 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459298495672 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=4872558044660077418 CPUtime=0.2 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 26 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459290103392 5039061 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=0 CPUtime=0.2 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 52 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459281709592 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=0 CPUtime=0.2 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459273317560 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=0 CPUtime=0.2 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459264924856 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=0 CPUtime=0.2 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459256532152 5039210 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=0 CPUtime=0.2 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 30 0 0 0 20 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459248139448 5039125 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=0 CPUtime=0.18 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 9 0 558934060 706830336 19193 33554432000 4194304 6211132 140725037209072 140459239746744 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 76772 KiB
[startup+0.701361 s]
/proc/loadavg: 8.36 8.45 8.11 9/199 16492
/proc/meminfo: memFree=31316760/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=77292 CPUtime=4.76 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 19995 0 0 0 474 2 0 0 20 0 9 0 558934049 706830336 19323 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19323 853 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=4000 CPUtime=0.58 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 65 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459298495760 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=1128 CPUtime=0.58 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 74 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459290103056 5038982 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=2828 CPUtime=0.58 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 54 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459281709768 5039082 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=1232 CPUtime=0.58 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 68 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459273317648 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=14008 CPUtime=0.58 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 64 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459264924856 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=139949431576191 CPUtime=0.58 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 64 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459256532152 5038964 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=7165054849344693593 CPUtime=0.58 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 30 0 0 0 58 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459248139448 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=7742372142681384536 CPUtime=0.54 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 64 0 0 0 54 0 0 0 20 0 9 0 558934060 706830336 19323 33554432000 4194304 6211132 140725037209072 140459239745928 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 77292 KiB
[startup+1.50135 s]
/proc/loadavg: 8.36 8.45 8.11 9/199 16492
/proc/meminfo: memFree=31315408/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=78880 CPUtime=11.16 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 38838 0 0 0 1106 10 0 0 20 0 9 0 558934049 706830336 19720 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19720 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=0 CPUtime=1.38 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 2565 0 0 0 137 1 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459298495080 5397486 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=-6519613052471072158 CPUtime=1.38 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 2383 0 0 0 138 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459290103056 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=0 CPUtime=1.38 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 2452 0 0 0 136 2 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459281709448 5074729 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=3617431191153626297 CPUtime=1.38 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 2509 0 0 0 138 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459273316776 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=-7737643479190322274 CPUtime=1.38 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 2315 0 0 0 137 1 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459264924040 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=139942919405569 CPUtime=1.38 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 2363 0 0 0 138 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459256531400 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=139947214373278 CPUtime=1.38 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 2219 0 0 0 138 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459248139448 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=139947214373291 CPUtime=1.32 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 2520 0 0 0 131 1 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459239745928 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 11.16 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 78880 KiB
[startup+3.11036 s]
/proc/loadavg: 8.33 8.45 8.11 9/199 16492
/proc/meminfo: memFree=31313596/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=78880 CPUtime=24 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 38916 0 0 0 2390 10 0 0 20 0 9 0 558934049 706830336 19720 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19720 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=0 CPUtime=2.99 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 2572 0 0 0 298 1 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459298495176 5038964 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=2865 CPUtime=2.99 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 2401 0 0 0 299 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459290102296 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=78880 CPUtime=2.99 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 2454 0 0 0 297 2 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459281709592 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=14008 CPUtime=2.99 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 2515 0 0 0 299 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459273316776 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=12040 CPUtime=2.99 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 2322 0 0 0 298 1 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459264924040 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=2124 CPUtime=2.99 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 2370 0 0 0 299 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459256531400 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=279889999685464 CPUtime=2.99 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 2224 0 0 0 299 0 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459248138552 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=72969279769322 CPUtime=2.9 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 2546 0 0 0 289 1 0 0 20 0 9 0 558934060 706830336 19720 33554432000 4194304 6211132 140725037209072 140459239745960 5158052 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 24 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 78880 KiB
[startup+6.30135 s]
/proc/loadavg: 8.33 8.45 8.11 9/199 16492
/proc/meminfo: memFree=31314364/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79196 CPUtime=49.47 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 76492 0 0 0 4934 13 0 0 20 0 9 0 558934049 706830336 19799 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19799 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=79140 CPUtime=6.17 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 7580 0 0 0 616 1 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459298495176 5039121 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=9176 CPUtime=6.18 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 6989 0 0 0 617 1 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459290102072 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=79140 CPUtime=6.18 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 7359 0 0 0 616 2 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459281709592 5039199 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=2124 CPUtime=6.17 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 7101 0 0 0 617 0 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459273316888 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=0 CPUtime=6.18 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 6883 0 0 0 617 1 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459264924104 5037886 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=9236 CPUtime=6.18 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 7209 0 0 0 618 0 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459256531400 5037843 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=3512 CPUtime=6.18 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 6685 0 0 0 618 0 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459248138552 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=10460 CPUtime=6.06 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 7174 0 0 0 604 2 0 0 20 0 9 0 558934060 706830336 19799 33554432000 4194304 6211132 140725037209072 140459239745960 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 49.47 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79196 KiB
[startup+12.7014 s]
/proc/loadavg: 8.30 8.44 8.11 9/200 16494
/proc/meminfo: memFree=31312480/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79288 CPUtime=100.55 cores=0-7
################
# More data... #
################
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 13949 0 0 0 2535 3 0 0 20 0 9 0 558934060 706830336 19823 33554432000 4194304 6211132 140725037209072 140459281709592 5037750 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=279889999988336 CPUtime=25.36 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 14268 0 0 0 2535 1 0 0 20 0 9 0 558934060 706830336 19823 33554432000 4194304 6211132 140725037209072 140459273316888 5039217 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=3461501854912477434 CPUtime=25.38 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 9663 0 0 0 2536 2 0 0 20 0 9 0 558934060 706830336 19823 33554432000 4194304 6211132 140725037209072 140459264924104 5039178 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=2020 CPUtime=25.37 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 13385 0 0 0 2536 1 0 0 20 0 9 0 558934060 706830336 19823 33554432000 4194304 6211132 140725037209072 140459256531400 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=988 CPUtime=25.36 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 13317 0 0 0 2536 0 0 0 20 0 9 0 558934060 706830336 19823 33554432000 4194304 6211132 140725037209072 140459248138552 5037825 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=1432 CPUtime=24.98 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 13705 0 0 0 2496 2 0 0 20 0 9 0 558934060 706830336 19823 33554432000 4194304 6211132 140725037209072 140459239745848 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 202.74 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79292 KiB
[startup+51.1104 s]
/proc/loadavg: 8.15 8.38 8.10 9/199 16495
/proc/meminfo: memFree=31313432/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79328 CPUtime=407.16 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 137581 0 0 0 40698 18 0 0 20 0 9 0 558934049 706830336 19832 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19832 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=79328 CPUtime=50.95 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 16673 0 0 0 5093 2 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459298495176 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=1056 CPUtime=50.98 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 18577 0 0 0 5097 1 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459290102216 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=6935054825532540783 CPUtime=50.95 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 14598 0 0 0 5092 3 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459281709592 5039561 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=14008 CPUtime=50.96 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 14607 0 0 0 5095 1 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459273316888 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=279889999971328 CPUtime=50.98 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 10311 0 0 0 5096 2 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459264924104 5037825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=8171325696105934185 CPUtime=50.98 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 13809 0 0 0 5097 1 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459256531656 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=79328 CPUtime=50.96 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 15515 0 0 0 5095 1 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459248138744 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=279890000170752 CPUtime=50.24 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 13979 0 0 0 5021 3 0 0 20 0 9 0 558934060 706830336 19832 33554432000 4194304 6211132 140725037209072 140459239745848 5193786 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 407.16 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79328 KiB
[startup+102.301 s]
/proc/loadavg: 8.26 8.37 8.12 9/200 16500
/proc/meminfo: memFree=31314052/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79344 CPUtime=815.91 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 141647 0 0 0 81572 19 0 0 20 0 9 0 558934049 706830336 19836 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19836 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=79344 CPUtime=102.13 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 17077 0 0 0 10211 2 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459298495176 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=79344 CPUtime=102.16 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 19576 0 0 0 10215 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459290102216 5078748 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=164 CPUtime=102.13 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 15082 0 0 0 10210 3 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459281709592 5037744 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=79344 CPUtime=102.14 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 14944 0 0 0 10213 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459273316888 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=79344 CPUtime=102.16 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 10867 0 0 0 10214 2 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459264924104 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=79340 CPUtime=102.16 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 14349 0 0 0 10215 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459256531656 5193742 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=1432 CPUtime=102.13 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 15930 0 0 0 10212 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459248138744 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=3512 CPUtime=100.71 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 14310 0 0 0 10068 3 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459239745848 5158038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 815.91 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79344 KiB
[startup+162.301 s]
/proc/loadavg: 8.09 8.30 8.11 9/199 16504
/proc/meminfo: memFree=31314528/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79344 CPUtime=1294.99 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 143670 0 0 0 129480 19 0 0 20 0 9 0 558934049 706830336 19836 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19836 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=79344 CPUtime=162.1 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 17337 0 0 0 16208 2 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459298495176 5038992 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=79344 CPUtime=162.15 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 20122 0 0 0 16214 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459290102216 5039007 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=79344 CPUtime=162.11 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 15332 0 0 0 16208 3 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459281709592 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=79344 CPUtime=162.13 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 15242 0 0 0 16212 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459273316888 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=79344 CPUtime=162.16 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 11047 0 0 0 16214 2 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459264924104 5078848 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=79344 CPUtime=162.15 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 14574 0 0 0 16214 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459256531656 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=79344 CPUtime=162.11 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 16069 0 0 0 16210 1 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459248138744 5038982 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=79344 CPUtime=159.91 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 14435 0 0 0 15988 3 0 0 20 0 9 0 558934060 706830336 19836 33554432000 4194304 6211132 140725037209072 140459239745848 5039007 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 1294.99 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79344 KiB
[startup+222.301 s]
/proc/loadavg: 8.04 8.25 8.10 9/199 16507
/proc/meminfo: memFree=31313688/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79348 CPUtime=1774.07 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 145689 0 0 0 177388 19 0 0 20 0 9 0 558934049 706830336 19837 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19837 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=11624 CPUtime=221.25 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 17486 0 0 0 22123 2 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459298495176 5389440 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=79348 CPUtime=222.14 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 20581 0 0 0 22213 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459290102216 5397366 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=6935054825532540783 CPUtime=222.09 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 15627 0 0 0 22206 3 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459281709592 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=79348 CPUtime=222.13 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 15533 0 0 0 22212 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459273316888 5081965 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=79348 CPUtime=222.15 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 11360 0 0 0 22213 2 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459264924104 5037858 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=79348 CPUtime=222.14 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 14736 0 0 0 22213 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459256531656 5037858 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=79348 CPUtime=222.11 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 16258 0 0 0 22210 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459248138744 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=79348 CPUtime=219.89 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 14596 0 0 0 21986 3 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459239745848 5158052 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 1774.07 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79348 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.17 8.26 8.11 9/200 16517
/proc/meminfo: memFree=31313556/32770624 swapFree=66936012/67108860
[pid=16483] ppid=16480 vsize=690264 memory=79348 CPUtime=2011.25 cores=0-7
/proc/16483/stat : 16483 (cosoco) S 16480 16483 14101 0 -1 1077944320 145708 0 0 0 201105 20 0 0 20 0 9 0 558934049 706830336 19837 33554432000 4194304 6211132 140725037209072 140725037207328 140459321638647 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
/proc/16483/statm: 172566 19837 856 493 0 165871 0
[pid=16483/tid=16485] ppid=16480 vsize=690264 memory=6935054825532540783 CPUtime=250.53 cores=0-7
/proc/16483/task/16485/stat : 16485 (cosoco) R 16480 16483 14101 0 -1 4202560 17495 0 0 0 25051 2 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459298495176 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16486] ppid=16480 vsize=690264 memory=4872558044660077418 CPUtime=251.84 cores=0-7
/proc/16483/task/16486/stat : 16486 (cosoco) R 16480 16483 14101 0 -1 4202560 20581 0 0 0 25183 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459290102216 5037884 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16487] ppid=16480 vsize=690264 memory=1760 CPUtime=251.79 cores=0-7
/proc/16483/task/16487/stat : 16487 (cosoco) R 16480 16483 14101 0 -1 4202560 15628 0 0 0 25176 3 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459281709592 5390019 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16488] ppid=16480 vsize=690264 memory=1772 CPUtime=251.83 cores=0-7
/proc/16483/task/16488/stat : 16488 (cosoco) R 16480 16483 14101 0 -1 4202560 15539 0 0 0 25182 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459273316888 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16489] ppid=16480 vsize=690264 memory=111632 CPUtime=251.85 cores=0-7
/proc/16483/task/16489/stat : 16489 (cosoco) R 16480 16483 14101 0 -1 4202560 11360 0 0 0 25183 2 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459264924104 5039193 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16490] ppid=16480 vsize=690264 memory=796 CPUtime=251.85 cores=0-7
/proc/16483/task/16490/stat : 16490 (cosoco) R 16480 16483 14101 0 -1 4202560 14736 0 0 0 25184 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459256531656 5074364 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16491] ppid=16480 vsize=690264 memory=1804 CPUtime=251.78 cores=0-7
/proc/16483/task/16491/stat : 16491 (cosoco) R 16480 16483 14101 0 -1 4202560 16258 0 0 0 25177 1 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459248138744 5037876 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
[pid=16483/tid=16492] ppid=16480 vsize=690264 memory=79348 CPUtime=249.6 cores=0-7
/proc/16483/task/16492/stat : 16492 (cosoco) R 16480 16483 14101 0 -1 4202560 14599 0 0 0 24957 3 0 0 20 0 9 0 558934060 706830336 19837 33554432000 4194304 6211132 140725037209072 140459239745848 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28598272 140725037216790 140725037216882 140725037216882 140725037219790 0
Current children cumulated CPU time: 2011.25 s
Current children cumulated vsize: 690264 KiB
Current children cumulated memory: 79348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.023 s]
# the end of solver process 16483 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2011.15 s, system=0.202855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.023
CPU time (s): 2011.35
CPU user time (s): 2011.15
CPU system time (s): 0.202855
CPU usage (%): 798.081
Max. virtual memory (cumulated for all children) (KiB): 690264
Max. memory (cumulated for all children) (KiB): 79348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2011.15
system time used= 0.202855
maximum resident set size= 79604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145753
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= 93
involuntary context switches= 16399
# summary of solver processes directly reported to runsolver:
# pid: 16483
# total CPU time (s): 2011.35
# total CPU user time (s): 2011.15
# total CPU system time (s): 0.202855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21488 second user time and 2.36645 second system time
The end
Begin job on node147 at 2019-09-30 09:55:59
IDJOB=4410022
IDBENCH=135901
IDSOLVER=2878
FILE ID=node147/4410022-1569830203
RUNJOBID= node147-1569818085-14128
PBS_JOBID= 21705926
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-02.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410022-1569830203/watcher-4410022-1569830203 -o /tmp/evaluation-result-4410022-1569830203/solver-4410022-1569830203 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410022-1569830203.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0e4189ad20205ae354a6aa8eb292dbdf
RANDOM SEED=413290450
node147.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.52
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.52
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.52
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.52
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: 31391164 kB
MemAvailable: 31795928 kB
Buffers: 239936 kB
Cached: 493488 kB
SwapCached: 68896 kB
Active: 416964 kB
Inactive: 390000 kB
Active(anon): 18484 kB
Inactive(anon): 137176 kB
Active(file): 398480 kB
Inactive(file): 252824 kB
Unevictable: 107284 kB
Mlocked: 107284 kB
SwapTotal: 67108860 kB
SwapFree: 66936012 kB
Dirty: 2768 kB
Writeback: 28 kB
AnonPages: 113092 kB
Mapped: 26900 kB
Shmem: 73672 kB
Slab: 167728 kB
SReclaimable: 138588 kB
SUnreclaim: 29140 kB
KernelStack: 3392 kB
PageTables: 5140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 62028 MiB
End job on node147 at 2019-09-30 10:00:11