0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.04 c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint
0.00/0.04 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint
0.00/0.07 c
0.00/0.07 c intension hd[0]<ad[0] using generic constraint
0.00/0.07 c intension hd[1]<ad[1] using generic constraint
0.00/0.07 c intension hd[2]<ad[2] using generic constraint
0.00/0.07 c intension hd[3]<ad[3] using generic constraint
0.00/0.07 c intension hd[4]<ad[4] using generic constraint
0.00/0.07 c intension hd[5]<ad[5] using generic constraint
0.00/0.08 c intension hd[6]<ad[6] using generic constraint
0.00/0.08 c intension hd[7]<ad[7] using generic constraint
0.00/0.08 c intension hd[8]<ad[8] using generic constraint
0.00/0.08 c intension hd[9]<ad[9] using generic constraint
0.00/0.08 c intension hd[10]<ad[10] using generic constraint
0.00/0.08 c intension hd[11]<ad[11] using generic constraint
0.00/0.08 c intension hd[12]<ad[12] using generic constraint
0.00/0.08 c intension hd[13]<ad[13] using generic constraint
0.00/0.08 c intension hd[14]<ad[14] using generic constraint
0.09/0.13 c root propagations : 9930
0.09/0.13 c restarts enabled, print stats at every restarts
0.09/0.13 c
0.09/0.13 c
0.09/0.13 c
0.09/0.13 c This is cosoco 1.0 --
0.09/0.13 c
0.09/0.13 c ========================================[ Problem Statistics ]===========================================
0.09/0.13 c |
0.09/0.13 c | Parse time : 0.08 s
0.09/0.13 c |
0.09/0.13 c | Variables: 1335
0.09/0.13 c | Domain Sizes: 30..435
0.09/0.13 c |
0.09/0.13 c | Constraints: 1875
0.09/0.13 c | Arity: 1..435 -- Unary: 15 -- Binary: 15 -- Ternary: 435
0.09/0.13 c |
0.09/0.13 c | Types:
0.09/0.13 c | (X - Y < k): 15
0.09/0.13 c | All Different: 31
0.09/0.13 c | At least: 450
0.09/0.13 c | At most: 450
0.09/0.13 c | Exactly K: 479
0.09/0.13 c | Extension: 435 (nb tuples: 435..435) -- (shared: 434)
0.09/0.13 c | Intension: 15
0.09/0.13 c |
0.09/0.13 c =========================================================================================================
0.09/0.13 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.19/0.20 c 101 315 163207 72629 1335 0 86 168 142
0.19/0.29 c 211 702 308861 170078 1335 0 59 210 202
0.29/0.35 c 332 1018 397099 250072 1335 0 20 115 110
0.39/0.42 c 465 1360 493437 337976 1335 0 2 115 110
0.39/0.49 c 611 1722 594465 432524 1335 0 2 106 99
0.49/0.56 c 771 2039 682724 529527 1335 0 17 55 52
0.59/0.62 c 947 2384 775262 632133 1335 0 17 55 52
0.59/0.68 c 1140 2764 871966 745246 1335 0 2 55 52
0.69/0.76 c 1352 3204 985951 873699 1335 0 17 55 53
0.79/0.85 c 1585 3663 1107412 1016597 1335 0 2 55 52
0.89/0.93 c 1841 4143 1232168 1165904 1335 0 17 55 51
0.99/1.03 c 2122 4670 1369509 1330798 1335 0 17 55 52
1.09/1.14 c 2431 5268 1522223 1512915 1335 0 17 55 52
1.19/1.27 c 2770 5911 1690016 1714715 1335 0 17 55 52
1.29/1.38 c 3142 6593 1859997 1929457 1335 0 2 55 52
1.49/1.51 c 3551 7305 2047140 2159477 1335 0 17 55 51
1.59/1.65 c 4000 8101 2250158 2412265 1335 0 17 55 52
1.79/1.80 c 4493 8936 2465895 2685903 1335 0 17 55 51
1.89/1.95 c 5035 9863 2698541 2982154 1335 0 17 55 51
2.09/2.14 c 5631 10883 2961482 3320403 1335 0 2 55 51
2.30/2.32 c 6286 12007 3239337 3689120 1335 0 2 55 51
2.49/2.55 c 7006 13215 3546695 4090300 1335 0 2 55 51
2.79/2.80 c 7798 14544 3890254 4532125 1335 0 1 55 51
2.99/3.09 c 8669 16022 4277324 5023016 1335 0 17 55 51
3.30/3.38 c 9627 17657 4694595 5565712 1335 0 17 55 51
3.69/3.70 c 10680 19450 5141815 6167235 1335 0 2 55 51
3.99/4.07 c 11838 21399 5643457 6822863 1335 0 17 55 51
4.40/4.48 c 13111 23585 6184041 7560214 1335 0 2 55 51
4.89/4.91 c 14511 25961 6775434 8376018 1335 0 46 55 51
5.39/5.44 c 16051 28643 7455689 9282125 1335 0 2 55 51
5.89/5.94 c 17745 31443 8156508 10245918 1335 0 2 55 51
6.49/6.51 c 19608 34644 8949488 11324895 1335 0 17 55 51
7.09/7.17 c 21657 38058 9822649 12497024 1335 0 2 55 51
7.80/7.83 c 23910 41760 10742469 13784010 1335 0 2 55 51
8.49/8.56 c 26388 45834 11753549 15192886 1335 0 17 55 51
9.29/9.39 c 29113 50425 12902933 16769126 1335 0 2 55 51
10.29/10.31 c 32110 55420 14143103 18498598 1335 0 17 55 51
11.19/11.26 c 35406 60988 15497571 20427208 1335 0 2 55 51
12.49/12.52 c 39031 67148 17094736 22563683 1335 0 2 55 51
13.69/13.70 c 43018 73906 18742745 24882567 1335 0 2 55 51
14.89/14.95 c 47403 80970 20503617 27394143 1335 0 2 55 50
16.49/16.51 c 52226 89009 22549362 30212530 1335 0 2 55 50
17.99/18.08 c 57531 97927 24738462 33298305 1335 0 17 55 51
19.79/19.83 c 63366 107417 27090170 36661922 1335 0 17 55 50
21.99/22.03 c 69784 118036 29833527 40388180 1335 0 2 55 50
24.09/24.11 c 76843 129459 32642218 44439103 1335 0 2 55 49
26.49/26.54 c 84607 142210 35811473 48963509 1335 0 2 55 50
29.28/29.33 c 93147 156526 39447006 54002254 1335 0 2 55 50
32.18/32.22 c 102541 172101 43322904 59488321 1335 0 2 55 50
35.48/35.54 c 112874 189613 47648254 65642638 1335 0 45 55 50
39.18/39.23 c 124240 208603 52522195 72333942 1335 0 17 55 49
42.78/42.80 c 136742 229663 57678504 79668763 1335 0 2 55 49
46.58/46.66 c 150494 252628 63291642 87787849 1335 0 44 55 49
51.37/51.41 c 165621 278465 69865948 96812111 1335 0 2 55 49
56.08/56.18 c 182260 306242 76783325 106468021 1335 0 2 55 49
61.77/61.81 c 200562 337427 84718211 117257210 1335 0 17 55 49
67.87/67.91 c 220694 371989 93254061 129092434 1335 0 2 55 49
75.07/75.13 c 242839 409303 102956763 142127812 1335 0 2 55 49
82.17/82.24 c 267198 450312 113131595 156307933 1335 0 17 55 49
90.57/90.60 c 293992 495719 124539553 172254270 1335 0 2 55 49
99.77/99.81 c 323465 546015 137453614 189730080 1335 0 2 55 49
109.57/109.60 c 355885 600796 151239593 208717104 1335 0 2 55 49
120.07/120.19 c 391547 660182 166282216 229467538 1335 0 17 55 48
130.47/130.56 c 430775 720975 182475388 251216738 1335 0 41 51 46
141.17/141.21 c 473925 787096 199682156 275038349 1335 0 2 55 46
152.98/153.05 c 521390 860122 218652607 301359592 1335 0 2 55 46
167.18/167.26 c 573601 940963 240361217 330112915 1335 0 2 55 46
190.77/190.88 c 631033 1028123 269186316 357879259 1335 0 46 144 135
208.17/208.20 c 694208 1128757 295407263 393501103 1335 0 2 58 50
228.77/228.89 c 763700 1240739 325110981 433046394 1335 0 17 55 47
250.36/250.49 c 840141 1369022 356727279 477323732 1335 0 2 55 48
273.26/273.39 c 924226 1498559 391320017 524309482 1335 0 2 53 46
300.97/301.10 c 1016719 1650901 437869384 572652250 1335 0 46 195 189
329.57/329.61 c 1118461 1811728 480916883 629735336 1335 0 2 58 50
359.97/360.01 c 1230377 1997013 527131862 693815987 1335 0 42 55 48
399.47/399.57 c 1353484 2202454 580866938 766277838 1335 0 2 55 48
438.16/438.22 c 1488901 2431501 638357388 845090267 1335 0 2 55 49
477.66/477.72 c 1637859 2661519 700324469 927101146 1335 0 2 55 46
521.16/521.23 c 1801712 2916181 767831233 1018125754 1335 0 17 55 46
567.76/567.84 c 1981950 3196703 842519409 1118022878 1335 0 2 53 46
617.36/617.42 c 2180211 3504745 923751456 1227213411 1335 0 2 55 46
682.85/682.99 c 2398298 3866054 1016795706 1353551243 1335 0 2 55 48
736.15/736.26 c 2638193 4221805 1112727493 1481337983 1335 0 17 49 44
812.54/812.61 c 2902077 4637585 1224838258 1630135487 1335 0 2 55 46
884.04/884.16 c 3192349 5088338 1343652862 1789572207 1335 0 2 55 46
958.05/958.17 c 3511648 5561569 1473504932 1960764857 1335 0 2 49 44
1049.13/1049.25 c 3862876 6113153 1620730957 2157586838 1335 0 2 55 46
1145.14/1145.27 c 4249226 6691031 1781752931 2365378714 1335 0 2 53 44
1256.82/1256.98 c 4674211 7379543 1959238265 2604747652 1335 0 2 55 47
1362.72/1362.87 c 5141694 8044348 2149234208 2850499513 1335 0 2 47 42
1480.81/1480.98 c 5655925 8809576 2358172575 3127165838 1335 0 2 55 44
1651.40/1651.51 c 6221579 9717863 2590055491 3418756802 1335 0 40 163 132
1796.80/1796.92 c 6843798 10603993 2843346272 3746339750 1335 0 20 50 45
1976.49/1976.68 c 7528238 11723905 3132114840 4135107387 1335 0 2 55 47
2168.28/2168.42 c 8281122 12862295 3450559705 4546066897 1335 0 2 55 44
2347.57/2347.72 c 9109294 14053590 3784432112 4983431708 1335 0 2 47 42
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-4242332-1500662578/watcher-4242332-1500662578 -o /tmp/evaluation-result-4242332-1500662578/solver-4242332-1500662578 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500648172-9858 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242332-1500662578.xml
pid=11343
running on 8 cores: 1,3,5,7,9,11,13,15
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.03 2.02 2.05 3/242 11346
/proc/meminfo: memFree=32021072/32770624 swapFree=5932/191972
[pid=11346] ppid=11343 vsize=27648 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 1125 0 0 0 1 0 0 0 20 0 1 0 1522904 28311552 937 33554432000 4194304 5970956 140732198765168 140732198761816 139848768256997 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 6912 937 703 434 0 276 0
[startup+0.10013 s]
/proc/loadavg: 2.03 2.02 2.05 3/242 11346
/proc/meminfo: memFree=32021072/32770624 swapFree=5932/191972
[pid=11346] ppid=11343 vsize=46364 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 5924 0 0 0 9 0 0 0 20 0 1 0 1522904 47476736 5716 33554432000 4194304 5970956 140732198765168 140732198762424 5327850 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11591 5716 808 434 0 4955 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46364
[startup+0.200356 s]
/proc/loadavg: 2.03 2.02 2.05 3/242 11346
/proc/meminfo: memFree=32021072/32770624 swapFree=5932/191972
[pid=11346] ppid=11343 vsize=47420 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 6188 0 0 0 19 0 0 0 20 0 1 0 1522904 48558080 5980 33554432000 4194304 5970956 140732198765168 140732198762072 5337412 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11855 5980 847 434 0 5219 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47420
[startup+0.300327 s]
/proc/loadavg: 2.03 2.02 2.05 3/242 11346
/proc/meminfo: memFree=32021072/32770624 swapFree=5932/191972
[pid=11346] ppid=11343 vsize=47972 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 6325 0 0 0 29 0 0 0 20 0 1 0 1522904 49123328 6112 33554432000 4194304 5970956 140732198765168 140732198762504 4908512 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6112 848 434 0 5357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47972
[startup+0.700216 s]
/proc/loadavg: 2.03 2.02 2.05 3/242 11346
/proc/meminfo: memFree=32021072/32770624 swapFree=5932/191972
[pid=11346] ppid=11343 vsize=47972 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 6325 0 0 0 69 0 0 0 20 0 1 0 1522904 49123328 6112 33554432000 4194304 5970956 140732198765168 140732198762504 4976725 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6112 848 434 0 5357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47972
[startup+1.50021 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11347
/proc/meminfo: memFree=31999216/32770624 swapFree=5932/191936
[pid=11346] ppid=11343 vsize=47972 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 6325 0 0 0 149 0 0 0 20 0 1 0 1522904 49123328 6112 33554432000 4194304 5970956 140732198765168 140732198762504 4970920 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6112 848 434 0 5357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47972
[startup+3.10021 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11347
/proc/meminfo: memFree=31998844/32770624 swapFree=5932/191936
[pid=11346] ppid=11343 vsize=47972 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 11299 0 0 0 308 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 4934366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47972
[startup+6.3002 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11347
/proc/meminfo: memFree=31998588/32770624 swapFree=5932/191936
[pid=11346] ppid=11343 vsize=47972 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 16245 0 0 0 628 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 5327380 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47972
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11413
/proc/meminfo: memFree=31945372/32770624 swapFree=5932/192828
[pid=11346] ppid=11343 vsize=47972 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 21206 0 0 0 1268 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 5028888 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47972
[startup+25.5003 s]
/proc/loadavg: 2.16 2.05 2.06 3/243 11552
/proc/meminfo: memFree=32010392/32770624 swapFree=5932/192828
[pid=11346] ppid=11343 vsize=47972 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 31048 0 0 0 2547 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 5098896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47972
[startup+51.1003 s]
/proc/loadavg: 2.28 2.10 2.07 3/243 11882
/proc/meminfo: memFree=32009512/32770624 swapFree=5932/192556
[pid=11346] ppid=11343 vsize=47972 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 33644 0 0 0 5106 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 4977773 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47972
[startup+102.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/243 11883
/proc/meminfo: memFree=32008556/32770624 swapFree=5932/192516
[pid=11346] ppid=11343 vsize=47972 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 34264 0 0 0 10227 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 5322040 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47972
[startup+162.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/243 11884
/proc/meminfo: memFree=32008136/32770624 swapFree=5932/192516
[pid=11346] ppid=11343 vsize=47972 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 34875 0 0 0 16226 1 0 0 20 0 1 0 1522904 49123328 6165 33554432000 4194304 5970956 140732198765168 140732198762504 5031455 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6165 848 434 0 5357 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 47972
[startup+222.308 s]
/proc/loadavg: 2.02 2.06 2.05 3/243 11885
/proc/meminfo: memFree=32008100/32770624 swapFree=5932/192516
[pid=11346] ppid=11343 vsize=47972 CPUtime=222.27 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 35530 0 0 0 22226 1 0 0 20 0 1 0 1522904 49123328 6178 33554432000 4194304 5970956 140732198765168 140732198762504 4977773 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 11993 6178 848 434 0 5357 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 47972
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 11886
/proc/meminfo: memFree=32008004/32770624 swapFree=5932/192516
[pid=11346] ppid=11343 vsize=48104 CPUtime=282.26 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 36181 0 0 0 28225 1 0 0 20 0 1 0 1522904 49258496 6188 33554432000 4194304 5970956 140732198765168 140732198762072 5098910 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6188 848 434 0 5390 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 48104
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 11887
/proc/meminfo: memFree=32007908/32770624 swapFree=5932/192516
[pid=11346] ppid=11343 vsize=48104 CPUtime=342.27 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 36826 0 0 0 34225 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 48104
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/243 11888
/proc/meminfo: memFree=32008236/32770624 swapFree=5932/192828
[pid=11346] ppid=11343 vsize=48104 CPUtime=402.27 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 37445 0 0 0 40225 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5098896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 48104
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 11896
/proc/meminfo: memFree=32007436/32770624 swapFree=5932/192900
[pid=11346] ppid=11343 vsize=48104 CPUtime=462.26 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 38043 0 0 0 46224 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5025397 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 48104
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11897
/proc/meminfo: memFree=32007728/32770624 swapFree=5932/192900
[pid=11346] ppid=11343 vsize=48104 CPUtime=522.26 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 38661 0 0 0 52224 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4970610 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 48104
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 11898
/proc/meminfo: memFree=32007940/32770624 swapFree=5932/192900
[pid=11346] ppid=11343 vsize=48104 CPUtime=582.26 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 39267 0 0 0 58224 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4976713 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 48104
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11944
/proc/meminfo: memFree=32003240/32770624 swapFree=5932/193560
[pid=11346] ppid=11343 vsize=48104 CPUtime=1482.21 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 48163 0 0 0 148219 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5322311 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 48104
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11945
/proc/meminfo: memFree=32003088/32770624 swapFree=5932/193560
[pid=11346] ppid=11343 vsize=48104 CPUtime=1542.22 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 48765 0 0 0 154220 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4974403 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 48104
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 11946
/proc/meminfo: memFree=32004248/32770624 swapFree=5932/193748
[pid=11346] ppid=11343 vsize=48104 CPUtime=1602.2 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 49360 0 0 0 160218 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5031455 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 48104
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/243 11954
/proc/meminfo: memFree=32002792/32770624 swapFree=5932/193748
[pid=11346] ppid=11343 vsize=48104 CPUtime=1662.2 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 49998 0 0 0 166218 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4978179 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 48104
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11955
/proc/meminfo: memFree=32001688/32770624 swapFree=5932/193748
[pid=11346] ppid=11343 vsize=48104 CPUtime=1722.2 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 50562 0 0 0 172218 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5322311 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 48104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11956
/proc/meminfo: memFree=32001616/32770624 swapFree=5932/193748
[pid=11346] ppid=11343 vsize=48104 CPUtime=1782.2 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 51126 0 0 0 178218 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4934473 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 48104
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11957
/proc/meminfo: memFree=32002152/32770624 swapFree=5932/193748
[pid=11346] ppid=11343 vsize=48104 CPUtime=1842.19 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 51739 0 0 0 184217 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4970639 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 48104
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11958
/proc/meminfo: memFree=32003072/32770624 swapFree=5932/193952
[pid=11346] ppid=11343 vsize=48104 CPUtime=1902.19 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 52319 0 0 0 190217 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5093213 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1902.19
Current children cumulated vsize (KiB) 48104
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11959
/proc/meminfo: memFree=32003308/32770624 swapFree=5932/193952
[pid=11346] ppid=11343 vsize=48104 CPUtime=1962.19 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 52870 0 0 0 196217 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4970967 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 48104
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11960
/proc/meminfo: memFree=32002932/32770624 swapFree=5932/193952
[pid=11346] ppid=11343 vsize=48104 CPUtime=2022.18 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 53476 0 0 0 202216 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5098896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 48104
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11961
/proc/meminfo: memFree=32002820/32770624 swapFree=5932/193952
[pid=11346] ppid=11343 vsize=48104 CPUtime=2082.19 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 54043 0 0 0 208217 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5025397 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 48104
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11962
/proc/meminfo: memFree=32001456/32770624 swapFree=5932/193952
[pid=11346] ppid=11343 vsize=48104 CPUtime=2142.18 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 54618 0 0 0 214216 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4934366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 48104
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11963
/proc/meminfo: memFree=32003060/32770624 swapFree=5932/194152
[pid=11346] ppid=11343 vsize=48104 CPUtime=2202.18 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 55221 0 0 0 220216 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5031455 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 48104
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11972
/proc/meminfo: memFree=32001892/32770624 swapFree=5932/194152
[pid=11346] ppid=11343 vsize=48104 CPUtime=2262.17 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 55772 0 0 0 226215 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5025397 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 48104
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11973
/proc/meminfo: memFree=32001712/32770624 swapFree=5932/194152
[pid=11346] ppid=11343 vsize=48104 CPUtime=2322.17 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 56323 0 0 0 232215 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 5098896 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 48104
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11974
/proc/meminfo: memFree=32001908/32770624 swapFree=5932/194152
[pid=11346] ppid=11343 vsize=48104 CPUtime=2382.17 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 56941 0 0 0 238215 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4970980 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2382.17
Current children cumulated vsize (KiB) 48104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11974
/proc/meminfo: memFree=32002232/32770624 swapFree=5932/194152
[pid=11346] ppid=11343 vsize=48104 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/11346/stat : 11346 (cosoco) R 11343 11346 9824 0 -1 4202496 57511 0 0 0 240005 2 0 0 20 0 1 0 1522904 49258496 6198 33554432000 4194304 5970956 140732198765168 140732198762504 4971810 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 11292672 140732198773953 140732198774083 140732198774083 140732198776782 0
/proc/11346/statm: 12026 6198 848 434 0 5390 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 48104
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 11346 sig 9
??? kill -11346 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.09
CPU user time (s): 2400.06
CPU system time (s): 0.024998
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 48104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.024998
maximum resident set size= 24836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57540
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= 120697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26823 second user time and 11.1665 second system time
The end