0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 62 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c Create Cardinality(vars,values,occurs) constraint using 64 Exactly/AtMost.. constraint
0.00/0.08 c
0.00/0.08 c intension hd[0]<ad[0] using generic constraint
0.00/0.08 c intension hd[1]<ad[1] using generic constraint
0.00/0.08 c intension hd[2]<ad[2] using generic constraint
0.00/0.08 c intension hd[3]<ad[3] using generic constraint
0.00/0.08 c intension hd[4]<ad[4] using generic constraint
0.00/0.08 c intension hd[5]<ad[5] using generic constraint
0.00/0.09 c intension hd[6]<ad[6] using generic constraint
0.00/0.09 c intension hd[7]<ad[7] using generic constraint
0.00/0.09 c intension hd[8]<ad[8] using generic constraint
0.00/0.09 c intension hd[9]<ad[9] using generic constraint
0.00/0.09 c intension hd[10]<ad[10] using generic constraint
0.00/0.09 c intension hd[11]<ad[11] using generic constraint
0.00/0.09 c intension hd[12]<ad[12] using generic constraint
0.00/0.09 c intension hd[13]<ad[13] using generic constraint
0.00/0.09 c intension hd[14]<ad[14] using generic constraint
0.00/0.09 c intension hd[15]<ad[15] using generic constraint
0.09/0.16 c root propagations : 11824
0.09/0.16 c restarts enabled, print stats at every restarts
0.09/0.16 c
0.09/0.16 c
0.09/0.16 c
0.09/0.16 c This is cosoco 1.0 --
0.09/0.16 c
0.09/0.16 c ========================================[ Problem Statistics ]===========================================
0.09/0.16 c |
0.09/0.16 c | Parse time : 0.09 s
0.09/0.16 c |
0.09/0.16 c | Variables: 1520
0.09/0.16 c | Domain Sizes: 32..496
0.09/0.16 c |
0.09/0.16 c | Constraints: 2128
0.09/0.16 c | Arity: 1..496 -- Unary: 16 -- Binary: 16 -- Ternary: 496
0.09/0.16 c |
0.09/0.16 c | Types:
0.09/0.16 c | (X - Y < k): 16
0.09/0.16 c | All Different: 33
0.09/0.16 c | At least: 512
0.09/0.16 c | At most: 512
0.09/0.16 c | Exactly K: 543
0.09/0.16 c | Extension: 496 (nb tuples: 496..496) -- (shared: 495)
0.09/0.16 c | Intension: 16
0.09/0.16 c |
0.09/0.16 c =========================================================================================================
0.09/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.19/0.21 c 101 289 163273 48608 1520 0 87 180 119
0.29/0.33 c 211 673 327729 160317 1520 0 53 225 216
0.39/0.47 c 332 1084 482995 272858 1520 0 18 189 182
0.49/0.52 c 465 1398 562990 364487 1520 0 18 91 87
0.49/0.58 c 611 1706 652765 463282 1520 0 18 59 56
0.59/0.64 c 771 2037 746121 574236 1520 0 18 59 56
0.69/0.72 c 947 2392 852861 698903 1520 0 18 59 56
0.69/0.79 c 1140 2794 963648 830789 1520 0 18 59 56
0.79/0.87 c 1352 3218 1076862 972761 1520 0 2 59 56
0.89/0.95 c 1585 3679 1202155 1130258 1520 0 2 59 56
0.99/1.05 c 1841 4188 1340147 1305846 1520 0 2 59 56
1.10/1.14 c 2122 4723 1487440 1490833 1520 0 18 59 56
1.20/1.24 c 2431 5286 1642489 1689195 1520 0 18 59 55
1.29/1.35 c 2770 5901 1810012 1911578 1520 0 2 59 55
1.49/1.50 c 3142 6580 2001541 2163798 1520 0 18 59 55
1.59/1.62 c 3551 7296 2190137 2426553 1520 0 2 59 55
1.69/1.77 c 4000 8113 2404151 2713521 1520 0 18 59 55
1.89/1.92 c 4493 9011 2636834 3032064 1520 0 18 59 55
2.09/2.10 c 5035 9962 2890946 3384785 1520 0 2 59 55
2.20/2.30 c 5631 10995 3163710 3765895 1520 0 2 59 55
2.49/2.54 c 6286 12163 3474345 4203307 1520 0 18 59 55
2.69/2.79 c 7006 13417 3800774 4679240 1520 0 18 59 55
2.99/3.07 c 7798 14762 4161170 5203659 1520 0 18 59 54
3.30/3.35 c 8669 16325 4546239 5789659 1520 0 2 59 55
3.59/3.66 c 9627 17925 4964409 6435157 1520 0 18 59 54
3.99/4.01 c 10680 19672 5417002 7140448 1520 0 18 59 54
4.39/4.41 c 11838 21625 5933267 7924162 1520 0 18 59 54
4.79/4.83 c 13111 23712 6485626 8786281 1520 0 2 59 54
5.29/5.33 c 14511 26104 7095759 9741353 1520 0 2 59 54
5.89/5.94 c 16051 28715 7797418 10775419 1520 0 2 59 54
6.69/6.71 c 17745 31898 8581959 11784779 1520 0 52 60 55
7.39/7.45 c 19608 35071 9423417 13062778 1520 0 2 59 54
8.29/8.31 c 21657 38626 10348586 14480443 1520 0 21 59 54
9.19/9.23 c 23910 42515 11348995 16031270 1520 0 2 59 54
10.09/10.17 c 26388 46662 12434857 17705919 1520 0 18 59 54
11.39/11.41 c 29113 51479 13706210 19576329 1520 0 18 59 54
12.59/12.63 c 32110 56557 15034807 21622007 1520 0 2 59 54
13.89/13.92 c 35406 62297 16510808 23882000 1520 0 2 59 54
15.40/15.49 c 39031 68402 18163865 26326106 1520 0 18 59 53
17.09/17.16 c 43018 75097 19934251 29066736 1520 0 2 59 53
18.80/18.89 c 47403 82514 21869096 32003371 1520 0 18 59 53
20.79/20.80 c 52226 90549 24019178 35222551 1520 0 2 59 53
22.99/23.04 c 57531 99431 26402151 38879123 1520 0 2 59 53
25.19/25.27 c 63366 108968 28938344 42674177 1520 0 2 59 53
27.79/27.80 c 69784 119551 31811046 46916993 1520 0 2 59 53
30.79/30.90 c 76843 131520 35050371 51729450 1520 0 18 59 53
33.99/34.05 c 84607 144493 38499176 56939582 1520 0 18 59 53
36.99/37.04 c 93147 157729 42124779 62348211 1520 0 18 55 51
40.48/40.56 c 102541 172345 46073325 68433333 1520 0 21 55 51
44.09/44.16 c 112874 188385 50442075 75008101 1520 0 2 55 51
48.08/48.12 c 124240 206024 55249966 82313404 1520 0 46 55 51
52.68/52.72 c 136742 226325 60613155 90507461 1520 0 48 59 53
59.18/59.22 c 150494 250201 67180934 98298415 1520 0 47 59 53
64.28/64.32 c 165621 274009 73760624 106195968 1520 0 45 54 50
69.88/69.98 c 182260 300184 80986394 116845661 1520 0 2 59 51
76.18/76.24 c 200562 328701 89071931 128652552 1520 0 2 59 51
82.58/82.62 c 220694 361186 97960478 141773321 1520 0 18 59 51
88.18/88.28 c 242839 394489 107094802 155486657 1520 0 18 53 49
96.38/96.41 c 267198 433672 117921858 171330992 1520 0 2 59 51
103.78/103.89 c 293992 474351 129527082 188081789 1520 0 2 53 49
112.18/112.27 c 323465 519655 142157470 206496973 1520 0 44 58 50
124.47/124.56 c 355885 574604 157044034 228540511 1520 0 2 59 53
133.87/133.95 c 391547 626231 172073547 250181200 1520 0 18 51 47
143.27/143.32 c 430775 683189 188333730 274073066 1520 0 2 51 47
155.77/155.84 c 473925 751468 207281586 295964448 1520 0 34 55 50
170.27/170.35 c 521390 825272 228410808 326040512 1520 0 2 57 50
185.47/185.58 c 573601 903308 250976780 358458000 1520 0 2 55 49
202.87/202.97 c 631033 991984 276237365 395083845 1520 0 2 59 50
218.77/218.84 c 694208 1082486 302588902 433249327 1520 0 2 51 47
237.67/237.74 c 763700 1186921 332395938 476319401 1520 0 2 53 49
256.57/256.66 c 840141 1296725 364082036 522179494 1520 0 2 51 47
278.37/278.49 c 924226 1415711 399741219 573021337 1520 0 2 49 45
305.26/305.35 c 1016719 1557334 439731071 631192800 1520 0 2 55 49
331.26/331.38 c 1118461 1702336 482574565 692260273 1520 0 2 53 46
359.16/359.21 c 1230377 1861507 528976435 760011673 1520 0 2 51 46
392.16/392.29 c 1353484 2045380 581784562 835622083 1520 0 2 53 48
423.56/423.66 c 1488901 2237486 639352562 896722779 1520 0 22 50 45
463.85/463.95 c 1637859 2455734 703765896 987387803 1520 0 2 53 48
507.15/507.22 c 1801712 2696737 775044321 1064329410 1520 0 41 52 47
545.44/545.55 c 1981950 2951762 851436289 1147324359 1520 0 38 50 45
607.64/607.76 c 2180211 3257144 940125204 1272180124 1520 0 2 59 50
661.84/661.97 c 2398298 3581692 1035628833 1374719112 1520 0 41 52 47
718.43/718.50 c 2638193 3905332 1135831121 1513816138 1520 0 2 47 43
791.03/791.14 c 2902077 4316835 1252749650 1645754686 1520 0 42 54 49
860.62/860.78 c 3192349 4709390 1373919073 1814002409 1520 0 2 47 43
946.52/946.63 c 3511648 5172170 1513451347 2007218898 1520 0 2 51 47
1032.01/1032.19 c 3862876 5673792 1662474021 2217596211 1520 0 39 51 46
1134.90/1135.04 c 4249226 6234877 1830321261 2451670685 1520 0 2 51 47
1232.40/1232.56 c 4674211 6818666 2009077896 2699949160 1520 0 2 57 44
1338.19/1338.39 c 5141694 7442167 2206180286 2970443680 1520 0 2 47 42
1453.48/1453.66 c 5655925 8126263 2418717686 3266171934 1520 0 2 47 41
1590.48/1590.69 c 6221579 8911077 2658958635 3599720198 1520 0 2 49 45
1721.47/1721.65 c 6843798 9731923 2919636960 3952767664 1520 0 2 47 41
1910.75/1910.94 c 7528238 10715254 3221923444 4367942950 1520 0 2 35 30
2071.25/2071.46 c 8281122 11702969 3533210724 4796637786 1520 0 2 31 24
2262.33/2262.53 c 9109294 12858937 3883958064 5284073244 1520 0 2 33 29
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242328-1500662303/watcher-4242328-1500662303 -o /tmp/evaluation-result-4242328-1500662303/solver-4242328-1500662303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9850 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242328-1500662303.xml
pid=14073
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 14076
/proc/meminfo: memFree=31941476/32770624 swapFree=5992/195784
[pid=14076] ppid=14073 vsize=27784 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 1143 0 0 0 0 0 0 0 20 0 1 0 1500343 28450816 964 33554432000 4194304 5970956 140731294272016 140731294268616 139832379861989 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 6946 964 702 434 0 310 0
[startup+0.100106 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 14076
/proc/meminfo: memFree=31941476/32770624 swapFree=5992/195784
[pid=14076] ppid=14073 vsize=51412 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 7156 0 0 0 8 1 0 0 20 0 1 0 1500343 52645888 6971 33554432000 4194304 5970956 140731294272016 140731294265592 4941417 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 12853 6971 808 434 0 6217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51412
[startup+0.200421 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 14076
/proc/meminfo: memFree=31941476/32770624 swapFree=5992/195784
[pid=14076] ppid=14073 vsize=51808 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 7294 0 0 0 18 1 0 0 20 0 1 0 1500343 53051392 7103 33554432000 4194304 5970956 140731294272016 140731294269624 139832379861989 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 12952 7103 847 434 0 6316 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51808
[startup+0.300333 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 14076
/proc/meminfo: memFree=31941476/32770624 swapFree=5992/195784
[pid=14076] ppid=14073 vsize=53272 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 7675 0 0 0 28 1 0 0 20 0 1 0 1500343 54550528 7499 33554432000 4194304 5970956 140731294272016 140731294268824 4976802 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7499 848 434 0 6682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53272
[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 14076
/proc/meminfo: memFree=31941476/32770624 swapFree=5992/195784
[pid=14076] ppid=14073 vsize=53272 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 7681 0 0 0 68 1 0 0 20 0 1 0 1500343 54550528 7499 33554432000 4194304 5970956 140731294272016 140731294269352 4934527 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7499 848 434 0 6682 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53272
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14077
/proc/meminfo: memFree=31914344/32770624 swapFree=5992/195848
[pid=14076] ppid=14073 vsize=53272 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 7681 0 0 0 148 1 0 0 20 0 1 0 1500343 54550528 7499 33554432000 4194304 5970956 140731294272016 140731294269352 4978416 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7499 848 434 0 6682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53272
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.05 5/243 14077
/proc/meminfo: memFree=31913848/32770624 swapFree=5992/195848
[pid=14076] ppid=14073 vsize=53272 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 13852 0 0 0 308 1 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5031474 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53272
[startup+6.30031 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 14077
/proc/meminfo: memFree=31913784/32770624 swapFree=5992/195836
[pid=14076] ppid=14073 vsize=53272 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 19939 0 0 0 628 1 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53272
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 4/243 14077
/proc/meminfo: memFree=31913172/32770624 swapFree=5992/195848
[pid=14076] ppid=14073 vsize=53272 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 26130 0 0 0 1267 2 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53272
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 14077
/proc/meminfo: memFree=31913420/32770624 swapFree=5992/195864
[pid=14076] ppid=14073 vsize=53272 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 38339 0 0 0 2547 2 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5337492 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53272
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 14077
/proc/meminfo: memFree=31913824/32770624 swapFree=5992/195896
[pid=14076] ppid=14073 vsize=53272 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 44471 0 0 0 5106 2 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53272
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 14086
/proc/meminfo: memFree=31912644/32770624 swapFree=5992/195980
[pid=14076] ppid=14073 vsize=53272 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 49448 0 0 0 10225 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4934357 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53272
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/244 14087
/proc/meminfo: memFree=31913128/32770624 swapFree=5992/196048
[pid=14076] ppid=14073 vsize=53272 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 49895 0 0 0 16224 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 53272
[startup+222.308 s]
/proc/loadavg: 2.11 2.04 2.05 4/244 14088
/proc/meminfo: memFree=31912528/32770624 swapFree=5992/196092
[pid=14076] ppid=14073 vsize=53272 CPUtime=222.28 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 50337 0 0 0 22225 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 53272
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 14089
/proc/meminfo: memFree=31913372/32770624 swapFree=5992/196136
[pid=14076] ppid=14073 vsize=53272 CPUtime=282.26 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 50779 0 0 0 28223 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4976705 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 53272
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 14090
/proc/meminfo: memFree=31912648/32770624 swapFree=5992/196192
[pid=14076] ppid=14073 vsize=53272 CPUtime=342.26 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 51233 0 0 0 34223 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5319216 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 53272
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 14091
/proc/meminfo: memFree=31913268/32770624 swapFree=5992/196248
[pid=14076] ppid=14073 vsize=53272 CPUtime=402.25 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 51676 0 0 0 40222 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4934315 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 53272
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/243 14092
/proc/meminfo: memFree=31913236/32770624 swapFree=5992/196292
[pid=14076] ppid=14073 vsize=53272 CPUtime=462.25 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 52087 0 0 0 46222 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4971781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 53272
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14093
/proc/meminfo: memFree=31913592/32770624 swapFree=5992/196332
[pid=14076] ppid=14073 vsize=53272 CPUtime=522.24 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 52530 0 0 0 52221 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4969969 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 53272
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14094
/proc/meminfo: memFree=31913380/32770624 swapFree=5992/196376
[pid=14076] ppid=14073 vsize=53272 CPUtime=582.24 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 52941 0 0 0 58221 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5337509 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 53272
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14347
/proc/meminfo: memFree=31997688/32770624 swapFree=5992/197144
[pid=14076] ppid=14073 vsize=53272 CPUtime=1482.18 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 59037 0 0 0 148215 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 53272
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14348
/proc/meminfo: memFree=31996868/32770624 swapFree=5992/197196
[pid=14076] ppid=14073 vsize=53272 CPUtime=1542.19 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 59408 0 0 0 154216 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 53272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 14349
/proc/meminfo: memFree=31996464/32770624 swapFree=5992/197280
[pid=14076] ppid=14073 vsize=53272 CPUtime=1602.17 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 59806 0 0 0 160214 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4930611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 53272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14350
/proc/meminfo: memFree=31996128/32770624 swapFree=5992/197344
[pid=14076] ppid=14073 vsize=53272 CPUtime=1662.17 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 60156 0 0 0 166214 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 53272
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 14351
/proc/meminfo: memFree=31996400/32770624 swapFree=5992/197396
[pid=14076] ppid=14073 vsize=53272 CPUtime=1722.17 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 60575 0 0 0 172214 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974412 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 53272
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 14352
/proc/meminfo: memFree=31996608/32770624 swapFree=5992/197448
[pid=14076] ppid=14073 vsize=53272 CPUtime=1782.16 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 60950 0 0 0 178213 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4934556 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 53272
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 14353
/proc/meminfo: memFree=31996692/32770624 swapFree=5992/197492
[pid=14076] ppid=14073 vsize=53272 CPUtime=1842.16 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 61325 0 0 0 184213 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 53272
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 14361
/proc/meminfo: memFree=31995680/32770624 swapFree=5992/197524
[pid=14076] ppid=14073 vsize=53272 CPUtime=1902.15 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 61700 0 0 0 190212 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 53272
[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 14362
/proc/meminfo: memFree=31996280/32770624 swapFree=5992/197572
[pid=14076] ppid=14073 vsize=53272 CPUtime=1962.15 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 62132 0 0 0 196212 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4977811 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 53272
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 14363
/proc/meminfo: memFree=31996768/32770624 swapFree=5992/197612
[pid=14076] ppid=14073 vsize=53272 CPUtime=2022.15 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 62499 0 0 0 202212 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4976696 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 53272
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 14364
/proc/meminfo: memFree=31996360/32770624 swapFree=5992/197680
[pid=14076] ppid=14073 vsize=53272 CPUtime=2082.15 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 62893 0 0 0 208212 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5031447 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 53272
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 14365
/proc/meminfo: memFree=31996516/32770624 swapFree=5992/197720
[pid=14076] ppid=14073 vsize=53272 CPUtime=2142.14 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 63243 0 0 0 214211 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974266 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 53272
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 14366
/proc/meminfo: memFree=31995976/32770624 swapFree=5992/197768
[pid=14076] ppid=14073 vsize=53272 CPUtime=2202.14 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 63593 0 0 0 220211 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5025397 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 53272
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 14367
/proc/meminfo: memFree=31994568/32770624 swapFree=5992/197812
[pid=14076] ppid=14073 vsize=53272 CPUtime=2262.13 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 63943 0 0 0 226210 3 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 53272
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 14368
/proc/meminfo: memFree=31995068/32770624 swapFree=5992/197848
[pid=14076] ppid=14073 vsize=53272 CPUtime=2322.14 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 64377 0 0 0 232210 4 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 53272
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14369
/proc/meminfo: memFree=31995224/32770624 swapFree=5992/197892
[pid=14076] ppid=14073 vsize=53272 CPUtime=2382.14 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 64748 0 0 0 238210 4 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 53272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14369
/proc/meminfo: memFree=31995796/32770624 swapFree=5992/197896
[pid=14076] ppid=14073 vsize=53272 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/14076/stat : 14076 (cosoco) R 14073 14076 9819 0 -1 4202496 65132 0 0 0 240000 4 0 0 20 0 1 0 1500343 54550528 7521 33554432000 4194304 5970956 140731294272016 140731294269352 4974704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 33280000 140731294278849 140731294278979 140731294278979 140731294281678 0
/proc/14076/statm: 13318 7521 848 434 0 6682 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 53272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14076 sig 9
??? kill -14076 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.05
CPU user time (s): 2400.01
CPU system time (s): 0.041997
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 53272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.041997
maximum resident set size= 30128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65158
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= 21
involuntary context switches= 120613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08351 second user time and 11.2624 second system time
The end