9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
9.39/9.45 c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint
9.39/9.45 c
10.18/10.22 c root propagations : 116
10.18/10.22 c restarts enabled, print stats at every restarts
10.18/10.22 c
10.18/10.22 c
10.18/10.22 c
10.18/10.22 c This is cosoco 1.12 --
10.18/10.22 c
10.18/10.22 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294420-1532459113.xml
10.18/10.22 c ========================================[ Problem Statistics ]===========================================
10.18/10.22 c |
10.18/10.22 c | Parse time : 9.34 s
10.18/10.22 c |
10.18/10.22 c | Variables: 324
10.18/10.22 c | Domain Sizes: 6..6
10.18/10.22 c |
10.18/10.22 c | Constraints: 22813
10.18/10.22 c | Arity: 1..72 -- Unary: 36
10.18/10.22 c |
10.18/10.22 c | Types:
10.18/10.22 c | Exactly K: 54
10.18/10.22 c | Intension: 22680
10.18/10.22 c | Lex: 43
10.18/10.22 c | Unary: 36
10.18/10.22 c |
10.18/10.22 c =========================================================================================================
10.18/10.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
13.99/14.05 c 101 381 447009 3013 36 0 96 121 115
19.69/19.73 c 211 843 1063557 7274 36 0 46 108 100
24.88/24.95 c 332 1315 1611487 11517 36 0 50 121 79
29.78/29.87 c 465 1803 2135030 15236 36 0 71 81 77
35.68/35.73 c 611 2323 2739236 19511 36 0 59 80 76
41.58/41.61 c 771 2882 3355028 24260 36 0 70 104 85
49.99/50.03 c 947 3664 4258643 30640 36 0 68 79 76
56.18/56.23 c 1140 4311 4936932 35955 36 0 88 102 95
63.58/63.62 c 1352 5022 5704865 41499 36 0 63 79 75
72.57/72.67 c 1585 5919 6699978 48493 36 0 73 102 94
87.48/87.51 c 1841 7024 8340272 63577 36 0 90 139 110
98.99/99.06 c 2122 7941 9495700 73319 36 0 76 96 89
109.08/109.16 c 2431 8993 10628811 81958 36 0 59 100 94
120.17/120.24 c 2770 10147 11866031 91167 36 0 60 101 95
135.57/135.61 c 3142 11638 13497224 102288 36 0 67 75 73
148.67/148.74 c 3551 13031 14979932 113662 36 0 57 100 93
168.67/168.72 c 4000 14972 17097726 128130 36 0 62 80 75
189.56/189.67 c 4493 16998 19360932 143694 36 0 70 79 76
207.76/207.84 c 5035 18910 21402468 158994 36 0 61 103 95
225.08/225.16 c 5631 20627 23364451 175215 36 0 80 101 96
243.86/243.97 c 6286 22457 25462828 193378 36 0 72 101 95
267.35/267.42 c 7006 25000 28167376 213756 36 0 71 101 98
289.97/290.05 c 7798 27372 30716812 233984 36 0 68 100 91
325.06/325.18 c 8669 30768 34534884 259632 36 0 65 78 73
363.25/363.36 c 9627 34625 38747165 288528 36 0 59 101 80
398.34/398.44 c 10680 38311 42619706 317058 36 0 69 82 77
489.33/489.42 c 11838 42561 52622596 426487 36 0 39 131 124
531.43/531.53 c 13111 46961 57478124 464723 36 0 67 109 100
570.73/570.82 c 14511 50606 61697827 504863 36 0 76 97 90
682.82/682.97 c 16051 56323 74233981 633452 36 0 78 134 127
737.71/737.86 c 17745 61143 79992632 688369 36 0 87 108 99
798.11/798.20 c 19608 67912 87173777 740436 36 0 64 107 104
870.02/870.15 c 21657 75733 95658110 800787 36 0 60 102 98
923.80/923.96 c 23910 81119 101640795 856417 36 0 58 96 92
991.40/991.56 c 26388 88573 109436525 921233 36 0 39 97 92
1060.19/1060.33 c 29113 95120 116964420 994413 36 0 73 94 89
1127.49/1127.69 c 32110 101636 124452333 1068694 36 0 50 94 87
1230.08/1230.26 c 35406 112588 136462018 1160457 36 0 52 91 87
1342.27/1342.45 c 39031 124545 149527979 1259497 36 0 54 92 87
1499.96/1500.11 c 43018 140273 166607940 1373046 36 0 63 78 74
1624.95/1625.19 c 47403 153326 180929701 1487985 36 0 65 96 87
1808.84/1809.04 c 52226 172774 202206543 1641212 36 0 56 96 90
1981.61/1981.83 c 57531 190526 221902946 1796005 36 0 58 98 90
2145.70/2146.00 c 63366 208237 240918777 1952142 36 0 69 95 88
2372.29/2372.59 c 69784 232442 267145769 2146319 36 0 64 95 88
2519.78/2520.01
2519.78/2520.01 c *** INTERRUPTED ***
2519.78/2520.01 c restarts : 45
2519.78/2520.01 c conflicts : 74267 (29 /sec)
2519.78/2520.01 c decisions : 248722 (99 /sec)
2519.78/2520.01 c propagations : 2279612 (905 /sec)
2519.78/2520.01 c root propagations : 116
2519.78/2520.01 c filter calls : 284069306 (112751 /sec)
2519.78/2520.01 c useless filter calls : 282349364 (99 %)
2519.78/2520.01 c Memory used : 368.88 MB
2519.78/2520.01 c CPU time : 2519.45 s
2519.78/2520.01
2519.78/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 (2436 MiB free)
memory of node 1: 16384 MiB (6822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294420-1532459113/watcher-4294420-1532459113 -o /tmp/evaluation-result-4294420-1532459113/solver-4294420-1532459113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20753 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294420-1532459113.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=23691, runsolver pid=23688
[startup+0.101098 s]*
/proc/loadavg: 2.00 2.05 2.06 3/188 23692
/proc/meminfo: memFree=9480392/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=27836 memory=3936 CPUtime=0.1 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 1168 0 0 0 10 0 0 0 20 0 1 0 63474171 28504064 984 33554432000 4194304 6142532 140731767543360 140731767540008 5566958 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 6959 984 783 476 0 281 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27836 KiB
Current children cumulated memory: 3936 KiB
[startup+0.209399 s]*
/proc/loadavg: 2.00 2.05 2.06 3/188 23692
/proc/meminfo: memFree=9479744/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=28160 memory=4236 CPUtime=0.21 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 1277 0 0 0 21 0 0 0 20 0 1 0 63474171 28835840 1059 33554432000 4194304 6142532 140731767543360 140731767540008 140213003594725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 7040 1059 783 476 0 362 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28160 KiB
Current children cumulated memory: 4236 KiB
[startup+0.309071 s]*
/proc/loadavg: 1.92 2.04 2.05 3/188 23692
/proc/meminfo: memFree=9479372/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=28292 memory=4496 CPUtime=0.3 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 1352 0 0 0 30 0 0 0 20 0 1 0 63474171 28971008 1124 33554432000 4194304 6142532 140731767543360 140731767540008 5800671 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 7073 1124 783 476 0 395 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28292 KiB
Current children cumulated memory: 4496 KiB
[startup+0.700289 s]
/proc/loadavg: 1.92 2.04 2.05 3/188 23692
/proc/meminfo: memFree=9479000/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=35144 memory=11144 CPUtime=0.69 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 3124 0 0 0 69 0 0 0 20 0 1 0 63474171 35987456 2786 33554432000 4194304 6142532 140731767543360 140731767540008 140213003594725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 8786 2786 801 476 0 2108 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35144 KiB
Current children cumulated memory: 11144 KiB
[startup+1.50029 s]
/proc/loadavg: 1.92 2.04 2.05 3/188 23692
/proc/meminfo: memFree=9461888/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=64184 memory=40184 CPUtime=1.49 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 10402 0 0 0 148 1 0 0 20 0 1 0 63474171 65724416 10046 33554432000 4194304 6142532 140731767543360 140731767540008 140213003594725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 16079 10046 801 476 0 9401 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64184 KiB
Current children cumulated memory: 40184 KiB
[startup+3.10939 s]
/proc/loadavg: 1.92 2.04 2.05 3/188 23692
/proc/meminfo: memFree=9388976/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=122812 memory=98804 CPUtime=3.1 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 25181 0 0 0 307 3 0 0 20 0 1 0 63474171 125759488 24701 33554432000 4194304 6142532 140731767543360 140731767534152 140213003594725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 30703 24701 801 476 0 24025 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 122812 KiB
Current children cumulated memory: 98804 KiB
[startup+6.30027 s]
/proc/loadavg: 1.93 2.04 2.05 3/188 23692
/proc/meminfo: memFree=9279824/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=239016 memory=215080 CPUtime=6.28 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 54463 0 0 0 620 8 0 0 20 0 1 0 63474171 244752384 53770 33554432000 4194304 6142532 140731767543360 140731767537832 140213003594725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 59754 53770 801 476 0 53076 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 239016 KiB
Current children cumulated memory: 215080 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.04 2.05 3/188 23692
/proc/meminfo: memFree=9129868/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377592 memory=354128 CPUtime=12.68 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 152471 0 0 0 1253 15 0 0 20 0 1 0 63474171 386654208 88532 33554432000 4194304 6142532 140731767543360 140731767541016 5371860 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94398 88532 856 476 0 87720 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 377592 KiB
Current children cumulated memory: 354128 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.03 2.05 3/188 23692
/proc/meminfo: memFree=9130116/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377592 memory=354244 CPUtime=25.48 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 215109 0 0 0 2530 18 0 0 20 0 1 0 63474171 386654208 88561 33554432000 4194304 6142532 140731767543360 140731767540760 5146755 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94398 88561 859 476 0 87720 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 377592 KiB
Current children cumulated memory: 354244 KiB
[startup+51.1096 s]
/proc/loadavg: 1.97 2.03 2.05 3/187 23692
/proc/meminfo: memFree=9130448/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377592 memory=354252 CPUtime=51.09 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 276352 0 0 0 5089 20 0 0 20 0 1 0 63474171 386654208 88563 33554432000 4194304 6142532 140731767543360 140731767540760 4990720 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94398 88563 859 476 0 87720 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 377592 KiB
Current children cumulated memory: 354252 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 23693
/proc/meminfo: memFree=9130200/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354288 CPUtime=102.28 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 358735 0 0 0 10203 25 0 0 20 0 1 0 63474171 386789376 88572 33554432000 4194304 6142532 140731767543360 140731767540760 5366756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88572 859 476 0 87753 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354288 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.05 3/187 23694
/proc/meminfo: memFree=9130188/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354288 CPUtime=162.27 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 415904 0 0 0 16200 27 0 0 20 0 1 0 63474171 386789376 88572 33554432000 4194304 6142532 140731767543360 140731767540760 4991092 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88572 859 476 0 87753 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354288 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23695
/proc/meminfo: memFree=9129204/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354292 CPUtime=222.27 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 461881 0 0 0 22197 30 0 0 20 0 1 0 63474171 386789376 88573 33554432000 4194304 6142532 140731767543360 140731767540760 5047842 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88573 859 476 0 87753 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354292 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23696
/proc/meminfo: memFree=9129348/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354300 CPUtime=282.26 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 491090 0 0 0 28195 31 0 0 20 0 1 0 63474171 386789376 88575 33554432000 4194304 6142532 140731767543360 140731767540760 5371774 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88575 859 476 0 87753 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354300 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23705
/proc/meminfo: memFree=9129256/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354300 CPUtime=342.25 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 496105 0 0 0 34194 31 0 0 20 0 1 0 63474171 386789376 88575 33554432000 4194304 6142532 140731767543360 140731767540760 5367445 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88575 859 476 0 87753 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354300 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23706
/proc/meminfo: memFree=9129316/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354300 CPUtime=402.24 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 496783 0 0 0 40193 31 0 0 20 0 1 0 63474171 386789376 88575 33554432000 4194304 6142532 140731767543360 140731767540760 5375758 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88575 859 476 0 87753 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354300 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23707
/proc/meminfo: memFree=9129200/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354300 CPUtime=462.24 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 496981 0 0 0 46193 31 0 0 20 0 1 0 63474171 386789376 88575 33554432000 4194304 6142532 140731767543360 140731767540760 5361201 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88575 859 476 0 87753 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354300 KiB
################
# More data... #
################
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23808
/proc/meminfo: memFree=9261028/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=1782.13 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 506499 0 0 0 178180 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 140213004515252 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23810
/proc/meminfo: memFree=9259904/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=1842.12 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 507066 0 0 0 184179 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5366795 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23811
/proc/meminfo: memFree=9259960/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=1902.12 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 507227 0 0 0 190179 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5363684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23812
/proc/meminfo: memFree=9260172/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=1962.11 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 507551 0 0 0 196178 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5147020 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23813
/proc/meminfo: memFree=9259872/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2022.11 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 508036 0 0 0 202178 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5367445 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23814
/proc/meminfo: memFree=9260248/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2082.1 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 508217 0 0 0 208177 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5374338 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23823
/proc/meminfo: memFree=9259824/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2142.1 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 508392 0 0 0 214177 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5371794 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23824
/proc/meminfo: memFree=9259996/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2202.09 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 509009 0 0 0 220176 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5363683 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23825
/proc/meminfo: memFree=9259876/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2262.09 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 509287 0 0 0 226176 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5174689 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23826
/proc/meminfo: memFree=9259776/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2322.08 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 509494 0 0 0 232175 33 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 140213004518974 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 23827
/proc/meminfo: memFree=9259904/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2382.08 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 510072 0 0 0 238174 34 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5363668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 23828
/proc/meminfo: memFree=9259868/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2442.08 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 510528 0 0 0 244174 34 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5366791 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23829
/proc/meminfo: memFree=9259940/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2502.07 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 510738 0 0 0 250173 34 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5146755 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 23829
/proc/meminfo: memFree=9259940/32770624 swapFree=67108860/67108860
[pid=23691] ppid=23688 vsize=377724 memory=354304 CPUtime=2519.78 cores=1,3,5,7
/proc/23691/stat : 23691 (cosoco) R 23688 23691 20721 0 -1 4202496 510740 0 0 0 251944 34 0 0 20 0 1 0 63474171 386789376 88576 33554432000 4194304 6142532 140731767543360 140731767540760 5146943 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36966400 140731767551110 140731767551240 140731767551240 140731767553998 0
/proc/23691/statm: 94431 88576 859 476 0 87753 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 377724 KiB
Current children cumulated memory: 354304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23691 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.45 s, system=0.343972 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.79
CPU user time (s): 2519.45
CPU system time (s): 0.343972
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 377724
Max. memory (cumulated for all children) (KiB): 354304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.45
system time used= 0.343972
maximum resident set size= 354364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510786
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= 31
involuntary context switches= 1794
# summary of solver processes directly reported to runsolver:
# pid: 23691
# total CPU time (s): 2519.79
# total CPU user time (s): 2519.45
# total CPU system time (s): 0.343972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1193 second user time and 18.6611 second system time
The end