0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408033-1569794146.xml
0.00/0.00 c intension eq(add(x[0][0],2),x[1][0]) -> extension (support ? 1) - 40tuples
0.00/0.00 c intension eq(add(x[0][1],3),x[1][1]) -> extension (support ? 1) - 39tuples
0.00/0.00 c intension eq(add(x[0][2],4),x[1][2]) -> extension (support ? 1) - 38tuples
0.00/0.01 c intension eq(add(x[0][3],5),x[1][3]) -> extension (support ? 1) - 37tuples
0.00/0.01 c intension eq(add(x[0][4],6),x[1][4]) -> extension (support ? 1) - 36tuples
0.00/0.01 c intension eq(add(x[0][5],7),x[1][5]) -> extension (support ? 1) - 35tuples
0.00/0.01 c intension eq(add(x[0][6],8),x[1][6]) -> extension (support ? 1) - 34tuples
0.00/0.01 c intension eq(add(x[0][7],9),x[1][7]) -> extension (support ? 1) - 33tuples
0.00/0.01 c intension eq(add(x[0][8],10),x[1][8]) -> extension (support ? 1) - 32tuples
0.00/0.01 c intension eq(add(x[0][9],11),x[1][9]) -> extension (support ? 1) - 31tuples
0.00/0.01 c intension eq(add(x[0][10],12),x[1][10]) -> extension (support ? 1) - 30tuples
0.00/0.01 c intension eq(add(x[0][11],13),x[1][11]) -> extension (support ? 1) - 29tuples
0.00/0.01 c intension eq(add(x[0][12],14),x[1][12]) -> extension (support ? 1) - 28tuples
0.00/0.02 c intension eq(add(x[0][13],15),x[1][13]) -> extension (support ? 1) - 27tuples
0.00/0.02 c intension eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 40tuples
0.00/0.02 c intension eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 39tuples
0.00/0.02 c intension eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 38tuples
0.00/0.02 c intension eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 37tuples
0.00/0.02 c intension eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 35tuples
0.00/0.02 c intension eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 34tuples
0.00/0.02 c intension eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 33tuples
0.00/0.03 c intension eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 32tuples
0.00/0.03 c intension eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 31tuples
0.00/0.03 c intension eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 30tuples
0.00/0.03 c intension eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 29tuples
0.00/0.03 c intension eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 28tuples
0.00/0.03 c intension eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 27tuples
0.00/0.03 c root propagations : 714
0.00/0.03 c restarts enabled, print stats at every restarts
0.00/0.03 c
0.00/0.03 c
0.00/0.03 c ========================================[ Problem Statistics ]===========================================
0.00/0.03 c |
0.00/0.03 c | Parse time : 0.03 s
0.00/0.03 c |
0.00/0.03 c | Variables: 42
0.00/0.03 c | Domain Sizes: 42..42
0.00/0.03 c |
0.00/0.03 c | Constraints: 29
0.00/0.03 c | Arity: 2..42 -- Binary: 28
0.00/0.03 c |
0.00/0.03 c | Types:
0.00/0.03 c | All Different: 1
0.00/0.03 c | Extension: 28 (nb tuples: 27..40) -- (shared: 0)
0.00/0.03 c |
0.00/0.03 c =========================================================================================================
0.00/0.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.06 c 101 332 9668 38310 42 0 13 25 18
0.00/0.10 c 211 730 21202 79663 42 0 13 25 17
0.10/0.14 c 332 1124 33336 124922 42 0 10 25 18
0.10/0.19 c 465 1590 47445 175410 42 0 13 25 20
0.21/0.24 c 611 2060 63724 232762 42 0 13 25 19
0.21/0.30 c 771 2607 81972 299634 42 0 7 25 18
0.31/0.35 c 947 3191 98651 360767 42 0 13 22 18
0.41/0.43 c 1140 3849 121294 441400 42 0 13 25 19
0.41/0.49 c 1352 4496 141392 517635 42 0 13 25 19
0.51/0.59 c 1585 5338 171484 619751 42 0 13 28 19
0.60/0.68 c 1841 6263 199998 717732 42 0 7 25 19
0.69/0.78 c 2122 7168 230078 827737 42 0 13 25 18
0.79/0.89 c 2431 8140 262057 936852 42 0 13 28 20
0.89/1.00 c 2770 9310 298370 1060970 42 0 13 25 19
1.10/1.15 c 3142 10531 341861 1202904 42 0 10 28 18
1.29/1.31 c 3551 11885 392617 1373170 42 0 13 25 18
1.49/7.18 c 4000 13378 437939 1544529 42 0 7 28 18
1.49/7.18 c 4493 14957 487001 1719559 42 0 10 25 18
1.49/7.18 c 5035 16603 537693 1904269 42 0 7 28 19
1.49/7.18 c 5631 18669 603002 2131236 42 0 10 28 19
1.49/7.18 c 6286 20821 677458 2392968 42 0 10 25 18
1.49/7.18 c 7006 23149 761697 2695370 42 0 10 28 19
1.49/7.18 c 7798 25720 844738 2985807 42 0 10 31 19
1.49/7.18 c 8669 28460 941006 3324595 42 0 10 28 19
1.49/7.18 c 9627 31383 1041850 3674146 42 0 7 28 19
1.49/7.18 c 10680 34536 1150120 4051057 42 0 13 28 19
1.49/7.18 c 11838 38211 1294169 4533076 42 0 10 28 19
1.49/7.18 c 13111 42475 1443232 5038189 42 0 10 28 19
1.49/7.18 c 14511 46821 1582527 5537659 42 0 10 28 19
1.49/7.18 c 16051 51733 1733866 6104700 42 0 10 28 18
1.49/7.18 c 17745 57477 1931549 6793136 42 0 10 28 19
1.49/7.18 c 19608 63369 2131641 7520419 42 0 10 28 19
7.79/7.81 c 21657 70020 2369734 8353672 42 0 10 28 19
8.60/8.66 c 23910 77976 2627308 9246654 42 0 10 31 19
9.49/9.58 c 26388 86040 2907981 10223030 42 0 10 31 19
10.49/10.57 c 29113 95128 3209836 11294716 42 0 10 28 19
11.70/11.73 c 32110 105643 3559527 12488678 42 0 10 28 18
12.89/12.94 c 35406 116259 3925873 13801564 42 0 7 28 18
14.09/14.19 c 39031 127990 4308766 15154778 42 0 7 28 19
15.60/15.64 c 43018 141436 4747328 16691989 42 0 7 31 19
16.99/17.08 c 47403 155922 5190741 18297903 42 0 7 28 19
18.89/18.90 c 52226 171884 5745367 20231696 42 0 10 28 19
20.79/20.85 c 57531 188037 6337277 22320365 42 0 10 28 19
23.09/23.16 c 63366 208740 7034969 24716167 42 0 7 31 18
25.49/25.54 c 69784 229291 7756139 27264271 42 0 10 31 19
28.10/28.15 c 76843 252250 8550791 30098796 42 0 7 28 19
30.80/30.88 c 84607 277858 9383596 32961885 42 0 7 28 19
34.00/34.00 c 93147 306432 10337661 36316656 42 0 7 28 19
37.60/37.66 c 102541 340000 11444301 40142215 42 0 10 31 18
41.40/41.47 c 112874 373052 12596798 44221273 42 0 7 31 19
45.80/45.88 c 124240 410998 13931718 48844968 42 0 10 28 19
50.00/50.01 c 136742 451223 15198342 53284972 42 0 7 31 19
55.00/55.09 c 150494 495890 16741999 58749303 42 0 7 31 19
60.20/60.29 c 165621 545310 18328423 64210018 42 0 7 31 19
66.50/66.52 c 182260 598804 20212199 70851415 42 0 7 31 19
72.50/72.60 c 200562 657096 22081100 77418867 42 0 7 34 19
80.00/80.05 c 220694 728129 24331768 85157404 42 0 7 31 18
88.61/88.65 c 242839 804523 26948359 94167173 42 0 7 31 19
97.50/97.51 c 267198 885672 29650809 103349445 42 0 7 31 19
107.61/107.61 c 293992 971800 32713034 114135973 42 0 7 31 19
117.71/117.75 c 323465 1068044 35821642 124959129 42 0 7 28 19
129.90/129.97 c 355885 1176892 39525281 138090155 42 0 7 31 19
143.40/143.41 c 391547 1299146 43606516 152426300 42 0 7 31 19
157.01/157.09 c 430775 1430120 47780449 166627525 42 0 7 31 19
173.91/173.94 c 473925 1580277 52887205 184159644 42 0 7 31 18
191.72/191.76 c 521390 1741094 58267734 202658798 42 0 7 31 19
209.01/209.01 c 573601 1913152 63552309 221226744 42 0 7 31 19
230.51/230.55 c 631033 2107636 70068940 243742428 42 0 7 31 19
253.21/253.25 c 694208 2320805 76940718 267063526 42 0 7 31 19
279.12/279.15 c 763700 2564132 84786529 293871780 42 0 4 31 19
307.12/307.15 c 840141 2823294 93201761 323329245 42 0 4 31 18
337.82/337.87 c 924226 3108748 102403832 355190038 42 0 7 31 18
371.63/371.65 c 1016719 3422395 112572139 390495212 42 0 4 31 19
408.33/408.37 c 1118461 3769204 123639201 429055046 42 0 7 31 18
449.03/449.01 c 1230377 4158800 135863714 471128232 42 0 4 31 18
495.74/495.79 c 1353484 4603018 149891216 519203992 42 0 4 31 18
547.14/547.13 c 1488901 5092399 165270623 571544835 42 0 4 34 18
551.24/551.27 s UNSATISFIABLE
551.24/551.27 c restarts : 77
551.24/551.27 c conflicts : 1499830 (2720 /sec)
551.24/551.27 c decisions : 5133040 (9311 /sec)
551.24/551.27 c propagations : 575739308 (1044303 /sec)
551.24/551.27 c root propagations : 714
551.24/551.27 c filter calls : 166507194 (302019 /sec)
551.24/551.27 c useless filter calls : 28030864 (16 %)
551.24/551.27 c Memory used : 27.00 MB
551.24/551.27 c CPU time : 551.314 s
551.24/551.27 c real time : 551.267 s
551.24/551.27
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 (12222 MiB free)
memory of node 1: 16384 MiB (14841 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408033-1569794146/watcher-4408033-1569794146 -o /tmp/evaluation-result-4408033-1569794146/solver-4408033-1569794146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408033-1569794146.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=26898, runsolver pid=26895
[startup+0.10014 s]*
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27719228/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4064 CPUtime=0.1 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1232 0 0 0 10 0 0 0 20 0 1 0 555576141 28311552 1016 33554432000 4194304 6211132 140731060207264 140731060203800 5075226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1016 832 493 0 217 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4064 KiB
[startup+0.209791 s]*
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27719228/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4064 CPUtime=0.21 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1232 0 0 0 21 0 0 0 20 0 1 0 555576141 28311552 1016 33554432000 4194304 6211132 140731060207264 140731060203800 5078762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1016 832 493 0 217 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4064 KiB
[startup+0.309497 s]*
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27722100/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4064 CPUtime=0.31 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1232 0 0 0 31 0 0 0 20 0 1 0 555576141 28311552 1016 33554432000 4194304 6211132 140731060207264 140731060203800 5081349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1016 832 493 0 217 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4064 KiB
[startup+0.700353 s]
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27716336/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4064 CPUtime=0.69 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1232 0 0 0 69 0 0 0 20 0 1 0 555576141 28311552 1016 33554432000 4194304 6211132 140731060207264 140731060203800 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1016 832 493 0 217 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4064 KiB
[startup+1.50034 s]
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27718556/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4064 CPUtime=1.49 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1232 0 0 0 149 0 0 0 20 0 1 0 555576141 28311552 1016 33554432000 4194304 6211132 140731060207264 140731060205224 5390120 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1016 832 493 0 217 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4064 KiB
[startup+7.2854 s]
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27718556/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=7.28 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1450 0 0 0 728 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5081337 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 7.28 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+7.30034 s]
/proc/loadavg: 2.19 2.16 2.14 3/200 26899
/proc/meminfo: memFree=27718556/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=7.29 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1450 0 0 0 729 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5081322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+12.7091 s]
/proc/loadavg: 2.38 2.21 2.15 3/199 26902
/proc/meminfo: memFree=28585912/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=12.7 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1559 0 0 0 1270 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5079328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+25.5003 s]
/proc/loadavg: 2.30 2.20 2.15 3/199 26902
/proc/meminfo: memFree=28586244/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=25.49 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1777 0 0 0 2549 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5079292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+51.1003 s]
/proc/loadavg: 2.20 2.18 2.14 3/199 26904
/proc/meminfo: memFree=28587248/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=51.1 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1888 0 0 0 5110 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5081706 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.15 2.13 3/199 26908
/proc/meminfo: memFree=28588820/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=102.3 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 1998 0 0 0 10230 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.12 2.13 3/200 26914
/proc/meminfo: memFree=28588348/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=162.31 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2108 0 0 0 16231 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.12 2.13 3/199 26919
/proc/meminfo: memFree=28587460/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=222.31 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2218 0 0 0 22231 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.10 2.12 3/199 26923
/proc/meminfo: memFree=28588752/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=282.32 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2218 0 0 0 28232 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082717 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.10 2.12 3/201 26937
/proc/meminfo: memFree=28588128/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=342.32 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2328 0 0 0 34232 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5081706 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.08 2.12 3/201 26967
/proc/meminfo: memFree=28587560/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=402.32 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2328 0 0 0 40232 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5083000 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+462.3 s]
/proc/loadavg: 2.29 2.13 2.13 3/201 26971
/proc/meminfo: memFree=28587444/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=462.33 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2438 0 0 0 46233 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5186321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+522.3 s]
/proc/loadavg: 2.34 2.19 2.15 3/202 26977
/proc/meminfo: memFree=28586908/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=522.34 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2438 0 0 0 52234 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 522.34 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+551.272 s]
# the end of solver process 26898 was just reported to runsolver
# cumulated CPU time of all completed processes: user=551.315 s, system=0.004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+530.4 s]
/proc/loadavg: 2.32 2.19 2.15 3/201 26977
/proc/meminfo: memFree=28587032/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=530.44 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2438 0 0 0 53044 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082800 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 530.44 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+543.2 s]
/proc/loadavg: 2.25 2.18 2.15 3/201 26979
/proc/meminfo: memFree=28587700/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=543.24 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2535 0 0 0 54324 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5082393 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 543.24 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+546.4 s]
/proc/loadavg: 2.23 2.18 2.15 3/201 26979
/proc/meminfo: memFree=28587700/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=546.44 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2535 0 0 0 54644 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5081360 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 546.44 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+549.6 s]*
/proc/loadavg: 2.23 2.18 2.15 3/201 26979
/proc/meminfo: memFree=28587560/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=549.65 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2548 0 0 0 54965 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5076396 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 549.65 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+550.4 s]
/proc/loadavg: 2.23 2.18 2.15 3/201 26979
/proc/meminfo: memFree=28587560/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=550.44 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2548 0 0 0 55044 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 550.44 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+550.8 s]
/proc/loadavg: 2.21 2.17 2.15 3/201 26979
/proc/meminfo: memFree=28587560/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=550.84 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2548 0 0 0 55084 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5079232 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 550.84 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
[startup+551.2 s]
/proc/loadavg: 2.21 2.17 2.15 3/201 26979
/proc/meminfo: memFree=28587560/32770624 swapFree=67002732/67108860
[pid=26898] ppid=26895 vsize=27648 memory=4280 CPUtime=551.24 cores=0,2,4,6
/proc/26898/stat : 26898 (cosoco) R 26895 26898 25748 0 -1 4202496 2548 0 0 0 55124 0 0 0 20 0 1 0 555576141 28311552 1070 33554432000 4194304 6211132 140731060207264 140731060205224 5081747 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35250176 140731060212747 140731060212849 140731060212849 140731060215758 0
/proc/26898/statm: 6912 1070 870 493 0 217 0
Current children cumulated CPU time: 551.24 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 4280 KiB
Child status: 0
Real time (s): 551.273
CPU time (s): 551.319
CPU user time (s): 551.315
CPU system time (s): 0.004
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 27648
Max. memory (cumulated for all children) (KiB): 4280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 551.315
system time used= 0.004
maximum resident set size= 4344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2585
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= 146
# summary of solver processes directly reported to runsolver:
# pid: 26898
# total CPU time (s): 551.319
# total CPU user time (s): 551.315
# total CPU system time (s): 0.004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20617 second user time and 3.3049 second system time
The end