| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | SAT (TO) | 48 | 20118.2 | 2520.02 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-1.xml |
| MD5SUM | bac8a2bd88d13c89c2cced4f7584e960 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 48 |
| Best CPU time to get the best result obtained on this benchmark | 28.4008 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 211 |
| Number of constraints | 4100 |
| Number of domains | 1 |
| Minimum domain size | 211 |
| Maximum domain size | 211 |
| Distribution of domain sizes | [{"size":211,"count":211}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 112 |
| Distribution of variable degrees | [{"degree":1,"count":85},{"degree":29,"count":1},{"degree":30,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":3},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":7},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":4},{"degree":43,"count":3},{"degree":44,"count":2},{"degree":45,"count":11},{"degree":47,"count":6},{"degree":48,"count":7},{"degree":49,"count":5},{"degree":50,"count":3},{"degree":51,"count":2},{"degree":52,"count":1},{"degree":53,"count":1},"...",{"degree":68,"count":1}, {"degree":72,"count":1}, {"degree":75,"count":1}, {"degree":85,"count":1}, {"degree":87,"count":1}, {"degree":89,"count":1}, {"degree":90,"count":1}, {"degree":92,"count":1}, {"degree":95,"count":1}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":100,"count":1}, {"degree":101,"count":5}, {"degree":102,"count":2}, {"degree":103,"count":1}, {"degree":104,"count":6}, {"degree":105,"count":1}, {"degree":106,"count":1}, {"degree":107,"count":1}, {"degree":108,"count":2}, {"degree":109,"count":1}, {"degree":110,"count":11}, {"degree":111,"count":1}, {"degree":112,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":4100}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4100 |
| Distribution of constraint types | [{"type":"intension","count":4100}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.84/0.71 c 0.84/0.71 c This is cosoco 2.00 -- 0.84/0.71 c 0.84/0.71 c command line: cosoco -model -nbcores=8 HOME/instance-4409779-1569819070.xml 0.84/0.71 c enable optimization 0.84/0.71 c ========================================[ Problem Statistics ]=========================================== 0.84/0.71 c | 0.84/0.71 c | Parse time : 0.65 s 0.84/0.71 c | 0.84/0.71 c | Variables: 211 0.84/0.71 c | Domain Sizes: 211..211 0.84/0.71 c | 0.84/0.71 c | Constraints: 4101 0.84/0.71 c | Arity: 2..211 -- Binary: 4100 0.84/0.71 c | 0.84/0.71 c | Types: 0.84/0.71 c | (X != Y): 4100 0.84/0.71 c | Max constant: 1 0.84/0.71 c | 0.84/0.71 c | Objective: Minimize Max constant 0.84/0.71 0.84/0.71 c ========================================================================================================= 0.84/0.71 c Parallel mode: Portfolio 0.84/0.71 c [pFactory][Group N°0] created (threads:8). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.84/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.84/0.71 c [pFactory][Group N°0] concurrent mode: enabled. 0.84/0.71 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.84/0.71 c [pFactory][Group N°0] task 7 launched on thread 0. 0.84/0.71 c [pFactory][Group N°0] task 6 launched on thread 1. 0.84/0.71 c [pFactory][Group N°0] task 5 launched on thread 2. 0.84/0.71 c [pFactory][Group N°0] task 4 launched on thread 6. 0.84/0.71 c [pFactory][Group N°0] task 3 launched on thread 7. 0.84/0.71 c [pFactory][Group N°0] task 2 launched on thread 3. 0.84/0.71 c [pFactory][Group N°0] task 1 launched on thread 5. 0.84/0.71 c [pFactory][Group N°0] task 0 launched on thread 4. 0.84/0.71 o 48 20118.05/2520.02 20118.05/2520.02 c *** INTERRUPTED *** 20118.05/2520.02 c call to solver : 1 20118.05/2520.02 c 20118.05/2520.02 c restarts : 262147 20118.05/2520.02 c conflicts : 2893383 (144 /sec) 20118.05/2520.02 c decisions : 20006280 (994 /sec) 20118.05/2520.02 c propagations : 1569463953 (78016 /sec) 20118.05/2520.02 c root propagations : 42129 20118.05/2520.02 c filter calls : 50572198821 (2513887 /sec) 20118.05/2520.02 c useless filter calls : 49033878581 (96 %) 20118.05/2520.02 c Memory used : 665.20 MB 20118.05/2520.02 c Best bound time (wc) : 0.704009 s 20118.05/2520.02 c CPU time : 20117.1 s 20118.05/2520.02 c real time : 2520.02 s 20118.05/2520.02 20118.05/2520.02 s SATISFIABLE 20118.05/2520.02 c Best value found: 48 20118.05/2520.02 20118.05/2520.02 20118.05/2520.02 v <instantiation type='solution' cost='48'> 20118.05/2520.02 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 20118.05/2520.02 v <values>1 0 0 22 0 0 39 0 0 0 0 11 0 0 40 17 0 0 0 0 0 0 12 17 0 0 41 0 42 0 0 42 0 13 0 42 0 17 17 0 0 0 0 43 14 44 44 0 0 23 23 0 0 40 0 15 0 0 0 0 0 0 0 0 44 45 16 44 45 44 0 0 22 0 0 0 0 1 0 44 0 22 45 46 45 45 45 22 12 21 21 21 21 0 0 0 0 0 46 13 44 0 0 0 47 0 22 48 22 22 14 2 0 46 22 0 0 44 0 44 0 0 15 17 16 11 10 9 8 2 3 4 5 3 6 7 0 0 0 18 0 0 0 0 4 19 0 20 0 21 0 17 22 0 0 5 23 0 0 24 0 22 0 0 17 40 6 17 40 0 17 18 19 20 21 23 24 7 25 26 27 28 29 30 31 32 33 25 8 34 0 26 35 0 27 28 36 0 37 9 0 38 0 0 0 0 0 0 0 0 10 </values> 20118.05/2520.02 v </instantiation> 20118.05/2520.02
OK 48
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 (15202 MiB free)
memory of node 1: 16384 MiB (15050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409779-1569819070/watcher-4409779-1569819070 -o /tmp/evaluation-result-4409779-1569819070/solver-4409779-1569819070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409779-1569819070.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=9501, runsolver pid=9498
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.00 1.04 1.36 3/192 9502
/proc/meminfo: memFree=30971652/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=35608 memory=11728 CPUtime=0.1 cores=0-7
/proc/9501/stat : 9501 (cosoco) R 9498 9501 9321 0 -1 4202496 3153 0 0 0 10 0 0 0 20 0 1 0 557845262 36462592 2932 33554432000 4194304 6211132 140725070558896 140725070553640 140628333800421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 8902 2932 822 493 0 2207 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35608 KiB
Current children cumulated memory: 11728 KiB
[startup+0.209453 s]*
/proc/loadavg: 1.00 1.04 1.36 2/192 9502
/proc/meminfo: memFree=30962148/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=45352 memory=21600 CPUtime=0.2 cores=0-7
/proc/9501/stat : 9501 (cosoco) R 9498 9501 9321 0 -1 4202496 5566 0 0 0 20 0 0 0 20 0 1 0 557845262 46440448 5400 33554432000 4194304 6211132 140725070558896 140725070553336 140628333800421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 11338 5400 822 493 0 4643 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 21600 KiB
[startup+0.309361 s]*
/proc/loadavg: 1.00 1.04 1.36 2/192 9502
/proc/meminfo: memFree=30953592/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=54180 memory=30296 CPUtime=0.3 cores=0-7
/proc/9501/stat : 9501 (cosoco) R 9498 9501 9321 0 -1 4202496 7769 0 0 0 30 0 0 0 20 0 1 0 557845262 55480320 7574 33554432000 4194304 6211132 140725070558896 140725070553336 140628333800421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 13545 7574 822 493 0 6850 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54180 KiB
Current children cumulated memory: 30296 KiB
[startup+0.705211 s]
/proc/loadavg: 1.00 1.04 1.36 2/192 9502
/proc/meminfo: memFree=30935736/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=675508 memory=62236 CPUtime=0.84 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 15960 0 0 0 82 2 0 0 20 0 9 0 557845262 691720192 15559 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 168877 15559 864 493 0 162182 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 675508 KiB
Current children cumulated memory: 62236 KiB
[startup+1.50121 s]
/proc/loadavg: 1.00 1.04 1.36 9/200 9510
/proc/meminfo: memFree=30901720/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=78704 CPUtime=7.15 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 22212 0 0 0 711 4 0 0 20 0 9 0 557845262 697503744 19676 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19676 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=33 CPUtime=0.8 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 596 0 0 0 80 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628326698312 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=576460756329955604 CPUtime=0.8 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 1244 0 0 0 80 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628318305296 5390476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=288230621906762744 CPUtime=0.81 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 704 0 0 0 81 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628309912904 5392297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=15819993304535434 CPUtime=0.81 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 1247 0 0 0 81 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628301519888 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=0 CPUtime=0.8 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 722 0 0 0 80 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628293127184 5009101 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=0 CPUtime=0.8 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 688 0 0 0 80 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628284734480 5008971 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=-7035114785800479027 CPUtime=0.79 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 502 0 0 0 79 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628276341776 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=6944656592455360604 CPUtime=0.81 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 744 0 0 0 81 0 0 0 20 0 9 0 557845330 697503744 19676 33554432000 4194304 6211132 140725070558896 140628267949072 5165640 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 78704 KiB
[startup+3.11021 s]
/proc/loadavg: 1.56 1.16 1.39 9/200 9510
/proc/meminfo: memFree=30906160/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79220 CPUtime=20 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 37101 0 0 0 1992 8 0 0 20 0 9 0 557845262 697503744 19805 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19805 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=79220 CPUtime=2.4 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 1574 0 0 0 240 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628326698312 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=0 CPUtime=2.41 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 4001 0 0 0 241 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628318305296 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=0 CPUtime=2.41 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 1131 0 0 0 241 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628309912904 5193744 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=0 CPUtime=2.41 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 4707 0 0 0 241 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628301519888 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=0 CPUtime=2.41 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 1577 0 0 0 240 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628293126680 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=0 CPUtime=2.41 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 4203 0 0 0 241 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628284734480 5165656 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=79220 CPUtime=2.37 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 2974 0 0 0 237 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628276341776 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=7810763930760341568 CPUtime=2.41 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 1169 0 0 0 241 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628267949384 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 20 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79220 KiB
[startup+6.30121 s]
/proc/loadavg: 1.56 1.16 1.39 9/200 9510
/proc/meminfo: memFree=30905228/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79220 CPUtime=45.39 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 60352 0 0 0 4527 12 0 0 20 0 9 0 557845262 697503744 19805 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19805 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=140684037523071 CPUtime=5.59 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 4546 0 0 0 558 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628326698312 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=79220 CPUtime=5.54 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 7095 0 0 0 553 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628318305296 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=3624 CPUtime=5.59 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 3132 0 0 0 558 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628309912904 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=281359281451120 CPUtime=5.59 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 8008 0 0 0 559 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628301519888 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=42982019435242 CPUtime=5.58 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 5927 0 0 0 557 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628293126680 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=281359281606832 CPUtime=5.59 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 8334 0 0 0 559 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628284734480 5165656 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=0 CPUtime=5.54 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 5004 0 0 0 554 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628276341776 5390448 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=7300728970739542608 CPUtime=5.59 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 2541 0 0 0 559 0 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628267949384 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 45.39 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79220 KiB
[startup+12.7012 s]
/proc/loadavg: 2.08 1.27 1.43 9/199 9510
/proc/meminfo: memFree=30905516/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79220 CPUtime=96.48 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 103499 0 0 0 9627 21 0 0 20 0 9 0 557845262 697503744 19805 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19805 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=1540 CPUtime=11.99 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 10046 0 0 0 1197 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628326698312 5165708 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=33 CPUtime=11.85 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 12941 0 0 0 1183 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628318305296 5165714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=79220 CPUtime=11.99 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 6894 0 0 0 1197 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628309912904 5165744 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=79220 CPUtime=11.99 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 13916 0 0 0 1198 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628301519888 5165757 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=79220 CPUtime=11.98 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 13507 0 0 0 1195 3 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628293126680 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=-8325000837725443164 CPUtime=11.98 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 15633 0 0 0 1197 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628284734480 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=55 CPUtime=11.94 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 8538 0 0 0 1193 1 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628276341776 5390500 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=576574510189602056 CPUtime=12 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 6259 0 0 0 1198 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628267949384 5392736 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 96.48 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79220 KiB
[startup+25.5012 s]
/proc/loadavg: 3.46 1.62 1.54 9/199 9510
/proc/meminfo: memFree=30905096/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79220 CPUtime=198.67 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 132469 0 0 0 19842 25 0 0 20 0 9 0 557845262 697503744 19805 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19805 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=79220 CPUtime=24.79 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 13829 0 0 0 2476 3 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628326698312 5008831 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=79220 CPUtime=24.48 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 16428 0 0 0 2445 3 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628318305296 5390495 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=79220 CPUtime=24.78 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 9712 0 0 0 2476 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628309912904 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=281359281471488 CPUtime=24.78 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 17532 0 0 0 2476 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628301519888 5165680 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=79220 CPUtime=24.76 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 18209 0 0 0 2473 3 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628293126680 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=55 CPUtime=24.78 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 20129 0 0 0 2476 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628284734480 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=3472468975059794397 CPUtime=24.75 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 11537 0 0 0 2473 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628276341776 5009022 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=3593067 CPUtime=24.79 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 9328 0 0 0 2477 2 0 0 20 0 9 0 557845330 697503744 19805 33554432000 4194304 6211132 140725070558896 140628267949384 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 198.67 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79220 KiB
################
# More data... #
################
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 46678 0 0 0 225664 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628309912904 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 10 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=79868 CPUtime=2256.04 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 55821 0 0 0 225593 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628301519888 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=79868 CPUtime=2258.72 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 77049 0 0 0 225857 15 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628293126680 5008971 0 0 4096 8405026 0 0 0 -1 3 0 0 10 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=79868 CPUtime=2258.55 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 74100 0 0 0 225843 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628284734480 5165714 0 0 4096 8405026 0 0 0 -1 6 0 0 10 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=3624 CPUtime=2260.6 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 48197 0 0 0 226049 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628276341776 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 10 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=10368 CPUtime=2261.28 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 50507 0 0 0 226118 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628267949384 5009195 0 0 4096 8405026 0 0 0 -1 5 0 0 9 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 18060.2 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79868 KiB
[startup+2322.3 s]
/proc/loadavg: 8.13 8.14 7.68 9/199 9700
/proc/meminfo: memFree=30903540/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79868 CPUtime=18539.3 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 489478 0 0 0 1853827 99 0 0 20 0 9 0 557845262 697503744 19967 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19967 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=79868 CPUtime=2319.7 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 62160 0 0 0 231958 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628326698312 5392352 0 0 4096 8405026 0 0 0 -1 7 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=79868 CPUtime=2306.97 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 51419 0 0 0 230686 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628318305296 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=79868 CPUtime=2316.73 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 47951 0 0 0 231663 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628309912904 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=79868 CPUtime=2316.02 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 56735 0 0 0 231591 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628301519888 5165649 0 0 4096 8405026 0 0 0 -1 4 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=79868 CPUtime=2318.7 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 78105 0 0 0 231855 15 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628293126680 5397493 0 0 4096 8405026 0 0 0 -1 0 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=79868 CPUtime=2318.53 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 75716 0 0 0 231841 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628284734480 5165640 0 0 4096 8405026 0 0 0 -1 6 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=79868 CPUtime=2320.58 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 49638 0 0 0 232047 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628276341776 5392293 0 0 4096 8405026 0 0 0 -1 1 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=79868 CPUtime=2321.27 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 51989 0 0 0 232116 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628267949384 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 10 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 18539.3 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79868 KiB
[startup+2382.3 s]
/proc/loadavg: 8.46 8.25 7.75 9/200 9713
/proc/meminfo: memFree=30902884/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79868 CPUtime=19018.4 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 490007 0 0 0 1901737 100 0 0 20 0 9 0 557845262 697503744 19967 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19967 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=79868 CPUtime=2378.89 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 62242 0 0 0 237877 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628326698312 5397397 0 0 4096 8405026 0 0 0 -1 7 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=79868 CPUtime=2366.96 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 51460 0 0 0 236685 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628318305296 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=79868 CPUtime=2376.73 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 48023 0 0 0 237663 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628309912904 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=79868 CPUtime=2376.02 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 56773 0 0 0 237591 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628301519888 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=1424 CPUtime=2378.68 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 78147 0 0 0 237853 15 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628293126680 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=79868 CPUtime=2378.52 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 75800 0 0 0 237840 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628284734480 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=79868 CPUtime=2380.57 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 49714 0 0 0 238046 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628276341776 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=79868 CPUtime=2381.25 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 52083 0 0 0 238114 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628267949384 5165640 0 0 4096 8405026 0 0 0 -1 5 0 0 10 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 19018.4 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79868 KiB
[startup+2442.3 s]
/proc/loadavg: 8.46 8.30 7.80 9/200 9716
/proc/meminfo: memFree=30902872/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79868 CPUtime=19497.5 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 496009 0 0 0 1949645 101 0 0 20 0 9 0 557845262 697503744 19967 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19967 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=79868 CPUtime=2438.13 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 63071 0 0 0 243801 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628326697920 5392306 0 0 4096 8405026 0 0 0 -1 7 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=79868 CPUtime=2426.95 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 51977 0 0 0 242684 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628318305296 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=79868 CPUtime=2436.71 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 48834 0 0 0 243661 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628309912904 5165649 0 0 4096 8405026 0 0 0 -1 3 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=79868 CPUtime=2436.01 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 57354 0 0 0 243590 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628301519888 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=79868 CPUtime=2438.61 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 78684 0 0 0 243846 15 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628293126680 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=79868 CPUtime=2438.51 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 76582 0 0 0 243838 13 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628284734480 5008824 0 0 4096 8405026 0 0 0 -1 6 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=79868 CPUtime=2440.55 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 50575 0 0 0 244044 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628276341776 5009218 0 0 4096 8405026 0 0 0 -1 1 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=79868 CPUtime=2441.24 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 53167 0 0 0 244113 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628267949384 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 19497.5 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79868 KiB
[startup+2502.3 s]
/proc/loadavg: 8.21 8.26 7.82 9/200 9719
/proc/meminfo: memFree=30903728/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79868 CPUtime=19976.6 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 496518 0 0 0 1997563 101 0 0 20 0 9 0 557845262 697503744 19967 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19967 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=79868 CPUtime=2497.34 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 63138 0 0 0 249722 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628326697920 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=79868 CPUtime=2486.95 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 52032 0 0 0 248684 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628318305296 5165656 0 0 4096 8405026 0 0 0 -1 2 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=79868 CPUtime=2496.71 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 48908 0 0 0 249661 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628309912904 5389864 0 0 4096 8405026 0 0 0 -1 3 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=79868 CPUtime=2496 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 57375 0 0 0 249589 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628301519888 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=79868 CPUtime=2498.6 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 78726 0 0 0 249845 15 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628293126680 5165653 0 0 4096 8405026 0 0 0 -1 0 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=79868 CPUtime=2498.5 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 76673 0 0 0 249837 13 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628284734480 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=79868 CPUtime=2500.54 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 50666 0 0 0 250043 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628276341776 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=3624 CPUtime=2501.23 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 53235 0 0 0 250112 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628267949384 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 19976.6 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79868 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.15 8.24 7.82 9/200 9722
/proc/meminfo: memFree=30902416/32770624 swapFree=66997268/67108860
[pid=9501] ppid=9498 vsize=681156 memory=79868 CPUtime=20118.1 cores=0-7
/proc/9501/stat : 9501 (cosoco) S 9498 9501 9321 0 -1 1077944320 496519 0 0 0 2011704 101 0 0 20 0 9 0 557845262 697503744 19967 33554432000 4194304 6211132 140725070558896 140725070557152 140628349841143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
/proc/9501/statm: 170289 19967 873 493 0 163594 0
[pid=9501/tid=9503] ppid=9498 vsize=681156 memory=1804 CPUtime=2514.81 cores=0-7
/proc/9501/task/9503/stat : 9503 (cosoco) R 9498 9501 9321 0 -1 4202560 63138 0 0 0 251469 12 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628326697920 5397384 0 0 4096 8405026 0 0 0 -1 7 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9504] ppid=9498 vsize=681156 memory=4872558044660077418 CPUtime=2504.66 cores=0-7
/proc/9501/task/9504/stat : 9504 (cosoco) R 9498 9501 9321 0 -1 4202560 52032 0 0 0 250455 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628318305296 5392044 0 0 4096 8405026 0 0 0 -1 2 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9505] ppid=9498 vsize=681156 memory=1708 CPUtime=2514.41 cores=0-7
/proc/9501/task/9505/stat : 9505 (cosoco) R 9498 9501 9321 0 -1 4202560 48909 0 0 0 251431 10 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628309912904 5165616 0 0 4096 8405026 0 0 0 -1 3 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9506] ppid=9498 vsize=681156 memory=-7035114785800479027 CPUtime=2513.71 cores=0-7
/proc/9501/task/9506/stat : 9506 (cosoco) R 9498 9501 9321 0 -1 4202560 57375 0 0 0 251360 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628301519888 5392297 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9507] ppid=9498 vsize=681156 memory=4016 CPUtime=2516.3 cores=0-7
/proc/9501/task/9507/stat : 9507 (cosoco) R 9498 9501 9321 0 -1 4202560 78726 0 0 0 251615 15 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628293126680 5397493 0 0 4096 8405026 0 0 0 -1 0 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9508] ppid=9498 vsize=681156 memory=2828 CPUtime=2516.21 cores=0-7
/proc/9501/task/9508/stat : 9508 (cosoco) R 9498 9501 9321 0 -1 4202560 76673 0 0 0 251608 13 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628284734480 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9509] ppid=9498 vsize=681156 memory=1048 CPUtime=2518.25 cores=0-7
/proc/9501/task/9509/stat : 9509 (cosoco) R 9498 9501 9321 0 -1 4202560 50666 0 0 0 251814 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628276341776 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 12 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
[pid=9501/tid=9510] ppid=9498 vsize=681156 memory=6264 CPUtime=2518.94 cores=0-7
/proc/9501/task/9510/stat : 9510 (cosoco) R 9498 9501 9321 0 -1 4202560 53235 0 0 0 251883 11 0 0 20 0 9 0 557845330 697503744 19967 33554432000 4194304 6211132 140725070558896 140628267949384 5392384 0 0 4096 8405026 0 0 0 -1 5 0 0 11 0 0 8312316 8317760 37310464 140725070566417 140725070566509 140725070566509 140725070569422 0
Current children cumulated CPU time: 20118 s
Current children cumulated vsize: 681156 KiB
Current children cumulated memory: 79868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 9501 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20117.1 s, system=1.0214 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 20118.2
CPU user time (s): 20117.1
CPU system time (s): 1.0214
CPU usage (%): 798.332
Max. virtual memory (cumulated for all children) (KiB): 681156
Max. memory (cumulated for all children) (KiB): 79868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20117.1
system time used= 1.0214
maximum resident set size= 81440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496567
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= 5398
involuntary context switches= 178882
# summary of solver processes directly reported to runsolver:
# pid: 9501
# total CPU time (s): 20118.2
# total CPU user time (s): 20117.1
# total CPU system time (s): 1.0214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6326 second user time and 21.4105 second system time
The end
Begin job on node140 at 2019-09-30 06:50:28 IDJOB=4409779 IDBENCH=120638 IDSOLVER=2877 FILE ID=node140/4409779-1569819070 RUNJOBID= node140-1569818144-9348 PBS_JOBID= 21705927 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-zeroin-i-1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409779-1569819070/watcher-4409779-1569819070 -o /tmp/evaluation-result-4409779-1569819070/solver-4409779-1569819070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409779-1569819070.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bac8a2bd88d13c89c2cced4f7584e960 RANDOM SEED=2053035410 node140.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.43 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.43 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.43 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.43 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: 30979472 kB MemAvailable: 31875568 kB Buffers: 112372 kB Cached: 1121312 kB SwapCached: 3040 kB Active: 891104 kB Inactive: 350228 kB Active(anon): 3580 kB Inactive(anon): 83992 kB Active(file): 887524 kB Inactive(file): 266236 kB Unevictable: 107704 kB Mlocked: 107704 kB SwapTotal: 67108860 kB SwapFree: 66997268 kB Dirty: 2812 kB Writeback: 0 kB AnonPages: 113336 kB Mapped: 26224 kB Shmem: 71168 kB Slab: 144200 kB SReclaimable: 116344 kB SUnreclaim: 27856 kB KernelStack: 3376 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 62028 MiB End job on node140 at 2019-09-30 07:32:28