1.28/0.78 c root propagations : 551
1.28/0.78 c restarts enabled, print stats at every restarts
1.28/0.78 c
1.28/0.78 c
1.28/0.78 c
1.28/0.78 c This is cosoco 2.00 --
1.28/0.78 c
1.28/0.78 c command line: cosoco -model -nbcores=8 HOME/instance-4397969-1568614489.xml
1.28/0.78 c ========================================[ Problem Statistics ]===========================================
1.28/0.78 c |
1.28/0.78 c | Parse time : 0.59 s
1.28/0.78 c |
1.28/0.78 c | Variables: 210
1.28/0.78 c | Domain Sizes: 26..26
1.28/0.78 c |
1.28/0.78 c | Constraints: 29
1.28/0.78 c | Arity: 14..15
1.28/0.78 c |
1.28/0.78 c | Types:
1.28/0.78 c | Extension: 29 (nb tuples: 13821..23538) -- (shared: 216)
1.28/0.78 c |
1.28/0.78 c =========================================================================================================
1.28/0.78 c Parallel mode: Portfolio
1.28/0.78 c [pFactory][Group N°0] created (threads:8).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1.28/0.78 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1.28/0.78 c [pFactory][Group N°0] concurrent mode: enabled.
1.28/0.78 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1.28/0.78 c [pFactory][Group N°0] task 7 launched on thread 4.
1.28/0.78 c [pFactory][Group N°0] task 6 launched on thread 0.
1.28/0.78 c [pFactory][Group N°0] task 5 launched on thread 1.
1.28/0.78 c [pFactory][Group N°0] task 4 launched on thread 2.
1.28/0.78 c [pFactory][Group N°0] task 3 launched on thread 6.
1.28/0.78 c [pFactory][Group N°0] task 2 launched on thread 7.
1.28/0.78 c [pFactory][Group N°0] task 1 launched on thread 5.
1.28/0.78 c [pFactory][Group N°0] task 0 launched on thread 3.
1.28/0.78 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.28/0.78 c root propagations : 551
1.28/0.78 c restarts enabled, print stats at every restarts
1.28/0.78 c
1.28/0.78 c
1.28/0.78 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.28/0.78 c root propagations : 551
1.28/0.78 c restarts enabled, print stats at every restarts
1.28/0.78 c
1.28/0.78 c
1.28/0.78 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.28/0.78 c root propagations : 551
1.28/0.78 c restarts enabled, print stats at every restarts
1.28/0.78 c
1.28/0.78 c
1.28/0.78 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.28/0.79 c root propagations : 551
1.28/0.79 c restarts enabled, print stats at every restarts
1.28/0.79 c
1.28/0.79 c
1.28/0.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.28/0.79 c root propagations : 551
1.28/0.79 c restarts enabled, print stats at every restarts
1.28/0.79 c
1.28/0.79 c
1.28/0.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.28/0.79 c root propagations : 551
1.28/0.79 c restarts enabled, print stats at every restarts
1.28/0.79 c
1.28/0.79 c
1.28/0.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
2.08/0.80 c root propagations : 551
2.08/0.80 c restarts enabled, print stats at every restarts
2.08/0.80 c
2.08/0.80 c
2.08/0.80 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
2.08/0.81 c 0 2 232 682 162 0 0 0 0
2.08/0.81 c 0 2 233 692 162 0 0 0 0
2.08/0.81 c 0 2 248 1250 162 0 0 0 0
2.08/0.83 c 0 2 261 1606 162 0 0 0 0
7.68/1.54 c 32 82 2627 47767 162 0 4 17 13
8.47/1.66 c 33 86 2756 50314 162 0 4 4 2
9.27/1.79 c 32 81 2931 55860 162 0 3 17 12
10.07/1.88 c 33 84 3018 57798 162 0 3 3 1
13.26/2.24 c 32 59 2889 57469 162 0 1 9 3
14.06/2.39 c 33 68 3119 60384 162 0 9 9 4
15.66/2.59 c 32 62 2502 58559 162 0 1 9 5
16.46/2.61 c 33 63 2527 60175 162 0 1 1 0
22.84/3.45 c 64 159 5386 115213 162 0 2 17 9
24.44/3.62 c 65 164 5607 117243 162 0 5 5 2
25.24/3.74 c 66 168 5726 118277 162 0 4 4 2
26.04/3.86 c 67 171 5837 119617 162 0 3 3 1
26.84/3.96 c 64 164 5948 118859 162 0 2 17 7
27.70/4.06 c 64 114 4525 114937 162 0 1 5 3
27.70/4.09 c 65 115 4549 116938 162 0 1 1 0
28.50/4.11 c 65 169 6102 120454 162 0 5 5 2
28.50/4.16 c 66 118 4690 120302 162 0 3 3 1
29.23/4.23 c 66 174 6227 124074 162 0 5 5 2
29.23/4.26 c 67 121 4779 121824 162 0 3 3 1
30.03/4.32 c 64 126 5803 114719 162 0 3 9 6
30.03/4.37 c 65 127 5832 116700 162 0 1 1 0
30.03/4.40 c 67 179 6383 125667 162 0 5 5 2
30.03/4.40 c 66 128 5855 117835 162 0 1 1 0
30.83/4.48 c 67 130 5927 120182 162 0 2 2 1
35.68/5.02 c 101 175 9379 185391 162 0 3 16 5
38.01/5.30 c 101 205 7037 165330 162 0 2 18 7
41.21/5.71 c 101 171 6423 178410 162 0 1 10 6
42.01/5.86 c 101 178 7592 180817 162 0 3 10 5
50.00/6.86 c 128 226 7959 211499 162 0 1 10 5
50.80/6.95 c 129 228 8021 212689 162 0 2 2 1
52.46/7.11 c 130 232 8229 215822 162 0 4 4 2
52.46/7.18 c 131 234 8288 217830 162 0 2 2 1
53.98/7.36 c 132 238 8465 220247 162 0 4 4 2
54.78/7.43 c 128 237 9978 227505 162 0 1 14 8
54.78/7.44 c 133 242 8623 222431 162 0 4 4 2
54.78/7.48 c 134 243 8654 225388 162 0 1 1 0
55.58/7.51 c 135 244 8681 227439 162 0 1 1 0
55.58/7.53 c 129 241 10148 230052 162 0 4 4 2
55.58/7.56 c 130 242 10182 232145 162 0 1 1 0
56.38/7.64 c 128 283 10403 236544 162 0 1 16 5
56.38/7.65 c 131 244 10306 235561 162 0 2 2 1
56.38/7.69 c 132 245 10328 237072 162 0 1 1 0
57.18/7.73 c 129 285 10468 238308 162 0 2 2 1
57.18/7.79 c 133 248 10436 239674 162 0 3 3 1
57.98/7.84 c 130 287 10555 240531 162 0 2 2 1
57.98/7.88 c 134 250 10502 241047 162 0 2 2 1
58.78/7.96 c 131 291 10662 242292 162 0 4 4 2
58.78/7.97 c 128 316 11648 244184 162 0 3 17 9
58.78/7.99 c 135 253 10593 243253 162 0 3 3 1
59.64/8.02 c 132 293 10703 243900 162 0 2 2 1
59.64/8.10 c 129 319 11762 245503 162 0 3 3 1
60.44/8.12 c 133 295 10786 245397 162 0 2 2 1
61.17/8.22 c 130 322 11866 246952 162 0 3 3 1
61.17/8.23 c 134 299 10888 247154 162 0 4 4 2
61.17/8.30 c 135 301 10929 248762 162 0 2 2 1
61.97/8.34 c 131 326 11961 248141 162 0 4 4 2
62.77/8.42 c 132 328 12031 250286 162 0 2 2 1
64.37/8.61 c 133 335 12259 252392 162 0 7 7 3
65.97/8.81 c 134 340 12441 256434 162 0 5 5 2
66.77/8.95 c 135 346 12580 257908 162 0 6 6 3
72.34/9.66 c 211 380 18281 383691 162 0 3 15 5
84.40/11.17 c 211 386 13982 374674 162 0 2 19 8
85.12/11.27 c 211 408 14590 363601 162 0 1 10 4
100.36/13.11 c 211 436 17664 412421 162 0 2 17 7
111.47/14.50 c 256 463 18921 444176 162 0 2 14 8
111.47/14.57 c 256 477 17899 452303 162 0 1 16 7
112.27/14.61 c 257 478 17931 454499 162 0 1 1 0
112.27/14.62 c 257 466 19026 445015 162 0 3 3 1
112.27/14.65 c 258 479 17957 455748 162 0 1 1 0
113.07/14.74 c 258 469 19150 447118 162 0 3 3 1
113.07/14.78 c 259 484 18098 456670 162 0 5 5 2
113.87/14.81 c 259 471 19232 448938 162 0 2 2 1
114.67/14.91 c 260 491 18218 457494 162 0 7 7 3
114.67/14.92 c 260 474 19353 450881 162 0 3 3 1
114.67/14.94 c 261 492 18246 459821 162 0 1 1 0
114.67/14.96 c 262 493 18265 460851 162 0 1 1 0
114.67/14.99 c 261 476 19437 452700 162 0 2 2 1
115.53/15.01 c 256 526 20312 470349 162 0 1 15 9
115.53/15.07 c 263 495 18375 462593 162 0 2 2 1
115.53/15.07 c 257 527 20348 471208 162 0 1 1 0
116.33/15.11 c 258 528 20382 473183 162 0 1 1 0
116.33/15.12 c 262 479 19562 455047 162 0 3 3 1
116.33/15.13 c 264 497 18455 464409 162 0 2 2 1
116.33/15.17 c 263 481 19642 456863 162 0 2 2 1
116.33/15.18 c 265 498 18519 466190 162 0 1 1 0
117.06/15.20 c 266 501 18549 467617 162 0 3 3 1
117.06/15.21 c 264 484 19677 458294 162 0 3 3 1
117.06/15.22 c 267 502 18570 469043 162 0 1 1 0
117.06/15.22 c 265 485 19698 459720 162 0 1 1 0
117.06/15.23 c 259 534 20565 475743 162 0 6 6 3
117.86/15.34 c 268 507 18701 470552 162 0 5 5 2
117.86/15.37 c 260 539 20709 476761 162 0 5 5 2
117.86/15.39 c 266 494 19932 461777 162 0 9 9 4
118.66/15.41 c 269 512 18760 471822 162 0 5 5 2
118.66/15.43 c 267 495 19959 463674 162 0 1 1 0
118.66/15.45 c 268 496 19989 465519 162 0 1 1 0
118.66/15.49 c 269 497 20024 466655 162 0 1 1 0
118.66/15.50 c 261 545 20901 479316 162 0 6 6 3
119.46/15.53 c 270 498 20067 468404 162 0 1 1 0
119.46/15.57 c 270 519 18939 473601 162 0 7 7 3
119.46/15.59 c 271 499 20114 470142 162 0 1 1 0
120.26/15.63 c 262 550 21038 480320 162 0 5 5 2
120.26/15.63 c 271 520 18990 475618 162 0 1 1 0
121.06/15.75 c 263 556 21228 482868 162 0 6 6 3
121.06/15.78 c 332 635 28259 598922 162 0 1 17 6
121.86/15.88 c 264 561 21356 483859 162 0 5 5 2
122.66/16.00 c 265 567 21539 486398 162 0 6 6 3
123.52/16.06 c 266 568 21601 487911 162 0 1 1 0
124.32/16.19 c 267 572 21723 489286 162 0 4 4 2
125.84/16.32 c 268 577 21879 490266 162 0 5 5 2
126.64/16.46 c 269 584 22056 492321 162 0 7 7 3
127.44/16.53 c 270 589 22141 493148 162 0 5 5 2
128.24/16.67 c 271 598 22444 496402 162 0 9 9 4
128.94/16.70 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 3.
128.94/16.70 c [pFactory][Group N°0] Thread N°0 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°1 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°2 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°3 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°4 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°5 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°6 is joined.
128.94/16.70 c [pFactory][Group N°0] Thread N°7 is joined.
128.94/16.70 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°6)
128.94/16.70 s UNSATISFIABLE
128.94/16.70 c restarts : 30
128.94/16.70 c conflicts : 284 (2 /sec)
128.94/16.70 c decisions : 564 (4 /sec)
128.94/16.70 c propagations : 506969 (3938 /sec)
128.94/16.70 c root propagations : 551
128.94/16.70 c filter calls : 20358 (158 /sec)
128.94/16.70 c useless filter calls : 6592 (32 %)
128.94/16.70 c Memory used : 631.23 MB
128.94/16.70 c CPU time : 128.744 s
128.94/16.70 c real time : 16.7011 s
128.94/16.70
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 (15439 MiB free)
memory of node 1: 16384 MiB (15554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397969-1568614489/watcher-4397969-1568614489 -o /tmp/evaluation-result-4397969-1568614489/solver-4397969-1568614489 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397969-1568614489.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=12070, runsolver pid=12067
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.85 4.31 6.06 2/194 12071
/proc/meminfo: memFree=31735700/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=28884 memory=5008 CPUtime=0.1 cores=0-7
/proc/12070/stat : 12070 (cosoco) R 12067 12070 10734 0 -1 4202496 1474 0 0 0 10 0 0 0 20 0 1 0 437700323 29577216 1252 33554432000 4194304 6211092 140726328701328 140726328697864 140614480296933 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 7221 1252 805 493 0 526 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28884 KiB
Current children cumulated memory: 5008 KiB
[startup+0.208974 s]*
/proc/loadavg: 2.85 4.31 6.06 2/194 12071
/proc/meminfo: memFree=31730864/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=36900 memory=13048 CPUtime=0.21 cores=0-7
/proc/12070/stat : 12070 (cosoco) R 12067 12070 10734 0 -1 4202496 3536 0 0 0 21 0 0 0 20 0 1 0 437700323 37785600 3262 33554432000 4194304 6211092 140726328701328 140726328697864 140614480296933 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 9295 3262 811 493 0 2600 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36900 KiB
Current children cumulated memory: 13048 KiB
[startup+0.308695 s]*
/proc/loadavg: 2.85 4.31 6.06 2/194 12071
/proc/meminfo: memFree=31723672/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=41196 memory=17292 CPUtime=0.31 cores=0-7
/proc/12070/stat : 12070 (cosoco) R 12067 12070 10734 0 -1 4202496 4669 0 0 0 31 0 0 0 20 0 1 0 437700323 42184704 4323 33554432000 4194304 6211092 140726328701328 140726328697864 5817126 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 10299 4323 814 493 0 3604 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41196 KiB
Current children cumulated memory: 17292 KiB
[startup+0.701012 s]
/proc/loadavg: 2.85 4.31 6.06 2/194 12071
/proc/meminfo: memFree=31724256/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=65408 CPUtime=1.28 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 16906 0 0 0 126 2 0 0 20 0 9 0 437700323 695463936 16352 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16352 853 493 0 163096 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 65408 KiB
[startup+1.50101 s]
/proc/loadavg: 2.85 4.31 6.06 9/202 12079
/proc/meminfo: memFree=31677164/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=65408 CPUtime=7.68 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 17093 0 0 0 765 3 0 0 20 0 9 0 437700323 695463936 16352 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16352 853 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=33 CPUtime=0.88 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 27 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614472146320 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=579058160669582886 CPUtime=0.88 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 31 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614463753312 5039199 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=288293255298079827 CPUtime=0.88 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 26 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614455360912 5039199 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=3978706181685521955 CPUtime=0.88 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 26 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614446968208 5037825 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=5928 CPUtime=0.87 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 31 0 0 0 87 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614438575504 5039217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=664 CPUtime=0.88 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 26 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614430182496 5039199 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=3632 CPUtime=0.88 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 31 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614421789792 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=29344 CPUtime=0.88 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 35 0 0 0 88 0 0 0 20 0 9 0 437700384 695463936 16352 33554432000 4194304 6211092 140726328701328 140614413397088 5039178 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 65408 KiB
[startup+3.11001 s]
/proc/loadavg: 3.27 4.37 6.07 9/202 12079
/proc/meminfo: memFree=31675800/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66352 CPUtime=20.52 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 32120 0 0 0 2042 10 0 0 20 0 9 0 437700323 695463936 16588 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16588 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=66352 CPUtime=2.49 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 1844 0 0 0 248 1 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614472146320 5039022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=3632 CPUtime=2.48 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 1897 0 0 0 248 0 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614463753312 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=0 CPUtime=2.48 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 1887 0 0 0 247 1 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614455360912 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=56 CPUtime=2.49 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 1896 0 0 0 247 2 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614446967904 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=280687521466240 CPUtime=2.45 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 1814 0 0 0 244 1 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614438575504 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=65408 CPUtime=2.49 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 2049 0 0 0 249 0 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614430182496 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=66352 CPUtime=2.49 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 1933 0 0 0 249 0 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614421789792 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=66352 CPUtime=2.48 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 1940 0 0 0 248 0 0 0 20 0 9 0 437700384 695463936 16588 33554432000 4194304 6211092 140726328701328 140614413397088 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 20.52 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66352 KiB
[startup+6.30101 s]
/proc/loadavg: 3.27 4.37 6.07 9/202 12079
/proc/meminfo: memFree=31676580/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66384 CPUtime=46 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 76341 0 0 0 4585 15 0 0 20 0 9 0 437700323 695463936 16596 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16596 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=140348211209855 CPUtime=5.67 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 7291 0 0 0 566 1 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614472146016 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=66364 CPUtime=5.68 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 7381 0 0 0 567 1 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614463753312 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=5450916488555034154 CPUtime=5.68 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 7434 0 0 0 566 2 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614455360608 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=140343760875281 CPUtime=5.67 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 7495 0 0 0 565 2 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614446967904 5037821 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=280687521530592 CPUtime=5.59 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 7335 0 0 0 558 1 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614438575200 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=0 CPUtime=5.67 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 7506 0 0 0 567 0 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614430182496 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=6655300316396806240 CPUtime=5.67 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 7600 0 0 0 567 0 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614421789792 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=140343916249553 CPUtime=5.67 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 7449 0 0 0 566 1 0 0 20 0 9 0 437700384 695463936 16596 33554432000 4194304 6211092 140726328701328 140614413397088 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 46 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66384 KiB
[startup+12.701 s]
/proc/loadavg: 3.64 4.43 6.08 9/203 12081
/proc/meminfo: memFree=31676400/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66420 CPUtime=97.1 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 92654 0 0 0 9692 18 0 0 20 0 9 0 437700323 695463936 16605 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16605 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=0 CPUtime=12.07 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 9322 0 0 0 1205 2 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614472146016 5038964 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=66420 CPUtime=12.08 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 9494 0 0 0 1207 1 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614463753312 5039178 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=0 CPUtime=12.08 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 9478 0 0 0 1206 2 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614455360608 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=66420 CPUtime=12.07 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 9480 0 0 0 1205 2 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614446967904 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=7093275427553307243 CPUtime=11.91 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 9441 0 0 0 1189 2 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614438575200 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=0 CPUtime=12.08 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 9597 0 0 0 1207 1 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614430182496 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=6944656592387989600 CPUtime=12.07 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 9548 0 0 0 1207 0 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614421789792 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=0 CPUtime=12.06 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 9434 0 0 0 1204 2 0 0 20 0 9 0 437700384 695463936 16605 33554432000 4194304 6211092 140726328701328 140614413397088 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 97.1 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66420 KiB
[startup+16.711 s]
# the end of solver process 12070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=128.744 s, system=0.20985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.805 s]
/proc/loadavg: 3.64 4.43 6.08 9/203 12081
/proc/meminfo: memFree=31676400/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66448 CPUtime=97.93 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 106135 0 0 0 9774 19 0 0 20 0 9 0 437700323 695463936 16612 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16612 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=0 CPUtime=12.18 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 11021 0 0 0 1216 2 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614472146016 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=0 CPUtime=12.18 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 11074 0 0 0 1217 1 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614463753312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=0 CPUtime=12.18 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 11235 0 0 0 1216 2 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614455360608 5039217 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=280687521397720 CPUtime=12.18 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 11105 0 0 0 1215 3 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614446967904 5037821 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=2809113 CPUtime=12.01 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 11217 0 0 0 1199 2 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614438575200 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=2810441 CPUtime=12.18 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 11300 0 0 0 1217 1 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614430182496 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=-7241597079701628969 CPUtime=12.17 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 11147 0 0 0 1217 0 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614421789792 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=6935054825532540783 CPUtime=12.17 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 11184 0 0 0 1214 3 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614413397088 5038995 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 97.93 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66448 KiB
[startup+14.401 s]
/proc/loadavg: 3.99 4.49 6.09 9/203 12081
/proc/meminfo: memFree=31677164/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66448 CPUtime=110.67 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 107480 0 0 0 11048 19 0 0 20 0 9 0 437700323 695463936 16612 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16612 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=140343761062864 CPUtime=13.77 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 11196 0 0 0 1375 2 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614472146016 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=0 CPUtime=13.77 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 11370 0 0 0 1376 1 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614463753312 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=6935054825532540783 CPUtime=13.78 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 11295 0 0 0 1376 2 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614455360608 5039217 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=29344 CPUtime=13.78 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 11295 0 0 0 1375 3 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614446967904 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=988 CPUtime=13.58 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 11400 0 0 0 1356 2 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614438575200 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=2016 CPUtime=13.78 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 11449 0 0 0 1377 1 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614430182496 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=66448 CPUtime=13.77 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 11336 0 0 0 1377 0 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614421789792 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=1604 CPUtime=13.77 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 11279 0 0 0 1374 3 0 0 20 0 9 0 437700384 695463936 16612 33554432000 4194304 6211092 140726328701328 140614413397088 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 110.67 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66448 KiB
[startup+16.001 s]*
/proc/loadavg: 3.99 4.49 6.09 9/203 12081
/proc/meminfo: memFree=31677536/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66452 CPUtime=123.52 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 107778 0 0 0 12332 20 0 0 20 0 9 0 437700323 695463936 16613 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16613 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=8317482817917895235 CPUtime=15.38 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 11196 0 0 0 1536 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614472146016 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=1764 CPUtime=15.38 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 11381 0 0 0 1537 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614463753312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=111632 CPUtime=15.39 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 11324 0 0 0 1537 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614455360608 5039178 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=808 CPUtime=15.39 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 11366 0 0 0 1536 3 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614446967904 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=4104 CPUtime=15.17 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 11400 0 0 0 1515 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614438575200 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=1764 CPUtime=15.38 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 11490 0 0 0 1537 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614430182496 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=920 CPUtime=15.39 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 11433 0 0 0 1538 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614421789792 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=5712 CPUtime=15.38 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 11328 0 0 0 1535 3 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614413397088 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 123.52 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66452 KiB
[startup+16.401 s]
/proc/loadavg: 3.99 4.49 6.09 9/203 12081
/proc/meminfo: memFree=31677536/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66452 CPUtime=126.64 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 107781 0 0 0 12644 20 0 0 20 0 9 0 437700323 695463936 16613 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16613 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=9816 CPUtime=15.77 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 11196 0 0 0 1575 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614472146016 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=12040 CPUtime=15.77 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 11381 0 0 0 1576 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614463753312 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=2124 CPUtime=15.78 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 11324 0 0 0 1576 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614455360608 5039079 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=66452 CPUtime=15.78 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 11366 0 0 0 1575 3 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614446967904 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=1000 CPUtime=15.56 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 11400 0 0 0 1554 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614438575200 5039125 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=14008 CPUtime=15.77 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 11492 0 0 0 1576 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614430182496 5037744 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=9816 CPUtime=15.78 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 11434 0 0 0 1577 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614421789792 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=12040 CPUtime=15.77 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 11328 0 0 0 1574 3 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614413397088 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 126.64 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66452 KiB
[startup+16.601 s]
/proc/loadavg: 3.99 4.49 6.09 9/203 12081
/proc/meminfo: memFree=31677536/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66452 CPUtime=128.24 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 107827 0 0 0 12804 20 0 0 20 0 9 0 437700323 695463936 16613 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16613 864 493 0 163096 0
[pid=12070/tid=12072] ppid=12067 vsize=679164 memory=8317482817917895235 CPUtime=15.97 cores=0-7
/proc/12070/task/12072/stat : 12072 (cosoco) R 12067 12070 10734 0 -1 4202560 11196 0 0 0 1595 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614472146016 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12073] ppid=12067 vsize=679164 memory=14008 CPUtime=15.97 cores=0-7
/proc/12070/task/12073/stat : 12073 (cosoco) R 12067 12070 10734 0 -1 4202560 11381 0 0 0 1596 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614463753312 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12074] ppid=12067 vsize=679164 memory=9816 CPUtime=15.98 cores=0-7
/proc/12070/task/12074/stat : 12074 (cosoco) R 12067 12070 10734 0 -1 4202560 11329 0 0 0 1596 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614455360608 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12075] ppid=12067 vsize=679164 memory=12040 CPUtime=15.98 cores=0-7
/proc/12070/task/12075/stat : 12075 (cosoco) R 12067 12070 10734 0 -1 4202560 11368 0 0 0 1595 3 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614446967904 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=2124 CPUtime=15.75 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 11400 0 0 0 1573 2 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614438575200 5039121 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12077] ppid=12067 vsize=679164 memory=1556 CPUtime=15.97 cores=0-7
/proc/12070/task/12077/stat : 12077 (cosoco) R 12067 12070 10734 0 -1 4202560 11492 0 0 0 1596 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614430182496 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12078] ppid=12067 vsize=679164 memory=496 CPUtime=15.98 cores=0-7
/proc/12070/task/12078/stat : 12078 (cosoco) R 12067 12070 10734 0 -1 4202560 11434 0 0 0 1597 1 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614421789792 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
[pid=12070/tid=12079] ppid=12067 vsize=679164 memory=288230574492221466 CPUtime=15.97 cores=0-7
/proc/12070/task/12079/stat : 12079 (cosoco) R 12067 12070 10734 0 -1 4202560 11368 0 0 0 1594 3 0 0 20 0 9 0 437700384 695463936 16613 33554432000 4194304 6211092 140726328701328 140614413397088 140614480295468 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 128.24 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66452 KiB
[startup+16.701 s]
/proc/loadavg: 3.99 4.49 6.09 9/203 12081
/proc/meminfo: memFree=31677536/32770624 swapFree=66998976/67108860
[pid=12070] ppid=12067 vsize=679164 memory=66500 CPUtime=128.94 cores=0-7
/proc/12070/stat : 12070 (cosoco) S 12067 12070 10734 0 -1 1077944320 107864 0 0 0 12874 20 0 0 20 0 2 0 437700323 695463936 16625 33554432000 4194304 6211092 140726328701328 140726328699584 140614496337655 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
/proc/12070/statm: 169791 16625 865 493 0 163096 0
[pid=12070/tid=12076] ppid=12067 vsize=679164 memory=5787516201602474068 CPUtime=15.85 cores=0-7
/proc/12070/task/12076/stat : 12076 (cosoco) R 12067 12070 10734 0 -1 4202560 11408 0 0 0 1583 2 0 0 20 0 2 0 437700384 695463936 16625 33554432000 4194304 6211092 140726328701328 140614438575200 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36728832 140726328706065 140726328706157 140726328706157 140726328709070 0
Current children cumulated CPU time: 128.94 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 66500 KiB
Child status: 0
Real time (s): 16.711
CPU time (s): 128.954
CPU user time (s): 128.744
CPU system time (s): 0.20985
CPU usage (%): 771.67
Max. virtual memory (cumulated for all children) (KiB): 679164
Max. memory (cumulated for all children) (KiB): 66500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.744
system time used= 0.20985
maximum resident set size= 66612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107893
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= 42
involuntary context switches= 1324
# summary of solver processes directly reported to runsolver:
# pid: 12070
# total CPU time (s): 128.954
# total CPU user time (s): 128.744
# total CPU system time (s): 0.20985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.118551 second user time and 0.17586 second system time
The end
Begin job on node102 at 2019-09-16 08:14:04
IDJOB=4397969
IDBENCH=140001
IDSOLVER=2851
FILE ID=node102/4397969-1568614489
RUNJOBID= node102-1568611288-10761
PBS_JOBID= 21703454
Free space on /tmp= 59328 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-14-15.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397969-1568614489/watcher-4397969-1568614489 -o /tmp/evaluation-result-4397969-1568614489/solver-4397969-1568614489 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397969-1568614489.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8fe4d4ff25aed39a536d9c0933ae8bb1
RANDOM SEED=911372594
node102.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.54
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.54
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.54
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.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31738004 kB
MemAvailable: 31903084 kB
Buffers: 93220 kB
Cached: 371452 kB
SwapCached: 7452 kB
Active: 361004 kB
Inactive: 115908 kB
Active(anon): 3840 kB
Inactive(anon): 50340 kB
Active(file): 357164 kB
Inactive(file): 65568 kB
Unevictable: 110384 kB
Mlocked: 110384 kB
SwapTotal: 67108860 kB
SwapFree: 66998976 kB
Dirty: 10572 kB
Writeback: 0 kB
AnonPages: 47680 kB
Mapped: 40904 kB
Shmem: 33556 kB
Slab: 145472 kB
SReclaimable: 116368 kB
SUnreclaim: 29104 kB
KernelStack: 3872 kB
PageTables: 5564 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 509008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 59324 MiB
End job on node102 at 2019-09-16 08:14:20