Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 309 | 2012.9 | 252.021 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-6.xml |
MD5SUM | f9b69c01e6bb1a0d57b760340d1825ed |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 303 |
Best CPU time to get the best result obtained on this benchmark | 29.7154 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 4 |
Maximum domain size | 405 |
Distribution of domain sizes | [{"size":4,"count":5},{"size":5,"count":45},{"size":405,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -model -nbcores=8 HOME/instance-4409834-1569827625.xml 0.00/0.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.01 s 0.00/0.04 c | 0.00/0.04 c | Variables: 105 0.00/0.04 c | Domain Sizes: 4..405 0.00/0.04 c | 0.00/0.04 c | Constraints: 136 0.00/0.04 c | Arity: 1..7 -- Unary: 5 -- Binary: 75 -- Ternary: 25 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | All Different: 5 0.00/0.04 c | Disjunctive: 50 0.00/0.04 c | Element Variable: 25 0.00/0.04 c | Extension: 25 (nb tuples: 5..5) -- (shared: 160) 0.00/0.04 c | Max constant: 1 0.00/0.04 c | Sum: 25 0.00/0.04 c | Unary: 5 0.00/0.04 c | 0.00/0.04 c | Objective: Minimize Max constant 0.00/0.04 0.00/0.04 c ========================================================================================================= 0.00/0.04 c Parallel mode: Portfolio 0.00/0.04 c [pFactory][Group N°0] created (threads:8). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.04 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] task 7 launched on thread 1. 0.00/0.04 c [pFactory][Group N°0] task 6 launched on thread 5. 0.00/0.04 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.04 c [pFactory][Group N°0] task 4 launched on thread 6. 0.00/0.04 c [pFactory][Group N°0] task 3 launched on thread 3. 0.00/0.04 c [pFactory][Group N°0] task 2 launched on thread 7. 0.00/0.04 c [pFactory][Group N°0] task 1 launched on thread 2. 0.00/0.04 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.04 o 397 0.00/0.07 o 395 0.00/0.10 o 389 0.71/0.11 o 374 0.71/0.16 o 372 0.71/0.19 o 367 1.54/0.23 o 366 1.54/0.23 o 359 1.54/0.25 o 354 1.54/0.27 o 353 2.32/0.33 o 351 2.32/0.39 o 346 3.11/0.49 o 345 3.11/0.50 o 341 4.66/0.65 o 329 9.39/1.23 o 328 10.19/1.38 o 327 14.98/2.00 o 326 18.97/2.46 o 325 45.34/5.76 o 324 54.12/6.80 o 321 83.67/10.58 o 320 93.26/11.71 o 319 105.24/13.21 o 318 109.24/13.78 o 317 122.05/15.37 o 316 125.29/15.75 o 315 135.64/17.03 o 314 543.01/68.08 o 313 572.53/71.72 o 312 858.50/107.53 o 311 1042.21/130.55 o 310 1547.06/193.71 o 309 2012.79/252.01 2012.79/252.01 c *** INTERRUPTED *** 2012.79/252.01 c call to solver : 18 2012.79/252.01 c 2012.79/252.01 c restarts : 104202 2012.79/252.01 c conflicts : 364184 (181 /sec) 2012.79/252.01 c decisions : 3057999 (1519 /sec) 2012.79/252.01 c propagations : 884240635 (439291 /sec) 2012.79/252.01 c root propagations : 3780 2012.79/252.01 c filter calls : 72431801 (35984 /sec) 2012.79/252.01 c useless filter calls : 50021529 (69 %) 2012.79/252.01 c Memory used : 605.97 MB 2012.79/252.01 c Best bound time (wc) : 193.712 s 2012.79/252.01 c CPU time : 2012.88 s 2012.79/252.01 c real time : 252.014 s 2012.79/252.01 2012.79/252.01 s SATISFIABLE 2012.79/252.01 c Best value found: 309 2012.79/252.01 2012.79/252.01 2012.79/252.01 v <instantiation type='solution' cost='309'> 2012.79/252.01 v <list>d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] e[0] e[1] e[2] e[3] e[4] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] </list> 2012.79/252.01 v <values>16 62 51 65 65 85 31 49 58 71 78 2 47 63 62 48 95 14 42 97 89 80 7 9 76 308 306 294 308 309 0 48 116 167 243 0 85 116 165 235 0 85 105 165 232 0 48 152 169 211 0 89 196 223 233 167 116 48 243 0 235 85 116 0 165 105 0 165 85 232 152 211 0 169 48 0 196 233 89 223 4 2 1 0 3 3 1 2 4 0 1 3 0 2 4 2 4 0 3 1 0 3 1 4 2 </values> 2012.79/252.01 v </instantiation> 2012.79/252.01
OK 309
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 (13034 MiB free) memory of node 1: 16384 MiB (15703 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409834-1569827625/watcher-4409834-1569827625 -o /tmp/evaluation-result-4409834-1569827625/solver-4409834-1569827625 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409834-1569827625.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=597, runsolver pid=593 [startup+0.10527 s]* /proc/loadavg: 8.42 8.52 8.00 9/200 607 /proc/meminfo: memFree=29421588/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=622068 memory=11076 CPUtime=0.71 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 3246 0 0 0 71 0 0 0 20 0 9 0 558924016 636997632 2769 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155517 2769 901 493 0 148822 0 [pid=597/tid=600] ppid=593 vsize=622068 memory=8318255677412212789 CPUtime=0.09 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 9 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743062105104 5102815 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=622068 memory=339 CPUtime=0.09 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 9 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743053712416 5168392 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=622068 memory=140117151316310 CPUtime=0.09 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 9 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743045319712 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=622068 memory=-1 CPUtime=0.09 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 9 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743036926992 5167553 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=622068 memory=0 CPUtime=0.08 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 8 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743028534288 5167960 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=622068 memory=0 CPUtime=0.09 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 154 0 0 0 9 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743020141600 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=622068 memory=-1 CPUtime=0.09 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 9 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743011748880 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=622068 memory=0 CPUtime=0.08 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 8 0 0 0 20 0 9 0 558924017 636997632 2769 33554432000 4194304 6211132 140728424991936 139743003356432 5393952 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 0.71 s Current children cumulated vsize: 622068 KiB Current children cumulated memory: 11076 KiB [startup+0.210269 s]* /proc/loadavg: 8.42 8.52 8.00 9/200 607 /proc/meminfo: memFree=29421588/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=621548 memory=10880 CPUtime=1.54 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 3246 0 0 0 154 0 0 0 20 0 9 0 558924016 636465152 2720 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155387 2720 901 493 0 148692 0 [pid=597/tid=600] ppid=593 vsize=621548 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743062105104 5394002 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=621548 memory=339 CPUtime=0.19 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743053712224 5393997 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=621548 memory=140117151316310 CPUtime=0.19 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743045319712 5393970 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=621548 memory=-1 CPUtime=0.19 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743036926992 5168395 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=621548 memory=0 CPUtime=0.17 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 17 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743028534288 5102734 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=621548 memory=0 CPUtime=0.19 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 154 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743020141600 5390476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=621548 memory=-1 CPUtime=0.19 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743011748880 5167536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=621548 memory=0 CPUtime=0.19 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 19 0 0 0 20 0 9 0 558924017 636465152 2720 33554432000 4194304 6211132 140728424991936 139743003356176 5167173 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 1.54 s Current children cumulated vsize: 621548 KiB Current children cumulated memory: 10880 KiB [startup+0.310269 s]* /proc/loadavg: 8.42 8.52 8.00 9/200 607 /proc/meminfo: memFree=29421308/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10392 CPUtime=2.32 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 3246 0 0 0 232 0 0 0 20 0 9 0 558924016 635400192 2598 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2598 901 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743062105120 5167561 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=0 CPUtime=0.29 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743053712224 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=0 CPUtime=0.29 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743045319712 5393952 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=6944656592455097440 CPUtime=0.29 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743036927008 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=0 CPUtime=0.26 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 26 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743028534288 5167591 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=0 CPUtime=0.29 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 154 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743020141600 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=0 CPUtime=0.29 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743011748992 5168251 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=0 CPUtime=0.29 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 29 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743003356176 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 2.32 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10392 KiB [startup+0.711269 s] /proc/loadavg: 8.42 8.52 8.00 9/200 607 /proc/meminfo: memFree=29421308/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10392 CPUtime=5.47 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 3257 0 0 0 547 0 0 0 20 0 9 0 558924016 635400192 2598 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2598 901 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=10392 CPUtime=0.68 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 68 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743062105104 5394016 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=1096 CPUtime=0.69 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 160 0 0 0 69 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743053712400 5394016 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=6304 CPUtime=0.68 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 68 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743045319808 5167920 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=14012 CPUtime=0.68 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 68 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743036927104 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=6484 CPUtime=0.64 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 155 0 0 0 64 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743028534288 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=14068 CPUtime=0.68 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 162 0 0 0 68 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743020141504 5167561 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=2120 CPUtime=0.68 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 163 0 0 0 68 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743011748536 5167233 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=504 CPUtime=0.68 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 156 0 0 0 68 0 0 0 20 0 9 0 558924017 635400192 2598 33554432000 4194304 6211132 140728424991936 139743003356432 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 5.47 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10392 KiB [startup+1.50127 s] /proc/loadavg: 8.42 8.52 8.00 9/200 607 /proc/meminfo: memFree=29421300/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10448 CPUtime=11.79 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 4649 0 0 0 1178 1 0 0 20 0 9 0 558924016 635400192 2612 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2612 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=0 CPUtime=1.47 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 281 0 0 0 147 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743062105360 5390019 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=0 CPUtime=1.48 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 287 0 0 0 148 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743053712416 5394016 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=10448 CPUtime=1.47 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 343 0 0 0 147 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743045319808 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=14863 CPUtime=1.47 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 335 0 0 0 147 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743036926992 5168401 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=22626 CPUtime=1.41 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 319 0 0 0 141 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743028534544 5166864 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=1328725297981317182 CPUtime=1.47 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 393 0 0 0 147 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743020141600 5155654 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=1052 CPUtime=1.47 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 388 0 0 0 147 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743011748536 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=81 CPUtime=1.47 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 309 0 0 0 147 0 0 0 20 0 9 0 558924017 635400192 2612 33554432000 4194304 6211132 140728424991936 139743003356432 5158069 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 11.79 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10448 KiB [startup+3.10927 s] /proc/loadavg: 8.38 8.51 8.00 9/200 607 /proc/meminfo: memFree=29421300/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10460 CPUtime=24.63 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 5818 0 0 0 2462 1 0 0 20 0 9 0 558924016 635400192 2615 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2615 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=14863 CPUtime=3.08 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 440 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743062105216 5156140 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=22626 CPUtime=3.08 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 431 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743053712416 5393997 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=10392 CPUtime=3.08 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 418 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743045319808 5102776 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=924 CPUtime=3.08 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 531 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743036926992 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=1692 CPUtime=3 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 530 0 0 0 300 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743028534544 5193742 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=912 CPUtime=3.08 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 490 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743020141488 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=1448 CPUtime=3.08 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 563 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743011749136 5390019 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=3588 CPUtime=3.08 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 421 0 0 0 308 0 0 0 20 0 9 0 558924017 635400192 2615 33554432000 4194304 6211132 140728424991936 139743003356176 5394016 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 24.63 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10460 KiB [startup+6.30127 s] /proc/loadavg: 8.38 8.51 8.00 9/200 607 /proc/meminfo: memFree=29421516/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10468 CPUtime=50.13 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 8468 0 0 0 5012 1 0 0 20 0 9 0 558924016 635400192 2617 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2617 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=140121442182783 CPUtime=6.27 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 771 0 0 0 627 0 0 0 20 0 9 0 558924017 635400192 2617 33554432000 4194304 6211132 140728424991936 139743062105216 5168251 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=10468 CPUtime=6.28 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 725 0 0 0 628 0 0 0 20 0 9 0 558924017 635400192 2617 33554432000 4194304 6211132 140728424991936 139743053712512 5168251 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=1940 CPUtime=6.27 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 731 0 0 0 627 0 0 0 20 0 9 0 558924017 635400192 2617 33554432000 4194304 6211132 140728424991936 139743045319808 5167040 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=0 CPUtime=6.27 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 901 0 0 0 627 0 0 0 20 0 9 0 558924017 635400192 2617 33554432000 4194304 6211132 140728424991936 139743036926992 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 ################ # More data... # ################ /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 1301 0 0 0 2548 0 0 0 20 0 9 0 558924017 635400192 2621 33554432000 4194304 6211132 140728424991936 139743045319808 5167539 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=0 CPUtime=25.47 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 1411 0 0 0 2547 0 0 0 20 0 9 0 558924017 635400192 2621 33554432000 4194304 6211132 140728424991936 139743036927104 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=8046186993342713441 CPUtime=25.13 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 1407 0 0 0 2513 0 0 0 20 0 9 0 558924017 635400192 2621 33554432000 4194304 6211132 140728424991936 139743028534288 5167582 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=10484 CPUtime=25.47 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 1311 0 0 0 2547 0 0 0 20 0 9 0 558924017 635400192 2621 33554432000 4194304 6211132 140728424991936 139743020141240 5389855 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=3588 CPUtime=25.47 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 1351 0 0 0 2547 0 0 0 20 0 9 0 558924017 635400192 2621 33554432000 4194304 6211132 140728424991936 139743011748536 5168248 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=10612 CPUtime=25.47 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 1282 0 0 0 2547 0 0 0 20 0 9 0 558924017 635400192 2621 33554432000 4194304 6211132 140728424991936 139743003356432 5186278 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 203.49 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10484 KiB [startup+51.1103 s] /proc/loadavg: 8.26 8.45 8.00 9/200 620 /proc/meminfo: memFree=29422472/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10524 CPUtime=408.04 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 14949 0 0 0 40803 1 0 0 20 0 9 0 558924016 635400192 2631 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2631 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=10524 CPUtime=51.08 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 1519 0 0 0 5108 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743062105360 5150124 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=10524 CPUtime=51.09 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 1378 0 0 0 5109 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743053712656 5193742 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=280234000096640 CPUtime=50.92 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 1607 0 0 0 5092 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743045319808 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=10524 CPUtime=51.08 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 1723 0 0 0 5108 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743036927104 5394016 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=10524 CPUtime=50.58 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 1798 0 0 0 5058 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743028534288 5193740 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=10612 CPUtime=51.07 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 1630 0 0 0 5107 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743020141240 5389855 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=10524 CPUtime=51.08 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 1649 0 0 0 5108 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743011748552 5394016 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=7548 CPUtime=51.07 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 1651 0 0 0 5107 0 0 0 20 0 9 0 558924017 635400192 2631 33554432000 4194304 6211132 140728424991936 139743003356176 5186256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 408.04 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10524 KiB [startup+102.301 s] /proc/loadavg: 8.18 8.40 8.01 9/200 623 /proc/meminfo: memFree=29421920/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10528 CPUtime=816.96 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 21097 0 0 0 81694 2 0 0 20 0 9 0 558924016 635400192 2632 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2632 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=10528 CPUtime=102.27 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 2174 0 0 0 10227 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743062105360 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=10528 CPUtime=102.28 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 2091 0 0 0 10228 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743053712656 5158008 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=140121442182783 CPUtime=101.51 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 2400 0 0 0 10151 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743045319808 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=10528 CPUtime=102.27 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 2535 0 0 0 10227 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743036926992 5168224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=776 CPUtime=101.76 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 2638 0 0 0 10176 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743028534288 5167052 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=10528 CPUtime=102.26 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 2370 0 0 0 10226 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743020141240 5193742 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=10528 CPUtime=102.27 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 2435 0 0 0 10227 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743011748816 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=280234000208800 CPUtime=102.26 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 2460 0 0 0 10226 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743003356176 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 816.96 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10528 KiB [startup+162.301 s] /proc/loadavg: 8.12 8.34 8.01 9/199 626 /proc/meminfo: memFree=29422468/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10528 CPUtime=1296.23 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 22361 0 0 0 129621 2 0 0 20 0 9 0 558924016 635400192 2632 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2632 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=10528 CPUtime=162.28 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 2313 0 0 0 16228 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743062105360 5081184 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=1328725297981317182 CPUtime=162.28 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 2252 0 0 0 16228 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743053712656 5102856 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=10528 CPUtime=160.79 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 2550 0 0 0 16079 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743045319808 5193742 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=10528 CPUtime=162.28 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 2634 0 0 0 16228 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743036926992 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=10528 CPUtime=161.75 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 2837 0 0 0 16175 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743028534288 5102783 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=10528 CPUtime=162.26 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 2495 0 0 0 16226 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743020141240 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=10528 CPUtime=162.26 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 2653 0 0 0 16226 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743011748872 5389929 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=10528 CPUtime=162.26 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 2633 0 0 0 16226 0 0 0 20 0 9 0 558924017 635400192 2632 33554432000 4194304 6211132 140728424991936 139743003356176 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 1296.23 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10528 KiB [startup+222.301 s] /proc/loadavg: 8.27 8.34 8.03 9/199 633 /proc/meminfo: memFree=29420888/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10536 CPUtime=1775.5 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 23666 0 0 0 177548 2 0 0 20 0 9 0 558924016 635400192 2634 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2634 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=3588 CPUtime=222.28 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 2490 0 0 0 22228 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743062105360 5156960 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=10536 CPUtime=222.28 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 2387 0 0 0 22228 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743053712400 5168392 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=10536 CPUtime=220.08 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 2687 0 0 0 22008 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743045319808 5168251 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=10536 CPUtime=222.26 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 2760 0 0 0 22226 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743036926992 5394002 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=10536 CPUtime=221.75 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 3029 0 0 0 22175 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743028534288 5393997 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=10536 CPUtime=222.26 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 2626 0 0 0 22226 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743020141240 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=3588 CPUtime=222.26 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 2836 0 0 0 22226 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743011748536 5390049 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=10612 CPUtime=222.25 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 2857 0 0 0 22225 0 0 0 20 0 9 0 558924017 635400192 2634 33554432000 4194304 6211132 140728424991936 139743003356176 5168392 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 1775.5 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10536 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.56 8.41 8.06 9/199 633 /proc/meminfo: memFree=29421220/32770624 swapFree=67002708/67108860 [pid=597] ppid=593 vsize=620508 memory=10544 CPUtime=2012.79 cores=0-7 /proc/597/stat : 597 (cosoco) S 593 597 31337 0 -1 1077944320 24865 0 0 0 201277 2 0 0 20 0 9 0 558924016 635400192 2636 33554432000 4194304 6211132 140728424991936 140728424990192 139743085248247 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 /proc/597/statm: 155127 2636 902 493 0 148432 0 [pid=597/tid=600] ppid=593 vsize=620508 memory=1398722017469774279 CPUtime=251.99 cores=0-7 /proc/597/task/600/stat : 600 (cosoco) R 593 597 31337 0 -1 4202560 2621 0 0 0 25199 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743062105360 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=601] ppid=593 vsize=620508 memory=1940 CPUtime=251.99 cores=0-7 /proc/597/task/601/stat : 601 (cosoco) R 593 597 31337 0 -1 4202560 2536 0 0 0 25199 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743053712400 5168368 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=602] ppid=593 vsize=620508 memory=1416 CPUtime=249.43 cores=0-7 /proc/597/task/602/stat : 602 (cosoco) R 593 597 31337 0 -1 4202560 2840 0 0 0 24943 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743045319808 5168520 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=603] ppid=593 vsize=620508 memory=1556 CPUtime=251.97 cores=0-7 /proc/597/task/603/stat : 603 (cosoco) R 593 597 31337 0 -1 4202560 2961 0 0 0 25197 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743036926992 5168251 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=604] ppid=593 vsize=620508 memory=740 CPUtime=251.46 cores=0-7 /proc/597/task/604/stat : 604 (cosoco) R 593 597 31337 0 -1 4202560 3198 0 0 0 25146 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743028534288 5166692 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=605] ppid=593 vsize=620508 memory=1052 CPUtime=251.97 cores=0-7 /proc/597/task/605/stat : 605 (cosoco) R 593 597 31337 0 -1 4202560 2762 0 0 0 25197 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743020141240 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=606] ppid=593 vsize=620508 memory=1052 CPUtime=251.97 cores=0-7 /proc/597/task/606/stat : 606 (cosoco) R 593 597 31337 0 -1 4202560 2989 0 0 0 25197 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743011748536 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 [pid=597/tid=607] ppid=593 vsize=620508 memory=7548 CPUtime=251.96 cores=0-7 /proc/597/task/607/stat : 607 (cosoco) R 593 597 31337 0 -1 4202560 2964 0 0 0 25196 0 0 0 20 0 9 0 558924017 635400192 2636 33554432000 4194304 6211132 140728424991936 139743003356176 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30076928 140728424993814 140728424993906 140728424993906 140728424996814 0 Current children cumulated CPU time: 2012.79 s Current children cumulated vsize: 620508 KiB Current children cumulated memory: 10544 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.021 s] # the end of solver process 597 was just reported to runsolver # cumulated CPU time of all completed processes: user=2012.88 s, system=0.02299 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.021 CPU time (s): 2012.9 CPU user time (s): 2012.88 CPU system time (s): 0.02299 CPU usage (%): 798.705 Max. virtual memory (cumulated for all children) (KiB): 622068 Max. memory (cumulated for all children) (KiB): 11076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2012.88 system time used= 0.02299 maximum resident set size= 11296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24914 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= 367 involuntary context switches= 16547 # summary of solver processes directly reported to runsolver: # pid: 597 # total CPU time (s): 2012.9 # total CPU user time (s): 2012.88 # total CPU system time (s): 0.02299 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.08072 second user time and 1.95811 second system time The end
Begin job on node148 at 2019-09-30 09:13:07 IDJOB=4409834 IDBENCH=115829 IDSOLVER=2878 FILE ID=node148/4409834-1569827625 RUNJOBID= node148-1569816318-31364 PBS_JOBID= 21705905 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-6.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409834-1569827625/watcher-4409834-1569827625 -o /tmp/evaluation-result-4409834-1569827625/solver-4409834-1569827625 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409834-1569827625.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f9b69c01e6bb1a0d57b760340d1825ed RANDOM SEED=341740620 node148.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.13 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.13 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.13 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.13 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: 29428268 kB MemAvailable: 31874576 kB Buffers: 136048 kB Cached: 2648860 kB SwapCached: 3492 kB Active: 1790960 kB Inactive: 998764 kB Active(anon): 2784 kB Inactive(anon): 82664 kB Active(file): 1788176 kB Inactive(file): 916100 kB Unevictable: 110988 kB Mlocked: 110988 kB SwapTotal: 67108860 kB SwapFree: 67002708 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 113764 kB Mapped: 25920 kB Shmem: 71772 kB Slab: 144372 kB SReclaimable: 115732 kB SUnreclaim: 28640 kB KernelStack: 3424 kB PageTables: 5096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539052 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62028 MiB End job on node148 at 2019-09-30 09:17:20