0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 54 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 56 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c intension hd[0]<ad[0] using generic constraint
0.00/0.09 c intension hd[1]<ad[1] using generic constraint
0.00/0.09 c intension hd[2]<ad[2] using generic constraint
0.00/0.09 c intension hd[3]<ad[3] using generic constraint
0.00/0.09 c intension hd[4]<ad[4] using generic constraint
0.00/0.09 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.03/0.12 c root propagations : 8246
0.03/0.12 c restarts enabled, print stats at every restarts
0.03/0.12 c
0.03/0.12 c
0.03/0.12 c
0.03/0.12 c This is cosoco 1.12 --
0.03/0.12 c
0.03/0.12 c command line: cosoco -lc -model -restarts HOME/instance-4268341-1502544740.xml
0.03/0.12 c ========================================[ Problem Statistics ]===========================================
0.03/0.12 c |
0.03/0.12 c | Parse time : 0.04 s
0.03/0.12 c |
0.03/0.12 c | Variables: 1162
0.03/0.12 c | Domain Sizes: 28..378
0.03/0.12 c |
0.03/0.12 c | Constraints: 1638
0.03/0.12 c | Arity: 1..378 -- Unary: 14 -- Binary: 14 -- Ternary: 378
0.03/0.12 c |
0.03/0.12 c | Types:
0.03/0.12 c | (X - Y < k): 14
0.03/0.12 c | All Different: 29
0.03/0.12 c | At least: 392
0.03/0.12 c | At most: 392
0.03/0.12 c | Exactly K: 419
0.03/0.12 c | Extension: 378 (nb tuples: 378..378) -- (shared: 377)
0.03/0.12 c | Intension: 14
0.03/0.12 c |
0.03/0.12 c =========================================================================================================
0.03/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.03/0.15 c 101 262 112771 33489 1162 0 77 156 107
0.13/0.21 c 211 590 216655 106355 1162 0 45 156 148
0.13/0.29 c 332 970 342864 197060 1162 0 56 195 187
0.23/0.34 c 465 1313 430282 276262 1162 0 19 127 121
0.33/0.45 c 611 1777 569752 393111 1162 0 19 195 189
0.43/0.51 c 771 2180 674797 483493 1162 0 16 130 123
0.43/0.56 c 947 2509 724803 501153 1162 0 58 154 148
0.53/0.60 c 1140 2861 779475 519306 1162 0 1 160 155
0.53/0.66 c 1352 3259 871456 544621 1162 0 1 187 161
0.63/0.76 c 1585 3728 1001699 670531 1162 0 1 70 66
0.83/0.91 c 1841 4319 1171212 820666 1162 0 17 169 163
0.83/0.98 c 2122 4880 1308929 960781 1162 0 17 69 66
1.04/1.19 c 2431 5530 1530048 1136430 1162 0 17 131 99
1.14/1.29 c 2770 6188 1688211 1308584 1162 0 17 63 60
1.43/1.53 c 3142 6940 1906773 1522787 1162 0 64 99 96
1.53/1.66 c 3551 7745 2107362 1730599 1162 0 16 69 66
1.73/1.88 c 4000 8615 2328753 1972500 1162 0 64 99 96
1.93/2.02 c 4493 9521 2538512 2207288 1162 0 16 66 63
2.03/2.19 c 5035 10485 2768919 2471950 1162 0 16 54 51
2.24/2.32 c 5631 11538 3005260 2753721 1162 0 2 51 48
2.33/2.48 c 6286 12761 3272087 3074796 1162 0 16 51 48
2.53/2.68 c 7006 14025 3568660 3435258 1162 0 16 51 47
2.74/2.87 c 7798 15448 3882307 3821968 1162 0 16 51 47
2.94/3.07 c 8669 16994 4224379 4246042 1162 0 16 51 47
3.25/3.31 c 9627 18619 4600689 4718560 1162 0 16 51 47
3.44/3.56 c 10680 20450 5014975 5243486 1162 0 2 51 47
3.74/3.88 c 11838 22482 5479916 5816899 1162 0 16 51 47
4.14/4.22 c 13111 24707 5983984 6468265 1162 0 2 51 47
4.45/4.56 c 14511 27184 6538597 7167208 1162 0 16 51 47
4.84/4.96 c 16051 29787 7141717 7966715 1162 0 16 51 47
5.24/5.39 c 17745 32651 7793171 8842725 1162 0 2 51 47
5.74/5.85 c 19608 35794 8499620 9796256 1162 0 16 51 47
6.34/6.40 c 21657 39226 9300037 10855261 1162 0 16 51 46
6.84/6.94 c 23910 43015 10131696 12005368 1162 0 2 51 46
7.44/7.56 c 26388 47283 11105374 13313273 1162 0 2 51 47
8.14/8.26 c 29113 51873 12172475 14723442 1162 0 2 51 46
8.84/8.92 c 32110 57076 13336601 16292456 1162 0 16 51 47
9.64/9.78 c 35406 62798 14637524 18007365 1162 0 2 51 46
10.54/10.66 c 39031 68771 16023880 19860255 1162 0 2 49 45
11.54/11.69 c 43018 75504 17590105 21908270 1162 0 2 49 45
12.84/12.90 c 47403 82681 19323591 24173132 1162 0 16 51 45
13.94/14.02 c 52226 90786 21177696 26609303 1162 0 16 51 45
15.34/15.45 c 57531 99763 23272589 29387947 1162 0 2 51 45
16.84/16.97 c 63366 109498 25559474 32374419 1162 0 16 49 45
18.14/18.20 c 69784 119168 27875877 35422724 1162 0 16 47 43
19.84/19.92 c 76843 131024 30654148 39087522 1162 0 16 51 45
21.44/21.56 c 84607 143031 33528798 42857857 1162 0 16 47 43
23.14/23.28 c 93147 156049 36637172 46974768 1162 0 2 47 42
25.34/25.45 c 102541 170605 40229584 51582011 1162 0 2 47 43
27.54/27.64 c 112874 186717 44042831 56633130 1162 0 2 49 43
29.84/29.92 c 124240 203576 48183324 62054316 1162 0 2 45 41
32.64/32.74 c 136742 223032 53005300 68153049 1162 0 2 47 43
35.44/35.51 c 150494 243695 58028507 74714292 1162 0 2 45 41
38.64/38.76 c 165621 267716 63798761 82150144 1162 0 2 51 43
41.94/42.06 c 182260 292624 69905460 90076440 1162 0 2 45 41
45.14/45.28 c 200562 318454 76300782 98441874 1162 0 2 43 39
49.74/49.83 c 220694 350551 83928972 108459231 1162 0 2 51 43
55.04/55.16 c 242839 385346 92687198 119308116 1162 0 2 51 43
60.64/60.75 c 267198 423876 102109716 131300568 1162 0 2 51 43
66.05/66.19 c 293992 462231 112115307 143812089 1162 0 2 43 39
71.45/71.60 c 323465 504428 122711356 157389610 1162 0 2 43 39
78.05/78.13 c 355885 552898 134800791 172607787 1162 0 2 47 41
86.64/86.72 c 391547 608807 149208676 190284204 1162 0 2 47 41
93.94/94.04 c 430775 665918 163681969 208587117 1162 0 35 43 39
102.44/102.52 c 473925 728158 179931235 228754642 1162 0 2 43 39
111.64/111.78 c 521390 799446 197554107 251221725 1162 0 2 49 41
121.95/122.04 c 573601 877080 216891633 275582746 1162 0 2 51 41
132.15/132.28 c 631033 959150 238583067 298792248 1162 0 31 41 36
144.05/144.15 c 694208 1051316 261816284 328441409 1162 0 2 43 39
158.75/158.84 c 763700 1157895 288055791 361511777 1162 0 35 49 42
173.86/173.99 c 840141 1265609 317268864 396643105 1162 0 2 43 37
192.56/192.60 c 924226 1397565 350072752 437376843 1162 0 2 51 42
209.65/209.78 c 1016719 1526856 384761578 470329560 1162 0 31 42 36
231.16/231.21 c 1118461 1676480 424111340 518379404 1162 0 2 51 39
252.36/252.45 c 1230377 1839242 465531243 569910620 1162 0 33 49 39
274.66/274.78 c 1353484 2024076 512243316 615639707 1162 0 20 44 39
300.66/300.79 c 1488901 2217157 562693416 677515375 1162 0 2 43 38
333.27/333.36 c 1637859 2445496 620521818 749429119 1162 0 2 47 41
358.97/359.05 c 1801712 2669218 680672743 804516227 1162 0 29 39 34
392.17/392.29 c 1981950 2922786 747394537 886865354 1162 0 2 29 24
432.98/433.06 c 2180211 3215001 823776837 979553785 1162 0 2 31 26
471.48/471.56 c 2398298 3507667 903112948 1076405275 1162 0 2 39 35
521.98/522.09 c 2638193 3881714 996980527 1169193794 1162 0 20 36 27
564.69/564.78 c 2902077 4252569 1094831713 1257610978 1162 0 28 40 36
626.30/626.32 c 3192349 4683706 1207856433 1393927767 1162 0 2 37 25
691.40/691.48 c 3511648 5159264 1330262944 1544492625 1162 0 2 31 26
752.41/752.43 c 3862876 5634768 1458987728 1699066180 1162 0 2 49 35
826.92/826.94 c 4249226 6177939 1608677561 1829366955 1162 0 14 26 22
946.43/946.41 c 4674211 6855282 1787991932 2026646974 1162 0 60 235 225
1030.64/1030.65 c 5141694 7528245 1963059179 2239758442 1162 0 17 44 39
1142.75/1142.79 c 5655925 8311086 2165814986 2484890993 1162 0 33 51 40
1246.26/1246.20 c 6221579 9134512 2382510352 2688357472 1162 0 30 42 37
1366.17/1366.14 c 6843798 10022321 2620964175 2971870076 1162 0 2 43 38
1502.28/1502.21 c 7528238 11023244 2882437326 3291958949 1162 0 2 29 24
1641.10/1641.01 c 8281122 12102058 3166228946 3635489588 1162 0 2 29 24
1802.91/1802.83 c 9109294 13265924 3483291139 4012226827 1162 0 2 27 23
1964.13/1964.03 c 10020283 14524947 3819961327 4418228100 1162 0 2 35 22
2193.35/2193.25 c 11022370 16046960 4225728980 4898909999 1162 0 2 35 26
2383.98/2383.89 c 12124665 17557149 4632343882 5389598032 1162 0 2 25 21
2520.09/2519.90
2520.09/2519.90 c *** INTERRUPTED ***
2520.09/2519.90 c restarts : 99
2520.09/2519.90 c conflicts : 12791851 (5076 /sec)
2520.09/2519.90 c decisions : 18557708 (7364 /sec)
2520.09/2519.90 c propagations : 5636719167 (2236721 /sec)
2520.09/2519.90 c root propagations : 8246
2520.09/2519.90 c filter calls : 4894227416 (1942091 /sec)
2520.09/2519.90 c useless filter calls : 4824143505 (98 %)
2520.09/2519.90 c Memory used : 42.89 MB
2520.09/2519.90 c CPU time : 2520.08 s
2520.09/2519.90
2520.09/2519.90 s UNKNOWN
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-4268341-1502544740/watcher-4268341-1502544740 -o /tmp/evaluation-result-4268341-1502544740/solver-4268341-1502544740 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268341-1502544740.xml
pid=31246
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31249
/proc/meminfo: memFree=31212732/32770624 swapFree=0/525612
[pid=31249] ppid=31246 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31249/stat : 31249 (runsolver) D 31246 31249 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 56694718 24240128 108 18446744073709551615 4194304 4338465 140725724364432 140725724362072 140603131466455 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15675392 140725724373185 140725724373577 140725724373577 140725724377034 0
/proc/31249/statm: 5918 108 54 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31249
/proc/meminfo: memFree=31212732/32770624 swapFree=0/525612
[pid=31249] ppid=31246 vsize=41776 CPUtime=0.03 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 4766 0 0 0 3 0 0 0 20 0 1 0 56694718 42778624 4605 18446744073709551615 4194304 5972588 140720511589808 140720511586456 139921762757605 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10477 4605 807 435 0 3840 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 41776
[startup+0.200336 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31249
/proc/meminfo: memFree=31212732/32770624 swapFree=0/525612
[pid=31249] ppid=31246 vsize=42964 CPUtime=0.13 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 5078 0 0 0 13 0 0 0 20 0 1 0 56694718 43995136 4869 18446744073709551615 4194304 5972588 140720511589808 140720511586456 5032431 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10741 4869 845 435 0 4104 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 42964
[startup+0.3003 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31249
/proc/meminfo: memFree=31212732/32770624 swapFree=0/525612
[pid=31249] ppid=31246 vsize=43228 CPUtime=0.23 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 5164 0 0 0 23 0 0 0 20 0 1 0 56694718 44265472 5001 18446744073709551615 4194304 5972588 140720511589808 140720511586456 5094232 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10807 5001 845 435 0 4170 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 43228
[startup+0.700245 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 31249
/proc/meminfo: memFree=31212732/32770624 swapFree=0/525612
[pid=31249] ppid=31246 vsize=43492 CPUtime=0.63 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 5214 0 0 0 63 0 0 0 20 0 1 0 56694718 44535808 5001 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4935502 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5001 845 435 0 4236 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 43492
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31250
/proc/meminfo: memFree=31196304/32770624 swapFree=0/525632
[pid=31249] ppid=31246 vsize=43492 CPUtime=1.43 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 5214 0 0 0 143 0 0 0 20 0 1 0 56694718 44535808 5001 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4931696 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5001 845 435 0 4236 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 43492
[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 31250
/proc/meminfo: memFree=31195932/32770624 swapFree=0/525632
[pid=31249] ppid=31246 vsize=43492 CPUtime=3.04 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 9135 0 0 0 303 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5032468 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 43492
[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 31250
/proc/meminfo: memFree=31195776/32770624 swapFree=0/525632
[pid=31249] ppid=31246 vsize=43492 CPUtime=6.24 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 13150 0 0 0 623 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5032450 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 43492
[startup+12.7002 s]
/proc/loadavg: 1.85 1.98 2.03 3/181 31250
/proc/meminfo: memFree=31195460/32770624 swapFree=0/525624
[pid=31249] ppid=31246 vsize=43492 CPUtime=12.64 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 15647 0 0 0 1263 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4931766 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 43492
[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/181 31250
/proc/meminfo: memFree=31195452/32770624 swapFree=0/525616
[pid=31249] ppid=31246 vsize=43492 CPUtime=25.44 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 18680 0 0 0 2543 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4971939 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 43492
[startup+51.1003 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 31251
/proc/meminfo: memFree=31195576/32770624 swapFree=0/525616
[pid=31249] ppid=31246 vsize=43492 CPUtime=51.04 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 19223 0 0 0 5103 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4975114 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43492
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/181 31253
/proc/meminfo: memFree=31194968/32770624 swapFree=0/525640
[pid=31249] ppid=31246 vsize=43492 CPUtime=102.25 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 19769 0 0 0 10224 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5328030 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 43492
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/184 31269
/proc/meminfo: memFree=31189968/32770624 swapFree=0/525660
[pid=31249] ppid=31246 vsize=43492 CPUtime=162.25 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 20310 0 0 0 16224 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5032436 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43492
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 31271
/proc/meminfo: memFree=31192864/32770624 swapFree=0/525664
[pid=31249] ppid=31246 vsize=43492 CPUtime=222.26 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 20849 0 0 0 22225 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5325605 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 43492
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 31273
/proc/meminfo: memFree=31193800/32770624 swapFree=0/525664
[pid=31249] ppid=31246 vsize=43492 CPUtime=282.26 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 20852 0 0 0 28225 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4935493 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 43492
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31275
/proc/meminfo: memFree=31194060/32770624 swapFree=0/525668
[pid=31249] ppid=31246 vsize=43492 CPUtime=342.27 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 21395 0 0 0 34226 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5094189 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 43492
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31277
/proc/meminfo: memFree=31194432/32770624 swapFree=0/525676
[pid=31249] ppid=31246 vsize=43492 CPUtime=402.27 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 21395 0 0 0 40226 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4972741 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 43492
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 31280
/proc/meminfo: memFree=31194064/32770624 swapFree=0/525680
[pid=31249] ppid=31246 vsize=43492 CPUtime=462.28 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 21930 0 0 0 46227 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4972280 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 43492
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31282
/proc/meminfo: memFree=31194064/32770624 swapFree=0/525692
[pid=31249] ppid=31246 vsize=43492 CPUtime=522.28 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 21935 0 0 0 52227 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4909234 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 43492
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 31284
/proc/meminfo: memFree=31194336/32770624 swapFree=0/525680
[pid=31249] ppid=31246 vsize=43492 CPUtime=582.29 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 22473 0 0 0 58228 1 0 0 20 0 1 0 56694718 44535808 5056 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4936141 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10873 5056 845 435 0 4236 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 43492
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31349
/proc/meminfo: memFree=31192948/32770624 swapFree=0/525836
[pid=31249] ppid=31246 vsize=43920 CPUtime=1662.4 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 27815 0 0 0 166239 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4971912 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 43920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31351
/proc/meminfo: memFree=31192824/32770624 swapFree=0/525844
[pid=31249] ppid=31246 vsize=43920 CPUtime=1722.4 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 27815 0 0 0 172239 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 1722.4
Current children cumulated vsize (KiB) 43920
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 31353
/proc/meminfo: memFree=31192700/32770624 swapFree=0/525852
[pid=31249] ppid=31246 vsize=43920 CPUtime=1782.41 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 28374 0 0 0 178240 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4970752 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 43920
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 31355
/proc/meminfo: memFree=31192824/32770624 swapFree=0/525856
[pid=31249] ppid=31246 vsize=43920 CPUtime=1842.42 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 28407 0 0 0 184241 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4978730 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 1842.42
Current children cumulated vsize (KiB) 43920
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31357
/proc/meminfo: memFree=31192700/32770624 swapFree=0/525868
[pid=31249] ppid=31246 vsize=43920 CPUtime=1902.42 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 28971 0 0 0 190241 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4975657 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 1902.42
Current children cumulated vsize (KiB) 43920
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 31374
/proc/meminfo: memFree=31188392/32770624 swapFree=0/525896
[pid=31249] ppid=31246 vsize=43920 CPUtime=1962.43 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 28971 0 0 0 196242 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 43920
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 31437
/proc/meminfo: memFree=31201804/32770624 swapFree=0/525920
[pid=31249] ppid=31246 vsize=43920 CPUtime=2022.44 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 29548 0 0 0 202243 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5328685 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 43920
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 31439
/proc/meminfo: memFree=31202096/32770624 swapFree=0/525924
[pid=31249] ppid=31246 vsize=43920 CPUtime=2082.45 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 29548 0 0 0 208244 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5099616 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 43920
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31441
/proc/meminfo: memFree=31202096/32770624 swapFree=0/525940
[pid=31249] ppid=31246 vsize=43920 CPUtime=2142.45 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 30106 0 0 0 214244 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4935663 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 43920
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31443
/proc/meminfo: memFree=31202472/32770624 swapFree=0/525956
[pid=31249] ppid=31246 vsize=43920 CPUtime=2202.46 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 30139 0 0 0 220245 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4979365 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 43920
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31446
/proc/meminfo: memFree=31202096/32770624 swapFree=0/525968
[pid=31249] ppid=31246 vsize=43920 CPUtime=2262.46 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 30708 0 0 0 226245 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4931696 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 43920
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 31448
/proc/meminfo: memFree=31201972/32770624 swapFree=0/525984
[pid=31249] ppid=31246 vsize=43920 CPUtime=2322.47 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 30708 0 0 0 232246 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4970744 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2322.47
Current children cumulated vsize (KiB) 43920
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31450
/proc/meminfo: memFree=31201848/32770624 swapFree=0/526000
[pid=31249] ppid=31246 vsize=43920 CPUtime=2382.47 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 31277 0 0 0 238246 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4971956 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 43920
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31453
/proc/meminfo: memFree=31201972/32770624 swapFree=0/526020
[pid=31249] ppid=31246 vsize=43920 CPUtime=2442.48 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 31294 0 0 0 244247 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5099628 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2442.48
Current children cumulated vsize (KiB) 43920
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31455
/proc/meminfo: memFree=31201852/32770624 swapFree=0/526028
[pid=31249] ppid=31246 vsize=43920 CPUtime=2502.48 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 31849 0 0 0 250247 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 5026346 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2502.48
Current children cumulated vsize (KiB) 43920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31469
/proc/meminfo: memFree=31198992/32770624 swapFree=0/526060
[pid=31249] ppid=31246 vsize=43920 CPUtime=2520.09 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 31849 0 0 0 252008 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4935456 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 43920
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 31249 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31469
/proc/meminfo: memFree=31198992/32770624 swapFree=0/526060
[pid=31249] ppid=31246 vsize=43920 CPUtime=2520.09 cores=1,3,5,7
/proc/31249/stat : 31249 (cosoco) R 31246 31249 21984 0 -1 4202496 31849 0 0 0 252008 1 0 0 20 0 1 0 56694718 44974080 5155 18446744073709551615 4194304 5972588 140720511589808 140720511587112 4935456 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 25317376 140720511594990 140720511595085 140720511595085 140720511598542 0
/proc/31249/statm: 10980 5155 845 435 0 4343 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 43920
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2520.08
CPU system time (s): 0.018001
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 43920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.08
system time used= 0.018001
maximum resident set size= 20688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31900
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= 17
involuntary context switches= 760
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50589 second user time and 8.98627 second system time
The end