2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.58/2.64 c Create Cardinality(vars,values,occurs) constraint using 25 Exactly/AtMost.. constraint
2.58/2.64 c
2.78/2.83 c root propagations : 67
2.78/2.83 c restarts enabled, print stats at every restarts
2.78/2.83 c
2.78/2.83 c
2.78/2.83 c
2.78/2.83 c This is cosoco 1.12 --
2.78/2.83 c
2.78/2.83 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294447-1532461647.xml
2.78/2.83 c ========================================[ Problem Statistics ]===========================================
2.78/2.83 c |
2.78/2.83 c | Parse time : 2.60 s
2.78/2.83 c |
2.78/2.83 c | Variables: 175
2.78/2.83 c | Domain Sizes: 5..5
2.78/2.83 c |
2.78/2.83 c | Constraints: 6390
2.78/2.83 c | Arity: 1..50 -- Unary: 25
2.78/2.83 c |
2.78/2.83 c | Types:
2.78/2.83 c | Exactly K: 35
2.78/2.83 c | Intension: 6300
2.78/2.83 c | Lex: 30
2.78/2.83 c | Unary: 25
2.78/2.83 c |
2.78/2.83 c =========================================================================================================
2.78/2.83 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
4.59/4.65 c 101 243 259132 4825 25 0 58 86 76
6.29/6.40 c 211 579 492275 9274 27 0 1 60 44
7.78/7.81 c 332 934 698365 12152 27 0 11 45 41
9.68/9.74 c 465 1480 983533 16180 27 0 16 45 42
11.28/11.37 c 611 1881 1219265 19710 27 0 15 47 43
13.29/13.39 c 771 2354 1509915 24245 27 0 13 45 42
15.58/15.67 c 947 2985 1849078 29188 27 0 26 43 41
19.28/19.37 c 1140 3706 2338693 36802 27 0 12 40 37
22.28/22.38 c 1352 4412 2775820 43358 27 0 11 45 39
25.28/25.35 c 1585 5369 3217692 50135 27 0 12 51 39
28.48/28.57 c 1841 6207 3704535 57819 27 0 16 48 40
31.88/31.92 c 2122 7011 4213648 65662 27 0 12 52 48
35.68/35.78 c 2431 7962 4789097 73496 27 0 38 49 46
40.99/41.03 c 2770 9200 5563165 86629 27 0 17 57 50
47.09/47.19 c 3142 11201 6554082 101941 27 0 26 64 60
55.88/55.93 c 3551 14349 7952158 125603 27 0 38 60 52
64.18/64.23 c 4000 16282 9082514 144046 27 0 25 60 42
72.28/72.31 c 4493 18291 10246468 162447 27 0 13 49 45
80.37/80.43 c 5035 20730 11509456 183394 27 0 14 62 52
88.38/88.48 c 5631 22516 12723860 200822 27 0 35 61 51
99.48/99.59 c 6286 25973 14438672 227632 27 0 22 64 53
109.78/109.84 c 7006 29311 16069549 252507 27 0 16 62 53
121.67/121.79 c 7798 32516 17947668 281844 27 0 14 62 53
134.57/134.69 c 8669 36645 20028954 315945 27 0 32 64 60
153.77/153.83 c 9627 42533 23080853 362263 27 0 40 62 52
173.98/174.10 c 10680 49944 26343644 409465 27 0 24 62 53
190.07/190.18 c 11838 54785 28922398 451616 27 0 40 64 60
213.86/213.97 c 13111 59652 32396578 506487 27 0 33 62 48
238.66/238.75 c 14511 65258 36147859 566346 27 0 35 62 51
257.97/258.07 c 16051 69886 39197943 619521 27 0 41 64 62
290.46/290.57 c 17745 78899 44528214 707526 27 0 44 63 57
325.75/325.86 c 19608 85437 49466147 794946 27 0 38 63 46
351.15/351.21 c 21657 94617 53354400 859150 27 0 30 55 46
392.06/392.18 c 23910 101177 58924558 954410 30 0 1 45 44
430.05/430.16 c 26388 110412 64457584 1033627 30 0 12 44 42
463.54/463.64 c 29113 119229 69676132 1105406 30 0 12 63 49
507.34/507.42 c 32110 131796 76573480 1221389 30 0 17 62 54
551.63/551.77 c 35406 144465 83701997 1337239 30 0 17 64 61
602.23/602.33 c 39031 165214 92189368 1467553 30 0 25 62 59
659.42/659.59 c 43018 181993 101326686 1619762 30 0 1 64 60
717.93/718.03 c 47403 195956 110389624 1777054 30 0 14 64 57
790.92/791.06 c 52226 225140 121435882 1922741 33 0 1 46 43
869.11/869.23 c 57531 247282 133937674 2117863 33 0 16 64 62
964.10/964.28 c 63366 278573 149347997 2362111 33 0 39 64 60
1056.69/1056.86 c 69784 304369 164128996 2583406 33 0 16 64 61
1175.89/1176.05 c 76843 338985 183505845 2881792 33 0 33 63 52
1303.88/1304.02 c 84607 380673 204302497 3207423 33 0 26 63 59
1476.65/1476.83 c 93147 438236 232595835 3624452 33 0 26 62 54
1636.34/1636.55 c 102541 492466 258468541 4023551 33 0 34 63 60
1798.23/1798.44 c 112874 540638 284507363 4442285 33 0 29 60 54
1968.11/1968.31 c 124240 592391 312067199 4863283 33 0 13 62 61
2210.99/2211.28 c 136742 670285 351605537 5465344 33 0 30 59 51
2415.97/2416.22 c 150494 728797 384238096 5999518 33 0 16 59 56
2519.77/2520.01
2519.77/2520.01 c *** INTERRUPTED ***
2519.77/2520.01 c restarts : 53
2519.77/2520.01 c conflicts : 157210 (62 /sec)
2519.77/2520.01 c decisions : 759391 (301 /sec)
2519.77/2520.01 c propagations : 6256001 (2483 /sec)
2519.77/2520.01 c root propagations : 67
2519.77/2520.01 c filter calls : 400854513 (159090 /sec)
2519.77/2520.01 c useless filter calls : 396222192 (98 %)
2519.77/2520.01 c Memory used : 113.84 MB
2519.77/2520.01 c CPU time : 2519.68 s
2519.77/2520.01
2519.77/2520.01 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 (2562 MiB free)
memory of node 1: 16384 MiB (6823 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294447-1532461647/watcher-4294447-1532461647 -o /tmp/evaluation-result-4294447-1532461647/solver-4294447-1532461647 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20753 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294447-1532461647.xml
running on 4 cores: 1,3,5,7
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=23950, runsolver pid=23947
[startup+0.100929 s]*
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9611476/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=27764 memory=3936 CPUtime=0.1 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 1147 0 0 0 10 0 0 0 20 0 1 0 63727589 28430336 984 33554432000 4194304 6142532 140736427171168 140736427166616 139692328868864 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 6941 984 783 476 0 263 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27764 KiB
Current children cumulated memory: 3936 KiB
[startup+0.209447 s]*
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9609624/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=29860 memory=6012 CPUtime=0.2 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 1716 0 0 0 20 0 0 0 20 0 1 0 63727589 30576640 1503 33554432000 4194304 6142532 140736427171168 140736427161656 139692328430565 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 7465 1503 802 476 0 787 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29860 KiB
Current children cumulated memory: 6012 KiB
[startup+0.309089 s]*
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9606276/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=33260 memory=9412 CPUtime=0.3 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 2545 0 0 0 30 0 0 0 20 0 1 0 63727589 34058240 2353 33554432000 4194304 6142532 140736427171168 140736427161656 139692328430565 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 8315 2353 802 476 0 1637 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 9412 KiB
[startup+0.700291 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9599580/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=45880 memory=22032 CPUtime=0.69 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 5729 0 0 0 68 1 0 0 20 0 1 0 63727589 46981120 5508 33554432000 4194304 6142532 140736427171168 140736427161656 139692328430565 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 11503 5508 802 476 0 4825 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45880 KiB
Current children cumulated memory: 22032 KiB
[startup+1.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9583392/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=72560 memory=48844 CPUtime=1.48 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 12385 0 0 0 146 2 0 0 20 0 1 0 63727589 74301440 12211 33554432000 4194304 6142532 140736427171168 140736427165720 139692328430565 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 18140 12211 802 476 0 11462 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72560 KiB
Current children cumulated memory: 48844 KiB
[startup+3.10957 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9522384/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93120 CPUtime=3.09 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 39066 0 0 0 304 5 0 0 20 0 1 0 63727589 119365632 23280 33554432000 4194304 6142532 140736427171168 140736427165720 139692329354803 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23280 857 476 0 22464 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93120 KiB
[startup+6.30037 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9522016/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93192 CPUtime=6.29 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 61335 0 0 0 623 6 0 0 20 0 1 0 63727589 119365632 23298 33554432000 4194304 6142532 140736427171168 140736427168216 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23298 858 476 0 22464 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93192 KiB
[startup+12.7004 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9522016/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93192 CPUtime=12.68 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 77581 0 0 0 1262 6 0 0 20 0 1 0 63727589 119365632 23298 33554432000 4194304 6142532 140736427171168 140736427168568 139692329351092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23298 858 476 0 22464 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93192 KiB
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9522016/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93192 CPUtime=25.48 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 110078 0 0 0 2540 8 0 0 20 0 1 0 63727589 119365632 23298 33554432000 4194304 6142532 140736427171168 140736427168568 139692329351092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23298 858 476 0 22464 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93192 KiB
[startup+51.1096 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 23951
/proc/meminfo: memFree=9522144/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93192 CPUtime=51.09 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 126376 0 0 0 5100 9 0 0 20 0 1 0 63727589 119365632 23298 33554432000 4194304 6142532 140736427171168 140736427168568 139692329351075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23298 858 476 0 22464 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93192 KiB
[startup+102.3 s]
/proc/loadavg: 2.21 2.05 2.06 3/187 23952
/proc/meminfo: memFree=9520708/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93192 CPUtime=102.28 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 142655 0 0 0 10218 10 0 0 20 0 1 0 63727589 119365632 23298 33554432000 4194304 6142532 140736427171168 140736427168568 5372449 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23298 858 476 0 22464 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93192 KiB
[startup+162.3 s]
/proc/loadavg: 2.36 2.14 2.09 3/188 23961
/proc/meminfo: memFree=9518904/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=162.27 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 145317 0 0 0 16217 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5376434 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+222.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/188 23962
/proc/meminfo: memFree=9520200/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=222.26 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 145701 0 0 0 22216 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5146698 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/188 23963
/proc/meminfo: memFree=9521068/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=282.26 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 146085 0 0 0 28216 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 139692338375567 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 23964
/proc/meminfo: memFree=9520756/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=342.25 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 146469 0 0 0 34215 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5146868 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 23965
/proc/meminfo: memFree=9520640/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=402.25 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 146852 0 0 0 40215 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5048058 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 23967
/proc/meminfo: memFree=9520356/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=462.24 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 147235 0 0 0 46214 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5146809 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
################
# More data... #
################
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24089
/proc/meminfo: memFree=9538880/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=1782.13 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 155248 0 0 0 178203 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5400296 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24090
/proc/meminfo: memFree=9539100/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=1842.12 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 155632 0 0 0 184202 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5047845 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24091
/proc/meminfo: memFree=9538672/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=1902.12 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 155780 0 0 0 190202 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5374338 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24100
/proc/meminfo: memFree=9537524/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=1962.11 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 155931 0 0 0 196201 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5361706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24101
/proc/meminfo: memFree=9538108/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2022.11 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 156398 0 0 0 202201 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5367420 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 24102
/proc/meminfo: memFree=9538824/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2082.1 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 156593 0 0 0 208200 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5371724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 24103
/proc/meminfo: memFree=9538640/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2142.1 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 156790 0 0 0 214200 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 4965024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24104
/proc/meminfo: memFree=9538836/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2202.09 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 156986 0 0 0 220199 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5360479 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24106
/proc/meminfo: memFree=9538552/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2262.09 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 157502 0 0 0 226199 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 139692338375562 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24107
/proc/meminfo: memFree=9538608/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2322.08 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 157838 0 0 0 232198 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5174711 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2382.3 s]
/proc/loadavg: 2.41 2.14 2.09 3/187 24108
/proc/meminfo: memFree=9538244/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2382.07 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 158088 0 0 0 238197 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5047904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/187 24110
/proc/meminfo: memFree=9538684/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2442.07 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 158472 0 0 0 244197 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5372465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 24111
/proc/meminfo: memFree=9538756/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2502.06 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 158627 0 0 0 250196 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5047816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.09 2.07 3/187 24111
/proc/meminfo: memFree=9538880/32770624 swapFree=67108860/67108860
[pid=23950] ppid=23947 vsize=116568 memory=93200 CPUtime=2519.77 cores=1,3,5,7
/proc/23950/stat : 23950 (cosoco) R 23947 23950 20721 0 -1 4202496 158775 0 0 0 251967 10 0 0 20 0 1 0 63727589 119365632 23300 33554432000 4194304 6142532 140736427171168 140736427168568 5363509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21966848 140736427172998 140736427173128 140736427173128 140736427175886 0
/proc/23950/statm: 29142 23300 858 476 0 22464 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 116568 KiB
Current children cumulated memory: 93200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23950 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=0.10499 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.78
CPU user time (s): 2519.68
CPU system time (s): 0.10499
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 116568
Max. memory (cumulated for all children) (KiB): 93200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.10499
maximum resident set size= 93268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158824
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= 22
involuntary context switches= 635
# summary of solver processes directly reported to runsolver:
# pid: 23950
# total CPU time (s): 2519.78
# total CPU user time (s): 2519.68
# total CPU system time (s): 0.10499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.72336 second user time and 18.8097 second system time
The end