0.95/0.30 c
0.95/0.30 c This is cosoco 2.00 --
0.95/0.30 c
0.95/0.30 c command line: cosoco -model -nbcores=8 HOME/instance-4398779-1568609836.xml
0.95/0.30 c enable optimization
0.95/0.30 c ========================================[ Problem Statistics ]===========================================
0.95/0.30 c |
0.95/0.30 c | Parse time : 0.08 s
0.95/0.30 c |
0.95/0.30 c | Variables: 200
0.95/0.30 c | Domain Sizes: 62..100
0.95/0.30 c |
0.95/0.30 c | Constraints: 102
0.95/0.30 c | Arity: 3..100 -- Ternary: 100
0.95/0.30 c |
0.95/0.30 c | Types:
0.95/0.30 c | All Different: 1
0.95/0.30 c | Extension: 100 (nb tuples: 9900..9900) -- (shared: 792)
0.95/0.30 c | Sum: 1
0.95/0.30 c |
0.95/0.30 c | Objective: Minimize Sum
0.95/0.30
0.95/0.30 c =========================================================================================================
0.95/0.30 c Parallel mode: Portfolio
0.95/0.30 c [pFactory][Group N°0] created (threads:8).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.95/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.95/0.30 c [pFactory][Group N°0] concurrent mode: enabled.
0.95/0.30 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.95/0.30 c [pFactory][Group N°0] task 7 launched on thread 0.
0.95/0.30 c [pFactory][Group N°0] task 6 launched on thread 1.
0.95/0.30 c [pFactory][Group N°0] task 5 launched on thread 4.
0.95/0.30 c [pFactory][Group N°0] task 4 launched on thread 6.
0.95/0.30 c [pFactory][Group N°0] task 3 launched on thread 7.
0.95/0.30 c [pFactory][Group N°0] task 2 launched on thread 3.
0.95/0.30 c [pFactory][Group N°0] task 1 launched on thread 5.
0.95/0.30 c [pFactory][Group N°0] task 0 launched on thread 2.
0.95/0.30 o 2315
3.33/0.53 o 1875
3.33/0.53 o 1702
7.24/1.04 o 1408
14.35/1.90 o 489
22.33/2.98 o 465
26.33/3.49 o 446
31.19/4.10 o 445
35.91/4.64 o 443
2011.14/252.02
2011.14/252.02 c *** INTERRUPTED ***
2011.14/252.02 c call to solver : 3
2011.14/252.02 c
2011.14/252.02 c restarts : 6690
2011.14/252.02 c conflicts : 68069 (34 /sec)
2011.14/252.02 c decisions : 121281 (60 /sec)
2011.14/252.02 c propagations : 108731475 (54068 /sec)
2011.14/252.02 c root propagations : 11539
2011.14/252.02 c filter calls : 4502336 (2239 /sec)
2011.14/252.02 c useless filter calls : 2143650 (47 %)
2011.14/252.02 c Memory used : 674.16 MB
2011.14/252.02 c Best bound time (wc) : 4.64259 s
2011.14/252.02 c CPU time : 2011 s
2011.14/252.02 c real time : 252.018 s
2011.14/252.02
2011.14/252.02 s SATISFIABLE
2011.14/252.02 c Best value found: 443
2011.14/252.02
2011.14/252.02
2011.14/252.02 v <instantiation type='solution' cost='443'>
2011.14/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.14/252.02 v <values>46 83 75 72 92 96 97 99 87 93 94 40 98 88 89 85 84 78 74 70 69 77 41 73 76 80 57 51 38 34 39 44 56 81 45 31 30 14 1 0 2 11 17 21 86 27 15 12 16 6 3 8 10 20 19 90 32 35 36 47 49 53 42 37 28 22 91 13 9 7 4 5 18 25 24 26 29 95 23 33 43 48 50 54 55 62 66 60 82 59 65 68 61 64 67 71 63 58 52 79 2 2 5 15 5 2 1 4 2 1 1 1 3 5 5 2 4 2 2 2 5 9 18 4 3 14 4 5 7 3 2 4 4 6 6 2 7 19 30 5 6 2 2 4 4 5 1 1 5 2 4 4 8 2 7 9 1 1 7 1 2 6 6 6 3 5 2 6 3 1 4 7 3 1 2 4 4 7 5 5 3 1 1 1 5 2 7 1 1 9 2 4 4 1 2 4 4 4 3 3 </values>
2011.14/252.02 v </instantiation>
2011.14/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 (14694 MiB free)
memory of node 1: 16384 MiB (15451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398779-1568609836/watcher-4398779-1568609836 -o /tmp/evaluation-result-4398779-1568609836/solver-4398779-1568609836 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568598149-15728 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398779-1568609836.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=17358, runsolver pid=17355
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 8.34 8.30 8.43 2/191 17360
/proc/meminfo: memFree=30810448/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=99208 memory=75512 CPUtime=0.09 cores=0-7
/proc/17358/stat : 17358 (cosoco) R 17355 17358 15701 0 -1 4202496 19142 0 0 0 7 2 0 0 20 0 1 0 436925533 101588992 18812 33554432000 4194304 6211092 140723725552608 140723725549144 5037221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 24802 18878 829 493 0 18107 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99208 KiB
Current children cumulated memory: 75512 KiB
[startup+0.209878 s]*
/proc/loadavg: 8.34 8.30 8.43 9/199 17368
/proc/meminfo: memFree=30796312/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=76832 CPUtime=0.95 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 19671 0 0 0 92 3 0 0 20 0 9 0 436925533 706904064 19208 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19208 846 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=8316850467074736180 CPUtime=0.1 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 20 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521133321824 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=13977 CPUtime=0.1 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521124928696 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=140358813566528 CPUtime=0.09 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521116535992 5039121 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=-1 CPUtime=0.1 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521108143712 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=0 CPUtime=0.1 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521099750584 5409364 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=0 CPUtime=0.1 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521091358304 5039047 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=-1 CPUtime=0.1 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 53 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521082965600 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=0 CPUtime=0.1 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521074572896 5039323 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 76832 KiB
[startup+0.310877 s]*
/proc/loadavg: 8.34 8.30 8.43 9/199 17368
/proc/meminfo: memFree=30796312/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=76832 CPUtime=1.75 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 19746 0 0 0 172 3 0 0 20 0 9 0 436925533 706904064 19208 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19208 846 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=8317482817917895235 CPUtime=0.2 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 26 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521133321824 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=4126316290023845779 CPUtime=0.2 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521124928696 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=0 CPUtime=0.18 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521116535992 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=0 CPUtime=0.2 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 19 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521108143712 5038995 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=0 CPUtime=0.2 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 53 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521099750672 5038992 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=0 CPUtime=0.2 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521091358304 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=0 CPUtime=0.2 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 53 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521082965600 5039029 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=0 CPUtime=0.2 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 9 0 436925544 706904064 19208 33554432000 4194304 6211092 140723725552608 140521074572896 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 76832 KiB
[startup+0.700878 s]
/proc/loadavg: 8.34 8.30 8.43 9/199 17368
/proc/meminfo: memFree=30795804/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=77092 CPUtime=4.77 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 20010 0 0 0 474 3 0 0 20 0 9 0 436925533 706904064 19273 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19273 855 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=500 CPUtime=0.58 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 68 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521133321488 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=1556 CPUtime=0.58 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 64 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521124927880 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=924 CPUtime=0.54 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 62 0 0 0 54 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521116535176 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=1672 CPUtime=0.58 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 58 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521108143376 5039328 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=796 CPUtime=0.58 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 53 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521099750672 5039070 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=-7175204567652784766 CPUtime=0.58 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 62 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521091357880 5037847 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=3054156605268465310 CPUtime=0.58 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 53 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521082964504 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=2424 CPUtime=0.58 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 64 0 0 0 58 0 0 0 20 0 9 0 436925544 706904064 19273 33554432000 4194304 6211092 140723725552608 140521074572472 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 77092 KiB
[startup+1.50088 s]
/proc/loadavg: 8.34 8.30 8.43 9/199 17368
/proc/meminfo: memFree=30795432/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=78988 CPUtime=11.15 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 38912 0 0 0 1105 10 0 0 20 0 9 0 436925533 706904064 19747 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19747 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=0 CPUtime=1.38 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 2388 0 0 0 138 0 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521133321488 5158020 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=2110709266208836 CPUtime=1.38 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 2483 0 0 0 136 2 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521124928200 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=301741399194481975 CPUtime=1.32 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 2344 0 0 0 132 0 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521116535320 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=14134459020632295 CPUtime=1.38 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 2686 0 0 0 138 0 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521108142584 5038982 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=3612 CPUtime=1.38 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 2238 0 0 0 137 1 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521099750672 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=30188 CPUtime=1.38 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 2325 0 0 0 138 0 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521091357064 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=992 CPUtime=1.38 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 2469 0 0 0 137 1 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521082964504 5039677 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=2044 CPUtime=1.38 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 2453 0 0 0 137 1 0 0 20 0 9 0 436925544 706904064 19747 33554432000 4194304 6211092 140723725552608 140521074571656 5039536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 78988 KiB
[startup+3.11088 s]
/proc/loadavg: 8.34 8.30 8.43 9/199 17368
/proc/meminfo: memFree=30795184/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79008 CPUtime=24 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 38977 0 0 0 2390 10 0 0 20 0 9 0 436925533 706904064 19752 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19752 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=0 CPUtime=2.99 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 2402 0 0 0 299 0 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521133321488 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=97 CPUtime=2.99 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 2490 0 0 0 297 2 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521124927944 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=2485913650689 CPUtime=2.91 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 2352 0 0 0 291 0 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521116535400 5037825 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=0 CPUtime=2.99 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 2693 0 0 0 299 0 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521108142536 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=280717317640672 CPUtime=2.99 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 2250 0 0 0 298 1 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521099749832 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=280717317640736 CPUtime=2.99 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 2332 0 0 0 299 0 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521091357288 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=4715952310075224460 CPUtime=2.99 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 2469 0 0 0 298 1 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521082964504 5193744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=0 CPUtime=2.99 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 2463 0 0 0 298 1 0 0 20 0 9 0 436925544 706904064 19752 33554432000 4194304 6211092 140723725552608 140521074571688 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 24 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79008 KiB
[startup+6.30088 s]
/proc/loadavg: 8.31 8.30 8.43 9/199 17368
/proc/meminfo: memFree=30795432/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79336 CPUtime=49.48 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 76774 0 0 0 4935 13 0 0 20 0 9 0 436925533 706904064 19834 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19834 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=79276 CPUtime=6.17 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 7400 0 0 0 617 0 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521133321488 5037841 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=79276 CPUtime=6.18 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 7033 0 0 0 616 2 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521124927944 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=148 CPUtime=6.04 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 7310 0 0 0 604 0 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521116535240 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=148 CPUtime=6.18 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 7286 0 0 0 618 0 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521108142536 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=280717318206208 CPUtime=6.17 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 6926 0 0 0 616 1 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521099749912 5039007 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=214894393722788 CPUtime=6.18 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 6906 0 0 0 618 0 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521091357288 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=0 CPUtime=6.18 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 7375 0 0 0 617 1 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521082964504 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=0 CPUtime=6.18 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 7012 0 0 0 616 2 0 0 20 0 9 0 436925544 706904064 19834 33554432000 4194304 6211092 140723725552608 140521074571976 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 49.48 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79336 KiB
[startup+12.7009 s]
/proc/loadavg: 8.28 8.29 8.43 9/199 17368
/proc/meminfo: memFree=30795432/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79344 CPUtime=100.58 cores=0-7
################
# More data... #
################
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 16391 0 0 0 2495 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521116535240 5039007 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=76728718330090 CPUtime=25.38 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 16637 0 0 0 2537 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521108142536 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=79348 CPUtime=25.37 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 15780 0 0 0 2535 2 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521099749912 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=7019257425709197167 CPUtime=25.38 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 16060 0 0 0 2537 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521091357288 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=6154282490091891024 CPUtime=25.37 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 17494 0 0 0 2536 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521082964504 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=0 CPUtime=25.38 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 16429 0 0 0 2535 3 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521074571688 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 202.78 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79348 KiB
[startup+51.1109 s]
/proc/loadavg: 8.22 8.27 8.41 9/199 17371
/proc/meminfo: memFree=30796156/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79348 CPUtime=407.23 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 166881 0 0 0 40702 21 0 0 20 0 9 0 436925533 706904064 19837 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19837 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=79348 CPUtime=50.98 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 18443 0 0 0 5097 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521133320504 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=79348 CPUtime=50.98 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 18677 0 0 0 5095 3 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521124927944 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=0 CPUtime=50.2 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 17107 0 0 0 5018 2 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521116535240 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=164 CPUtime=50.98 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 18294 0 0 0 5097 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521108142536 5038964 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=79348 CPUtime=50.98 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 18117 0 0 0 5096 2 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521099749912 5082378 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=0 CPUtime=50.98 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 18264 0 0 0 5097 1 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521091357288 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=79344 CPUtime=50.98 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 19783 0 0 0 5096 2 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521082964504 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=0 CPUtime=50.98 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 18670 0 0 0 5095 3 0 0 20 0 9 0 436925544 706904064 19837 33554432000 4194304 6211092 140723725552608 140521074571688 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 407.23 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79348 KiB
[startup+102.301 s]
/proc/loadavg: 8.28 8.28 8.41 9/199 17375
/proc/meminfo: memFree=30794980/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79360 CPUtime=815.9 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 184863 0 0 0 81568 22 0 0 20 0 9 0 436925533 706904064 19840 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19840 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=0 CPUtime=102.16 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 23352 0 0 0 10214 2 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521133320504 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=79360 CPUtime=102.15 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 21428 0 0 0 10212 3 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521124927944 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=140363105302143 CPUtime=100.64 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 17819 0 0 0 10062 2 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521116535240 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=79360 CPUtime=102.15 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 19260 0 0 0 10214 1 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521108142792 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=2273 CPUtime=102.15 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 20875 0 0 0 10213 2 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521099749912 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=3612 CPUtime=102.16 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 18903 0 0 0 10215 1 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521091357288 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=30188 CPUtime=102.14 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 22529 0 0 0 10212 2 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521082964472 5037744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=20358 CPUtime=102.16 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 21171 0 0 0 10213 3 0 0 20 0 9 0 436925544 706904064 19840 33554432000 4194304 6211092 140723725552608 140521074571576 5039536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 815.9 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79360 KiB
[startup+162.301 s]
/proc/loadavg: 8.15 8.24 8.39 9/199 17378
/proc/meminfo: memFree=30795756/32770624 swapFree=66952500/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79372 CPUtime=1294.95 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 187921 0 0 0 129472 23 0 0 20 0 9 0 436925533 706904064 19843 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19843 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=11624 CPUtime=162.16 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 23982 0 0 0 16214 2 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521133320504 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=79372 CPUtime=162.14 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 21778 0 0 0 16211 3 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521124927944 5037858 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=79372 CPUtime=159.76 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 18144 0 0 0 15974 2 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521116535240 5037744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=15635 CPUtime=162.15 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 19483 0 0 0 16213 2 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521108142792 5081706 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=79372 CPUtime=162.14 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 21323 0 0 0 16212 2 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521099750088 5039328 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=79372 CPUtime=162.14 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 19231 0 0 0 16213 1 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521091357288 5039328 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=79372 CPUtime=162.13 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 22905 0 0 0 16211 2 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521082964472 5076431 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=79372 CPUtime=162.15 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 21549 0 0 0 16212 3 0 0 20 0 9 0 436925544 706904064 19843 33554432000 4194304 6211092 140723725552608 140521074571576 5038964 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 1294.95 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79372 KiB
[startup+222.301 s]
/proc/loadavg: 8.16 8.23 8.38 9/202 17393
/proc/meminfo: memFree=30792828/32770624 swapFree=66952508/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79456 CPUtime=1773.93 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 190985 0 0 0 177369 24 0 0 20 0 9 0 436925533 706904064 19864 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19864 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=79456 CPUtime=222.15 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 24279 0 0 0 22213 2 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521133320504 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=79456 CPUtime=222.14 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 22091 0 0 0 22211 3 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521124927944 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=79456 CPUtime=218.88 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 18769 0 0 0 21886 2 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521116535240 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=79456 CPUtime=222.1 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 19969 0 0 0 22208 2 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521108142792 5037882 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=79456 CPUtime=222.13 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 21581 0 0 0 22211 2 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521099750088 5396759 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=79456 CPUtime=222.13 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 19473 0 0 0 22212 1 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521091357288 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=79456 CPUtime=222.1 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 23276 0 0 0 22208 2 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521082964472 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=3612 CPUtime=222.12 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 22021 0 0 0 22209 3 0 0 20 0 9 0 436925544 706904064 19864 33554432000 4194304 6211092 140723725552608 140521074571688 5082818 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 1773.93 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79456 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.10 8.21 8.36 9/202 17393
/proc/meminfo: memFree=30793168/32770624 swapFree=66952508/67108860
[pid=17358] ppid=17355 vsize=690336 memory=79464 CPUtime=2011.14 cores=0-7
/proc/17358/stat : 17358 (cosoco) S 17355 17358 15701 0 -1 1077944320 192411 0 0 0 201090 24 0 0 20 0 9 0 436925533 706904064 19866 33554432000 4194304 6211092 140723725552608 140723725550864 140521156464375 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
/proc/17358/statm: 172584 19866 857 493 0 165889 0
[pid=17358/tid=17361] ppid=17355 vsize=690336 memory=8317482817917895235 CPUtime=251.85 cores=0-7
/proc/17358/task/17361/stat : 17361 (cosoco) R 17355 17358 15701 0 -1 4202560 24562 0 0 0 25183 2 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521133320504 5037847 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17362] ppid=17355 vsize=690336 memory=4126316290023845779 CPUtime=251.85 cores=0-7
/proc/17358/task/17362/stat : 17362 (cosoco) R 17355 17358 15701 0 -1 4202560 22290 0 0 0 25182 3 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521124927944 5078762 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17363] ppid=17355 vsize=690336 memory=11624 CPUtime=248.43 cores=0-7
/proc/17358/task/17363/stat : 17363 (cosoco) R 17355 17358 15701 0 -1 4202560 19019 0 0 0 24841 2 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521116535240 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17364] ppid=17355 vsize=690336 memory=740 CPUtime=251.81 cores=0-7
/proc/17358/task/17364/stat : 17364 (cosoco) R 17355 17358 15701 0 -1 4202560 20102 0 0 0 25179 2 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521108142792 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17365] ppid=17355 vsize=690336 memory=1056 CPUtime=251.84 cores=0-7
/proc/17358/task/17365/stat : 17365 (cosoco) R 17355 17358 15701 0 -1 4202560 21727 0 0 0 25182 2 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521099750088 5157128 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17366] ppid=17355 vsize=690336 memory=1552 CPUtime=251.84 cores=0-7
/proc/17358/task/17366/stat : 17366 (cosoco) R 17355 17358 15701 0 -1 4202560 19604 0 0 0 25183 1 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521091357288 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17367] ppid=17355 vsize=690336 memory=1040 CPUtime=251.79 cores=0-7
/proc/17358/task/17367/stat : 17367 (cosoco) R 17355 17358 15701 0 -1 4202560 23409 0 0 0 25177 2 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521082964472 5037825 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
[pid=17358/tid=17368] ppid=17355 vsize=690336 memory=4132 CPUtime=251.55 cores=0-7
/proc/17358/task/17368/stat : 17368 (cosoco) R 17355 17358 15701 0 -1 4202560 22172 0 0 0 25152 3 0 0 20 0 9 0 436925544 706904064 19866 33554432000 4194304 6211092 140723725552608 140521074571688 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8896512 140723725554710 140723725554802 140723725554802 140723725557710 0
Current children cumulated CPU time: 2011.14 s
Current children cumulated vsize: 690336 KiB
Current children cumulated memory: 79464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.024 s]
# the end of solver process 17358 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2011 s, system=0.244817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.025
CPU time (s): 2011.25
CPU user time (s): 2011
CPU system time (s): 0.244817
CPU usage (%): 798.037
Max. virtual memory (cumulated for all children) (KiB): 690336
Max. memory (cumulated for all children) (KiB): 79464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2011
system time used= 0.244817
maximum resident set size= 79720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192473
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= 100
involuntary context switches= 16663
# summary of solver processes directly reported to runsolver:
# pid: 17358
# total CPU time (s): 2011.25
# total CPU user time (s): 2011
# total CPU system time (s): 0.244817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28889 second user time and 2.34673 second system time
The end
Begin job on node117 at 2019-09-16 06:56:34
IDJOB=4398779
IDBENCH=135903
IDSOLVER=2852
FILE ID=node117/4398779-1568609836
RUNJOBID= node117-1568598149-15728
PBS_JOBID= 21703418
Free space on /tmp= 61184 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-08.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398779-1568609836/watcher-4398779-1568609836 -o /tmp/evaluation-result-4398779-1568609836/solver-4398779-1568609836 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568598149-15728 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398779-1568609836.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8e11a97c7673f129a8c4890bd1c1105b
RANDOM SEED=1511054811
node117.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.75
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.75
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.75
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.75
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: 30868992 kB
MemAvailable: 31852508 kB
Buffers: 101500 kB
Cached: 1160464 kB
SwapCached: 51052 kB
Active: 489904 kB
Inactive: 826784 kB
Active(anon): 4240 kB
Inactive(anon): 87620 kB
Active(file): 485664 kB
Inactive(file): 739164 kB
Unevictable: 108824 kB
Mlocked: 108824 kB
SwapTotal: 67108860 kB
SwapFree: 66952500 kB
Dirty: 2752 kB
Writeback: 0 kB
AnonPages: 112924 kB
Mapped: 39136 kB
Shmem: 28476 kB
Slab: 177756 kB
SReclaimable: 149048 kB
SUnreclaim: 28708 kB
KernelStack: 3344 kB
PageTables: 5184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506028 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: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 61184 MiB
End job on node117 at 2019-09-16 07:00:46