3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.38/3.49 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
3.38/3.49 c
3.68/3.73 c root propagations : 67
3.68/3.73 c restarts enabled, print stats at every restarts
3.68/3.73 c
3.68/3.73 c
3.68/3.73 c
3.68/3.73 c This is cosoco 1.12 --
3.68/3.73 c
3.68/3.73 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294456-1532463219.xml
3.68/3.73 c ========================================[ Problem Statistics ]===========================================
3.68/3.73 c |
3.68/3.73 c | Parse time : 3.45 s
3.68/3.73 c |
3.68/3.73 c | Variables: 200
3.68/3.73 c | Domain Sizes: 5..5
3.68/3.73 c |
3.68/3.73 c | Constraints: 8496
3.68/3.73 c | Arity: 1..50 -- Unary: 25
3.68/3.73 c |
3.68/3.73 c | Types:
3.68/3.73 c | Exactly K: 40
3.68/3.73 c | Intension: 8400
3.68/3.73 c | Lex: 31
3.68/3.73 c | Unary: 25
3.68/3.73 c |
3.68/3.73 c =========================================================================================================
3.68/3.73 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
5.99/6.06 c 101 244 308740 4978 25 0 58 87 77
8.19/8.25 c 211 576 589157 9807 27 0 1 64 49
10.79/10.82 c 332 1166 933866 14443 30 0 1 43 38
12.89/13.00 c 465 1639 1227200 17999 30 0 13 45 41
15.18/15.21 c 611 2163 1530898 21682 30 0 10 45 39
18.18/18.20 c 771 2856 1950143 26740 30 0 18 41 36
21.18/21.24 c 947 3437 2353492 32208 30 0 22 41 39
23.89/23.90 c 1140 4002 2717758 36692 30 0 19 41 40
27.58/27.62 c 1352 4942 3224425 42780 30 0 16 39 38
32.58/32.62 c 1585 5992 3884208 49797 30 0 30 39 35
36.28/36.31 c 1841 6749 4393512 55404 30 0 9 43 41
42.29/42.38 c 2122 7600 5153195 67861 30 0 8 42 39
46.79/46.86 c 2431 8734 5778714 74959 30 0 10 43 41
54.59/54.65 c 2770 10015 6792987 89012 30 0 10 44 42
61.58/61.67 c 3142 11530 7743119 100890 30 0 10 42 38
67.78/67.83 c 3551 12851 8620861 111384 30 0 30 42 38
76.58/76.61 c 4000 14558 9812673 126427 30 0 30 41 38
85.18/85.27 c 4493 16581 11026547 143251 30 0 32 42 41
94.57/94.63 c 5035 18143 12311924 159848 30 0 30 40 37
107.37/107.46 c 5631 20044 13968495 183565 30 0 19 42 38
117.98/118.08 c 6286 22307 15429355 202095 30 0 34 41 40
134.87/134.95 c 7006 25832 17810727 232938 30 0 31 45 40
150.08/150.19 c 7798 29202 19924391 261771 30 0 17 45 43
168.87/168.90 c 8669 32728 22403984 292845 30 0 30 43 39
187.97/188.06 c 9627 37091 25071665 325370 30 0 12 46 43
205.56/205.64 c 10680 40801 27454772 357959 30 0 11 51 44
223.56/223.66 c 11838 44003 29885849 388887 30 0 30 46 42
244.36/244.45 c 13111 48263 32751695 428562 30 0 33 49 43
270.07/270.14 c 14511 52983 36195242 473711 30 0 30 60 44
301.06/301.13 c 16051 59122 40522619 535974 30 0 12 49 43
328.85/328.91 c 17745 64261 44480560 587556 30 0 12 56 46
359.55/359.64 c 19608 70846 48871990 651181 30 0 10 51 45
394.14/394.24 c 21657 77813 53823124 715791 30 0 11 51 44
435.14/435.21 c 23910 85534 59330193 803831 30 0 10 58 47
479.84/479.98 c 26388 94262 65674331 889341 30 0 15 49 46
524.63/524.72 c 29113 103409 72015633 974829 30 0 10 50 45
590.13/590.29 c 32110 114389 80345308 1085279 30 0 10 38 37
647.22/647.38 c 35406 126375 88251355 1185545 30 0 10 48 42
707.83/707.95 c 39031 139635 96751871 1292868 30 0 10 46 41
774.32/774.45 c 43018 153663 106065622 1414931 30 0 11 47 41
861.41/861.56 c 47403 174313 118697191 1584910 30 0 9 47 44
945.11/945.27 c 52226 192034 130481201 1739901 30 0 10 46 41
1042.60/1042.76 c 57531 214972 143808113 1913932 30 0 22 43 39
1142.79/1142.99 c 63366 236563 157816919 2109573 30 0 9 45 40
1243.48/1243.67 c 69784 258329 172173207 2296566 30 0 9 44 42
1363.98/1364.12 c 76843 284251 188953845 2510995 30 0 10 45 40
1515.56/1515.74 c 84607 319835 210306482 2801481 30 0 8 44 41
1667.45/1667.62 c 93147 350252 231624047 3071446 30 0 12 48 43
1830.23/1830.47 c 102541 386261 254424546 3407847 30 0 10 45 41
2010.32/2010.57 c 112874 425448 280067922 3741416 30 0 19 44 42
2224.50/2224.70 c 124240 470170 310126265 4149346 30 0 9 45 40
2438.68/2439.00 c 136742 517721 340731824 4562283 30 0 10 44 42
2519.79/2520.00
2519.79/2520.00 c *** INTERRUPTED ***
2519.79/2520.00 c restarts : 52
2519.79/2520.00 c conflicts : 141763 (56 /sec)
2519.79/2520.00 c decisions : 534223 (212 /sec)
2519.79/2520.00 c propagations : 4709564 (1869 /sec)
2519.79/2520.00 c root propagations : 67
2519.79/2520.00 c filter calls : 352236020 (139795 /sec)
2519.79/2520.00 c useless filter calls : 348826491 (99 %)
2519.79/2520.00 c Memory used : 144.45 MB
2519.79/2520.00 c CPU time : 2519.67 s
2519.79/2520.00
2519.79/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 (2697 MiB free)
memory of node 1: 16384 MiB (6735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294456-1532463219/watcher-4294456-1532463219 -o /tmp/evaluation-result-4294456-1532463219/solver-4294456-1532463219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20752 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294456-1532463219.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
Current StackSize limit: 8192 KiB
solver pid=24085, runsolver pid=24082
[startup+0.100146 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24086
/proc/meminfo: memFree=9658128/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=27780 memory=3936 CPUtime=0.1 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 1152 0 0 0 10 0 0 0 20 0 1 0 63884723 28446720 984 33554432000 4194304 6142532 140730919728512 140730919725144 140205002902528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 6945 984 783 476 0 267 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27780 KiB
Current children cumulated memory: 3936 KiB
[startup+0.209421 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24086
/proc/meminfo: memFree=9657756/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=28764 memory=4956 CPUtime=0.21 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 1445 0 0 0 21 0 0 0 20 0 1 0 63884723 29454336 1239 33554432000 4194304 6142532 140730919728512 140730919725144 140205002464229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 7191 1239 801 476 0 513 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28764 KiB
Current children cumulated memory: 4956 KiB
[startup+0.309022 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24086
/proc/meminfo: memFree=9654408/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=32196 memory=8124 CPUtime=0.31 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 2292 0 0 0 31 0 0 0 20 0 1 0 63884723 32968704 2031 33554432000 4194304 6142532 140730919728512 140730919725144 140205002464229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 8049 2031 801 476 0 1371 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32196 KiB
Current children cumulated memory: 8124 KiB
[startup+0.70029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24086
/proc/meminfo: memFree=9647340/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=45132 memory=21324 CPUtime=0.68 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 5544 0 0 0 68 0 0 0 20 0 1 0 63884723 46215168 5331 33554432000 4194304 6142532 140730919728512 140730919719112 140205002464229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 11283 5331 801 476 0 4605 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45132 KiB
Current children cumulated memory: 21324 KiB
[startup+1.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24086
/proc/meminfo: memFree=9631024/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=72324 memory=48516 CPUtime=1.49 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 12349 0 0 0 148 1 0 0 20 0 1 0 63884723 74059776 12129 33554432000 4194304 6142532 140730919728512 140730919723128 140205002464229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 18081 12129 801 476 0 11403 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72324 KiB
Current children cumulated memory: 48516 KiB
[startup+3.10943 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24086
/proc/meminfo: memFree=9562700/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=127184 memory=103276 CPUtime=3.1 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 26206 0 0 0 306 4 0 0 20 0 1 0 63884723 130236416 25819 33554432000 4194304 6142532 140730919728512 140730919723128 140205002464229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 31796 25819 801 476 0 25118 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 127184 KiB
Current children cumulated memory: 103276 KiB
[startup+6.30036 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24086
/proc/meminfo: memFree=9537764/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124476 CPUtime=6.29 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 77004 0 0 0 622 7 0 0 20 0 1 0 63884723 151465984 31119 33554432000 4194304 6142532 140730919728512 140730919725400 4991551 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31119 857 476 0 30301 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124476 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24086
/proc/meminfo: memFree=9538016/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124480 CPUtime=12.69 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 99970 0 0 0 1261 8 0 0 20 0 1 0 63884723 151465984 31120 33554432000 4194304 6142532 140730919728512 140730919725912 140205003390400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31120 857 476 0 30301 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124480 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 24086
/proc/meminfo: memFree=9538660/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124480 CPUtime=25.48 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 143598 0 0 0 2539 9 0 0 20 0 1 0 63884723 151465984 31120 33554432000 4194304 6142532 140730919728512 140730919725912 5371699 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31120 857 476 0 30301 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124480 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 24086
/proc/meminfo: memFree=9538660/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124480 CPUtime=51.09 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 165723 0 0 0 5099 10 0 0 20 0 1 0 63884723 151465984 31120 33554432000 4194304 6142532 140730919728512 140730919725912 140205003388464 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31120 857 476 0 30301 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124480 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 24087
/proc/meminfo: memFree=9537424/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124480 CPUtime=102.27 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 182126 0 0 0 10217 10 0 0 20 0 1 0 63884723 151465984 31120 33554432000 4194304 6142532 140730919728512 140730919725912 140205012409176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31120 857 476 0 30301 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124480 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 24088
/proc/meminfo: memFree=9538808/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=162.27 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 184609 0 0 0 16216 11 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24089
/proc/meminfo: memFree=9538880/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=222.26 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 185104 0 0 0 22215 11 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5146712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24090
/proc/meminfo: memFree=9539100/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=282.26 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 185611 0 0 0 28215 11 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5146967 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24091
/proc/meminfo: memFree=9538672/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=342.25 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 186112 0 0 0 34214 11 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5400377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24100
/proc/meminfo: memFree=9537924/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=402.24 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 186613 0 0 0 40213 11 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 140205012409231 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24101
/proc/meminfo: memFree=9538108/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=462.24 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 187115 0 0 0 46213 11 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 140205003388470 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
################
# More data... #
################
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24261
/proc/meminfo: memFree=9593480/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=1782.14 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 195842 0 0 0 178202 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 140205003390382 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 24262
/proc/meminfo: memFree=9593836/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=1842.13 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 196333 0 0 0 184201 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5361196 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 24263
/proc/meminfo: memFree=9593712/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=1902.13 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 196754 0 0 0 190201 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 140205003387751 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24264
/proc/meminfo: memFree=9593976/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=1962.12 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 197175 0 0 0 196200 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5371863 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24265
/proc/meminfo: memFree=9593636/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2022.12 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 197674 0 0 0 202200 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5400392 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24266
/proc/meminfo: memFree=9593636/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2082.11 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 197874 0 0 0 208199 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5374084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24267
/proc/meminfo: memFree=9594040/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2142.11 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 198073 0 0 0 214199 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5376434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24276
/proc/meminfo: memFree=9592852/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2202.1 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 198357 0 0 0 220198 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5363633 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24277
/proc/meminfo: memFree=9593864/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2262.1 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 198857 0 0 0 226198 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5146764 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24278
/proc/meminfo: memFree=9593444/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2322.09 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 199278 0 0 0 232197 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5146745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24279
/proc/meminfo: memFree=9593452/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2382.09 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 199575 0 0 0 238197 12 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5371699 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24280
/proc/meminfo: memFree=9593452/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2442.09 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 200206 0 0 0 244196 13 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5048206 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
[startup+2502.3 s]
/proc/loadavg: 2.57 2.17 2.09 3/187 24282
/proc/meminfo: memFree=9593300/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2502.09 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 200473 0 0 0 250196 13 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5047842 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.44 2.16 2.09 3/187 24283
/proc/meminfo: memFree=9593176/32770624 swapFree=67108860/67108860
[pid=24085] ppid=24082 vsize=147916 memory=124492 CPUtime=2519.79 cores=0,2,4,6
/proc/24085/stat : 24085 (cosoco) R 24082 24085 20721 0 -1 4202496 200680 0 0 0 251966 13 0 0 20 0 1 0 63884723 151465984 31123 33554432000 4194304 6142532 140730919728512 140730919725912 5371724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26345472 140730919736454 140730919736584 140730919736584 140730919739342 0
/proc/24085/statm: 36979 31123 857 476 0 30301 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 147916 KiB
Current children cumulated memory: 124492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24085 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.67 s, system=0.131989 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): 2519.8
CPU user time (s): 2519.67
CPU system time (s): 0.131989
CPU usage (%): 99.9918
Max. virtual memory (cumulated for all children) (KiB): 147916
Max. memory (cumulated for all children) (KiB): 124492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.131989
maximum resident set size= 124560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200732
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= 33
involuntary context switches= 660
# summary of solver processes directly reported to runsolver:
# pid: 24085
# total CPU time (s): 2519.8
# total CPU user time (s): 2519.67
# total CPU system time (s): 0.131989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0325 second user time and 14.7969 second system time
The end