0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c root propagations : 918
0.00/0.01 c restarts enabled, print stats at every restarts
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389453-1568342617.xml
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.01 s
0.00/0.01 c |
0.00/0.01 c | Variables: 287
0.00/0.01 c | Domain Sizes: 14..91
0.00/0.01 c |
0.00/0.01 c | Constraints: 427
0.00/0.01 c | Arity: 1..91 -- Unary: 7 -- Binary: 7 -- Ternary: 91
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | (X - Y < k): 7
0.00/0.01 c | All Different: 15
0.00/0.01 c | At least: 98
0.00/0.01 c | At most: 98
0.00/0.01 c | Exactly K: 111
0.00/0.01 c | Extension: 91 (nb tuples: 91..91) -- (shared: 90)
0.00/0.01 c | Unary: 7
0.00/0.01 c |
0.00/0.01 c =========================================================================================================
0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.02 c 101 231 38319 17146 287 0 46 72 68
0.00/0.03 c 211 437 63422 32593 287 0 17 37 23
0.00/0.04 c 332 649 89359 49141 287 0 17 23 20
0.00/0.05 c 465 904 121358 67784 287 0 18 23 20
0.00/0.05 c 611 1170 154238 87289 287 0 12 23 20
0.00/0.06 c 771 1438 191116 108868 287 0 18 23 20
0.00/0.08 c 947 1759 230822 134167 287 0 19 23 20
0.00/0.09 c 1140 2104 272346 161308 287 0 17 23 19
0.00/0.10 c 1352 2424 295028 172807 287 0 11 67 61
0.10/0.11 c 1585 2869 352159 204841 287 0 35 44 41
0.10/0.13 c 1841 3360 416622 242986 287 0 32 44 41
0.10/0.15 c 2122 3897 488476 284521 287 0 38 44 41
0.10/0.17 c 2431 4445 559364 325761 287 0 21 26 23
0.10/0.20 c 2770 5032 634524 373882 287 0 14 24 19
0.10/0.21 c 3142 5584 700101 415623 287 0 14 21 18
0.21/0.22 c 3551 6076 714809 419680 287 0 15 84 67
0.21/0.25 c 4000 6907 816630 484443 287 0 1 26 22
0.21/0.28 c 4493 7723 925429 554603 287 0 15 24 19
0.31/0.32 c 5035 8671 1050707 631743 287 0 17 23 19
0.31/0.36 c 5631 9793 1180167 710876 287 0 16 24 19
0.31/0.41 c 6286 11056 1344031 799744 287 0 15 80 61
0.41/0.45 c 7006 12308 1491091 897126 287 0 13 23 20
0.41/0.50 c 7798 13666 1665872 1008599 287 0 17 23 20
0.51/0.57 c 8669 15387 1929010 1139098 287 0 16 65 60
0.60/0.66 c 9627 17209 2159280 1247086 287 0 21 102 92
0.69/0.76 c 10680 19219 2472152 1412706 287 0 21 80 74
0.79/0.84 c 11838 21402 2769517 1567717 287 0 19 44 40
0.89/0.94 c 13111 23699 3049033 1684651 287 0 21 128 116
1.00/1.06 c 14511 26498 3435499 1867815 287 0 19 86 81
1.10/1.17 c 16051 29309 3822084 2072804 287 0 39 47 44
1.19/1.29 c 17745 32615 4230091 2303923 287 0 37 44 41
1.39/1.41 c 19608 35929 4662000 2547426 287 0 36 44 41
1.49/1.56 c 21657 39762 5167609 2823934 287 0 36 44 40
1.69/1.70 c 23910 43751 5682136 3122463 287 0 18 26 23
1.79/1.85 c 26388 48075 6230121 3449224 287 0 15 23 19
2.00/2.03 c 29113 53012 6874461 3828945 287 0 15 23 19
2.19/2.22 c 32110 58549 7565459 4247604 287 0 15 23 20
2.39/2.45 c 35406 64579 8339601 4708332 287 0 11 23 19
2.59/2.69 c 39031 70883 9167190 5206193 287 0 15 23 19
2.89/2.96 c 43018 78621 10117666 5806204 287 0 14 23 19
3.19/3.26 c 47403 86555 11142663 6433880 287 0 15 23 19
3.49/3.57 c 52226 95568 12269308 7103714 287 0 15 23 19
4.00/4.09 c 57531 105942 14027975 7899111 287 0 20 68 61
4.39/4.46 c 63366 117020 15382092 8716274 287 0 16 24 20
4.79/4.89 c 69784 128852 16891382 9636805 287 0 14 23 19
5.29/5.30 c 76843 140720 18412317 10547352 287 0 13 23 17
5.79/5.85 c 84607 155601 20294147 11678825 287 0 14 44 20
6.29/6.32 c 93147 170296 22070931 12816409 287 0 14 24 18
6.89/6.94 c 102541 188134 24265775 14166681 287 0 15 23 19
7.49/7.56 c 112874 205703 26450840 15537169 287 0 13 23 17
8.29/8.32 c 124240 225200 28985510 17076873 287 0 13 23 18
9.00/9.04 c 136742 246503 31707838 18716906 287 0 13 23 17
10.00/10.05 c 150494 273879 34950698 20523005 287 0 11 160 56
11.19/11.23 c 165621 301863 38640190 22814969 287 0 1 25 20
12.29/12.34 c 182260 332604 42570822 25215109 287 0 11 23 18
13.39/13.49 c 200562 366509 46630276 27827887 287 0 13 23 18
14.89/14.97 c 220694 406124 51462254 30270684 287 0 14 156 68
17.19/17.25 c 242839 446009 57361903 34278649 287 0 1 25 19
19.19/19.21 c 267198 495660 63348136 37363266 287 0 14 215 80
21.79/21.82 c 293992 565910 71425683 40887563 287 0 16 227 146
23.89/23.93 c 323465 622094 77558227 44020542 287 0 15 130 84
26.79/26.80 c 355885 685856 86359903 48123414 287 0 20 89 76
29.29/29.31 c 391547 751500 94753614 52597654 287 0 19 44 40
32.19/32.26 c 430775 824092 103550837 57151847 287 0 18 107 79
36.39/36.48 c 473925 916508 115414321 62585575 287 0 32 108 103
40.59/40.62 c 521390 1010961 128756686 68810117 287 0 38 66 61
45.29/45.32 c 573601 1108245 142080470 77117329 287 0 15 27 22
49.19/49.23 c 631033 1216852 155405217 85138269 287 0 12 23 19
53.79/53.82 c 694208 1334643 170114207 93528992 287 0 14 44 38
58.39/58.42 c 763700 1460888 186133550 102867539 287 0 15 26 22
64.69/64.79 c 840141 1634410 204780058 110642059 287 0 19 215 159
72.69/72.77 c 924226 1795974 228082209 120991608 287 0 20 110 104
80.49/80.56 c 1016719 1979070 249814771 131598103 287 0 24 140 107
88.69/88.77 c 1118461 2174095 274064250 144431813 287 0 24 89 70
96.79/96.85 c 1230377 2381069 299732248 158482512 287 0 24 44 40
106.69/106.80 c 1353484 2612621 331756896 174233328 287 0 24 65 61
117.29/117.33 c 1488901 2862465 365314440 192212557 287 0 24 59 47
127.19/127.26 c 1637859 3131840 398491907 211506062 287 0 12 23 19
141.49/141.53 c 1801712 3446632 445098405 233028827 287 0 42 65 61
152.79/152.88 c 1981950 3780095 485373111 256283919 287 0 12 26 22
167.10/167.19 c 2180211 4163460 530352938 283048332 287 0 12 24 19
183.29/183.37 c 2398298 4570096 580699307 311348544 287 0 15 44 39
201.19/201.24 c 2638193 5024306 637536285 344010586 287 0 32 44 40
224.39/224.40 c 2902077 5677155 707190754 370737040 287 0 39 224 171
247.19/247.23 c 3192349 6268116 777041464 409565584 287 0 35 48 43
273.10/273.16 c 3511648 6886161 852687746 450402600 287 0 13 65 60
301.10/301.13 c 3862876 7562656 937839403 499174650 287 0 20 108 47
334.40/334.47 c 4249226 8413911 1044965809 553484160 287 0 15 217 84
367.50/367.57 c 4674211 9222744 1133650381 597161775 287 0 50 137 124
406.00/406.01 c 5141694 10105749 1239710936 655465869 287 0 61 86 70
443.30/443.37 c 5655925 11039466 1333188865 700912210 287 0 56 144 116
487.60/487.66 c 6221579 12119977 1458367178 766596962 287 0 36 107 82
537.80/537.84 c 6843798 13280448 1597873571 842408445 287 0 63 107 85
593.40/593.46 c 7528238 14607843 1757184719 929956368 287 0 37 78 46
662.90/662.93 c 8281122 16402433 1965145293 1019330014 287 0 18 231 152
732.40/732.40 c 9109294 18110858 2170405760 1103223005 287 0 21 221 137
815.40/815.44 c 10020283 20196348 2413727611 1215016753 287 0 19 231 131
937.20/937.26 c 11022370 23331154 2797932835 1373499789 287 0 21 215 186
1009.01/1009.08 c 12124665 25356274 2997166213 1480787035 287 0 21 90 63
1135.11/1135.14 c 13337189 28431288 3382539403 1650299902 287 0 11 212 138
1257.70/1257.74 c 14670965 31412796 3751196088 1823797702 287 0 17 207 103
1345.60/1345.68 c 16138118 34074800 4018361319 1964829628 287 0 13 27 22
1467.51/1467.51 c 17751986 37501290 4378492165 2126958867 287 0 19 206 79
1609.21/1609.29 c 19527240 40872774 4794320690 2323267468 287 0 33 48 43
1750.61/1750.63 c 21480019 44415395 5199159739 2516201939 287 0 12 77 55
1907.81/1907.81 c 23628075 48366317 5674832446 2782192692 287 0 17 50 40
2098.41/2098.45 c 25990936 53177152 6196920868 3024146310 287 0 16 191 116
2365.62/2365.60 c 28590083 59688737 6995466528 3374730913 287 0 26 221 167
2520.03/2520.00
2520.03/2520.00 c *** INTERRUPTED ***
2520.03/2520.00 c restarts : 108
2520.03/2520.00 c conflicts : 29901609 (11866 /sec)
2520.03/2520.00 c decisions : 63329683 (25131 /sec)
2520.03/2520.00 c propagations : 3567240751 (1415556 /sec)
2520.03/2520.00 c root propagations : 918
2520.03/2520.00 c filter calls : 7476829251 (2966962 /sec)
2520.03/2520.00 c useless filter calls : 7201363842 (96 %)
2520.03/2520.00 c Memory used : 28.40 MB
2520.03/2520.00 c CPU time : 2520.03 s
2520.03/2520.00 c real time : 2520.01 s
2520.03/2520.00
2520.03/2520.00 s UNKNOWN
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 (13998 MiB free)
memory of node 1: 16384 MiB (13742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389453-1568342617/watcher-4389453-1568342617 -o /tmp/evaluation-result-4389453-1568342617/solver-4389453-1568342617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389453-1568342617.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7095, runsolver pid=7092
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 7096
/proc/meminfo: memFree=28405036/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5276 CPUtime=0.1 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 1530 0 0 0 10 0 0 0 20 0 1 0 410530551 29503488 1319 33554432000 4194304 6210612 140720877522256 140720877518792 5082084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1319 869 493 0 508 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5276 KiB
[startup+0.21 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 7096
/proc/meminfo: memFree=28404896/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5276 CPUtime=0.21 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 1530 0 0 0 21 0 0 0 20 0 1 0 410530551 29503488 1319 33554432000 4194304 6210612 140720877522256 140720877520216 140713909668960 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1319 869 493 0 508 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5276 KiB
[startup+0.309436 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 7096
/proc/meminfo: memFree=28404892/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5276 CPUtime=0.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 1536 0 0 0 31 0 0 0 20 0 1 0 410530551 29503488 1319 33554432000 4194304 6210612 140720877522256 140720877520216 5135943 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1319 869 493 0 508 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5276 KiB
[startup+0.700333 s]
/proc/loadavg: 1.84 1.98 2.03 3/201 7096
/proc/meminfo: memFree=28404892/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5276 CPUtime=0.69 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 1542 0 0 0 69 0 0 0 20 0 1 0 410530551 29503488 1319 33554432000 4194304 6210612 140720877522256 140720877520216 5080969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1319 869 493 0 508 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5276 KiB
[startup+1.50034 s]
/proc/loadavg: 1.84 1.98 2.03 3/201 7096
/proc/meminfo: memFree=28404892/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5540 CPUtime=1.49 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 1556 0 0 0 149 0 0 0 20 0 1 0 410530551 29503488 1385 33554432000 4194304 6210612 140720877522256 140720877520216 5135919 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1385 898 493 0 508 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5540 KiB
[startup+3.1094 s]
/proc/loadavg: 1.84 1.98 2.03 3/201 7096
/proc/meminfo: memFree=28404800/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5580 CPUtime=3.1 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 1987 0 0 0 310 0 0 0 20 0 1 0 410530551 29503488 1395 33554432000 4194304 6210612 140720877522256 140720877520216 5392454 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1395 898 493 0 508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5580 KiB
[startup+6.30033 s]
/proc/loadavg: 1.86 1.98 2.03 3/201 7096
/proc/meminfo: memFree=28404512/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28812 memory=5580 CPUtime=6.29 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 2420 0 0 0 629 0 0 0 20 0 1 0 410530551 29503488 1395 33554432000 4194304 6210612 140720877522256 140720877520216 5185808 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7203 1395 898 493 0 508 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5580 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 2.03 3/201 7096
/proc/meminfo: memFree=28404704/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5580 CPUtime=12.69 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 2862 0 0 0 1269 0 0 0 20 0 1 0 410530551 29638656 1395 33554432000 4194304 6210612 140720877522256 140720877520216 5397282 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1395 898 493 0 541 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5580 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/201 7098
/proc/meminfo: memFree=28403856/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5692 CPUtime=25.49 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 3782 0 0 0 2549 0 0 0 20 0 1 0 410530551 29638656 1423 33554432000 4194304 6210612 140720877522256 140720877520216 5135924 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1423 898 493 0 541 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5692 KiB
[startup+51.1094 s]
/proc/loadavg: 1.93 1.99 2.03 3/201 7099
/proc/meminfo: memFree=28404228/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5692 CPUtime=51.1 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 4239 0 0 0 5110 0 0 0 20 0 1 0 410530551 29638656 1423 33554432000 4194304 6210612 140720877522256 140720877520216 5135956 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1423 898 493 0 541 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5692 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/201 7102
/proc/meminfo: memFree=28403688/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5700 CPUtime=102.29 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 4706 0 0 0 10229 0 0 0 20 0 1 0 410530551 29638656 1425 33554432000 4194304 6210612 140720877522256 140720877520216 5397155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1425 898 493 0 541 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5700 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 7108
/proc/meminfo: memFree=28402596/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5700 CPUtime=162.29 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 5167 0 0 0 16229 0 0 0 20 0 1 0 410530551 29638656 1425 33554432000 4194304 6210612 140720877522256 140720877520216 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1425 898 493 0 541 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5700 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 7112
/proc/meminfo: memFree=28402240/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5700 CPUtime=222.29 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 5636 0 0 0 22229 0 0 0 20 0 1 0 410530551 29638656 1425 33554432000 4194304 6210612 140720877522256 140720877520216 5135919 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1425 898 493 0 541 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5700 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/199 7116
/proc/meminfo: memFree=28402896/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5724 CPUtime=282.29 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 6098 0 0 0 28229 0 0 0 20 0 1 0 410530551 29638656 1431 33554432000 4194304 6210612 140720877522256 140720877520216 5133336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1431 898 493 0 541 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5724 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 7123
/proc/meminfo: memFree=28402508/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5724 CPUtime=342.3 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 6566 0 0 0 34230 0 0 0 20 0 1 0 410530551 29638656 1431 33554432000 4194304 6210612 140720877522256 140720877520216 5080992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1431 898 493 0 541 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5724 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 7127
/proc/meminfo: memFree=28402376/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5724 CPUtime=402.3 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 7032 0 0 0 40230 0 0 0 20 0 1 0 410530551 29638656 1431 33554432000 4194304 6210612 140720877522256 140720877520216 5074729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1431 898 493 0 541 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5724 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 7139
/proc/meminfo: memFree=28402044/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=28944 memory=5724 CPUtime=462.3 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 7500 0 0 0 46230 0 0 0 20 0 1 0 410530551 29638656 1431 33554432000 4194304 6210612 140720877522256 140720877520216 5135919 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7236 1431 898 493 0 541 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5724 KiB
################
# More data... #
################
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7345
/proc/meminfo: memFree=28400772/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=1782.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 17600 0 0 0 178231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5080933 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7349
/proc/meminfo: memFree=28400788/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=1842.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 18028 0 0 0 184231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5038254 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7353
/proc/meminfo: memFree=28400276/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=1902.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 18456 0 0 0 190231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7359
/proc/meminfo: memFree=28400712/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=1962.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 18946 0 0 0 196231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 7363
/proc/meminfo: memFree=28400908/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2022.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 19376 0 0 0 202231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5079064 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7368
/proc/meminfo: memFree=28400212/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2082.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 19825 0 0 0 208231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5075421 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7374
/proc/meminfo: memFree=28399164/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2142.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 20296 0 0 0 214231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5082073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7378
/proc/meminfo: memFree=28399612/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2202.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 20727 0 0 0 220231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5392192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7390
/proc/meminfo: memFree=28399820/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2262.31 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 21148 0 0 0 226231 0 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5136217 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7396
/proc/meminfo: memFree=28399640/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2322.32 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 21579 0 0 0 232231 1 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5079064 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7400
/proc/meminfo: memFree=28400552/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2382.32 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 22050 0 0 0 238231 1 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5080837 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7404
/proc/meminfo: memFree=28399220/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2442.32 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 22477 0 0 0 244231 1 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5008459 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7410
/proc/meminfo: memFree=28399356/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2502.32 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 22903 0 0 0 250231 1 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5038982 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 7411
/proc/meminfo: memFree=28399464/32770624 swapFree=66998520/67108860
[pid=7095] ppid=7092 vsize=29076 memory=5736 CPUtime=2520.03 cores=0,2,4,6
/proc/7095/stat : 7095 (cosoco) R 7092 7095 3464 0 -1 4202496 23326 0 0 0 252002 1 0 0 20 0 1 0 410530551 29773824 1434 33554432000 4194304 6210612 140720877522256 140720877520216 5135915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34983936 140720877528075 140720877528177 140720877528177 140720877531086 0
/proc/7095/statm: 7269 1434 898 493 0 574 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7095 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.03 s, system=0.012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2520.03
CPU system time (s): 0.012
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 29076
Max. memory (cumulated for all children) (KiB): 5736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.012
maximum resident set size= 5804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23377
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= 14
involuntary context switches= 637
# summary of solver processes directly reported to runsolver:
# pid: 7095
# total CPU time (s): 2520.04
# total CPU user time (s): 2520.03
# total CPU system time (s): 0.012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47737 second user time and 16.6787 second system time
The end