Trace number 4398068

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.O parallelUNSAT 775.97 98.3085

General information on the benchmark

NameQRandom/
QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml
MD5SUM1cb2c7d0d6cb70a3feacaee85115a742
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.9563
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints2713
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree1888
Maximum variable degree1986
Distribution of variable degrees[{"degree":1888,"count":1},{"degree":1909,"count":1},{"degree":1914,"count":1},{"degree":1915,"count":2},{"degree":1921,"count":1},{"degree":1924,"count":1},{"degree":1927,"count":1},{"degree":1929,"count":1},{"degree":1933,"count":1},{"degree":1938,"count":1},{"degree":1939,"count":1},{"degree":1940,"count":1},{"degree":1949,"count":1},{"degree":1951,"count":1},{"degree":1953,"count":1},{"degree":1959,"count":1},{"degree":1961,"count":1},{"degree":1969,"count":1},{"degree":1975,"count":1},{"degree":1986,"count":1}]
Minimum constraint arity15
Maximum constraint arity15
Distribution of constraint arities[{"arity":15,"count":2713}]
Number of extensional constraints2713
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2713}]
Optimization problemNO
Type of objective

Solver Data 

0.68/2.09	c root propagations     : 0           
0.68/2.09	c restarts enabled, print stats at every restarts
0.68/2.09	c
0.68/2.09	c
0.68/2.09	c
0.68/2.09	c This is cosoco 2.00 --  
0.68/2.09	c
0.68/2.09	c command line: cosoco -model -nbcores=8 HOME/instance-4398068-1568602297.xml 
0.68/2.09	c ========================================[ Problem Statistics ]===========================================
0.68/2.09	c |                                                                                                       
0.68/2.09	c |  Parse time        :         0.77 s 
0.68/2.09	c |
0.68/2.09	c |               Variables: 21
0.68/2.09	c |            Domain Sizes: 2..2
0.68/2.09	c |
0.68/2.09	c |             Constraints: 2713
0.68/2.09	c |                   Arity: 15..15
0.68/2.09	c | 
0.68/2.09	c |                   Types: 
0.68/2.09	c |                          Extension: 2713  (nb tuples: 6900..6900) -- (shared: 21696)
0.68/2.09	c |                          
0.68/2.09	c =========================================================================================================
0.68/2.09	c Parallel mode: Portfolio
0.68/2.09	c [pFactory][Group N°0] created (threads:8).
0.68/2.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.68/8.98	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.68/8.98	c [pFactory][Group N°0] concurrent mode: enabled.
0.68/8.98	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.68/8.98	c [pFactory][Group N°0] task 7 launched on thread 0.
0.68/8.98	c [pFactory][Group N°0] task 6 launched on thread 1.
0.68/8.98	c [pFactory][Group N°0] task 5 launched on thread 5.
0.68/8.98	c [pFactory][Group N°0] task 4 launched on thread 2.
0.68/8.98	c [pFactory][Group N°0] task 3 launched on thread 7.
0.68/8.98	c [pFactory][Group N°0] task 2 launched on thread 6.
0.68/8.98	c [pFactory][Group N°0] task 1 launched on thread 3.
0.68/8.98	c [pFactory][Group N°0] task 0 launched on thread 4.
0.68/8.98	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c root propagations     : 0           
0.68/8.99	c restarts enabled, print stats at every restarts
0.68/8.99	c
0.68/8.99	c
0.68/8.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/8.99	c 32             113            243684         714            0              0              6   13   10    
0.68/8.99	c 32             110            243641         742            0              0              9   13   10    
0.68/8.99	c 32             106            238421         747            0              0              8   13   10    
0.68/8.99	c 32             117            266026         845            0              0              9   12   10    
0.68/8.99	c 33             123            263769         740            0              0              10   10   5    
0.68/8.99	c 33             120            266994         785            0              0              10   10   5    
0.68/8.99	c 33             126            286253         863            0              0              9   9   4      
0.68/8.99	c 33             116            261034         776            0              0              10   10   5    
72.71/10.10	c 64             241            531668         1623           0              0              9   11   9     
75.89/10.52	c 64             232            508453         1549           0              0              6   11   9     
76.68/10.65	c 64             243            540715         1556           0              0              8   11   9     
81.52/11.25	c 64             237            537460         1654           0              0              9   11   9     
82.34/11.35	c 65             251            552623         1652           0              0              10   10   5    
86.16/11.85	c 65             241            528258         1583           0              0              9   9   4      
86.98/11.91	c 65             254            563767         1594           0              0              11   11   5    
86.98/11.94	c 101            348            761898         2326           0              0              5   13   10    
86.98/11.94	c 101            341            751273         2468           0              0              4   14   10    
90.79/12.47	c 101            378            840873         2572           0              0              7   11   9     
91.59/12.52	c 66             261            573559         1681           0              0              10   10   5    
91.59/12.55	c 101            369            795161         2492           0              0              7   13   10    
91.59/12.58	c 65             248            561604         1695           0              0              11   11   5    
96.39/13.16	c 66             250            547991         1617           0              0              9   9   4      
98.08/13.35	c 66             265            586795         1632           0              0              11   11   5    
100.37/13.65	c 67             271            594392         1715           0              0              10   10   5    
101.96/13.86	c 66             259            584156         1737           0              0              11   11   5    
106.03/14.36	c 67             259            567796         1651           0              0              9   9   4      
109.15/14.72	c 67             276            609607         1665           0              0              11   11   5    
112.35/15.19	c 67             270            606862         1780           0              0              11   11   5    
141.10/18.78	c 128            488            1065627        3210           0              0              5   11   9     
150.67/19.90	c 129            499            1088117        3253           0              0              11   11   5    
159.53/21.02	c 130            510            1110685        3301           0              0              11   11   5    
162.65/21.41	c 128            484            1067797        3232           0              0              7   11   9     
162.65/21.49	c 128            514            1143902        3238           0              0              9   11   9     
166.64/21.91	c 128            484            1086310        3345           0              0              6   11   9     
168.24/22.15	c 131            521            1132209        3341           0              0              11   11   5    
173.03/22.72	c 129            495            1090800        3264           0              0              11   11   5    
173.03/22.76	c 129            524            1163902        3266           0              0              10   10   5    
174.62/22.94	c 211            741            1649694        5178           0              0              7   11   9     
175.42/23.05	c 211            736            1594197        5034           0              0              4   11   9     
176.22/23.12	c 211            766            1674565        5279           0              0              6   11   9     
176.22/23.17	c 211            755            1616674        5175           0              0              7   11   9     
177.08/23.25	c 129            494            1107195        3374           0              0              10   10   5    
177.08/23.28	c 132            532            1154777        3389           0              0              11   11   5    
183.41/24.01	c 130            534            1183961        3294           0              0              10   10   5    
184.20/24.12	c 130            506            1114501        3303           0              0              11   11   5    
185.87/24.38	c 133            543            1176607        3422           0              0              11   11   5    
188.19/24.67	c 130            504            1128069        3403           0              0              10   10   5    
193.05/25.24	c 131            544            1203961        3322           0              0              10   10   5    
194.58/25.48	c 131            517            1137498        3335           0              0              11   11   5    
195.38/25.52	c 134            554            1198943        3460           0              0              11   11   5    
198.62/25.99	c 131            514            1148954        3432           0              0              10   10   5    
201.84/26.38	c 132            554            1224020        3350           0              0              10   10   5    
204.16/26.61	c 135            565            1220424        3489           0              0              11   11   5    
204.96/26.73	c 132            528            1161338        3374           0              0              11   11   5    
209.02/27.24	c 132            524            1169565        3461           0              0              10   10   5    
211.35/27.53	c 133            564            1244018        3382           0              0              10   10   5    
214.55/27.99	c 133            539            1184335        3406           0              0              11   11   5    
219.33/28.57	c 133            534            1190158        3490           0              0              10   10   5    
220.93/28.72	c 134            574            1264043        3414           0              0              10   10   5    
224.99/29.23	c 134            550            1206514        3444           0              0              11   11   5    
229.72/29.81	c 134            544            1211032        3519           0              0              10   10   5    
229.72/29.86	c 135            584            1284043        3442           0              0              10   10   5    
236.10/30.60	c 135            560            1226886        3474           0              0              10   10   5    
239.30/31.07	c 135            554            1231917        3548           0              0              10   10   5    
252.07/32.69	c 332            1140           2456131        7845           0              0              6   11   10    
267.23/34.52	c 332            1170           2604343        8132           0              0              7   11   9     
272.89/35.28	c 332            1194           2563835        8211           0              0              8   11   10    
278.41/35.90	c 332            1215           2623152        8216           0              0              7   11   9     
278.41/36.00	c 256            994            2134904        6487           0              0              8   11   10    
287.98/37.14	c 257            1003           2154072        6506           0              0              9   9   4      
296.83/38.29	c 258            1012           2173733        6529           0              0              9   9   4      
306.34/39.42	c 259            1021           2192901        6548           0              0              9   9   4      
315.12/40.59	c 260            1030           2212573        6571           0              0              9   9   4      
318.33/40.97	c 256            1011           2247016        6419           0              0              6   11   9     
324.70/41.75	c 261            1039           2231741        6590           0              0              9   9   4      
329.57/42.38	c 257            1021           2268478        6461           0              0              10   10   5    
333.48/42.88	c 262            1048           2251360        6613           0              0              9   9   4      
336.74/43.28	c 256            1019           2233777        6588           0              0              6   11   9     
340.67/43.79	c 258            1031           2289913        6503           0              0              10   10   5    
343.05/44.01	c 263            1057           2270528        6632           0              0              9   9   4      
343.05/44.06	c 256            992            2198516        6527           0              0              8   11   9     
347.84/44.67	c 257            1030           2258261        6629           0              0              11   11   5    
351.84/45.11	c 264            1066           2290147        6655           0              0              9   9   4      
351.84/45.18	c 259            1041           2311375        6545           0              0              10   10   5    
353.53/45.37	c 257            1002           2218830        6554           0              0              10   10   5    
354.23/45.41	c 465            1618           3480713        11095          0              0              4   12   9     
359.03/46.03	c 258            1041           2281265        6661           0              0              11   11   5    
359.83/46.18	c 265            1075           2309315        6674           0              0              9   9   4      
363.02/46.52	c 260            1051           2332780        6587           0              0              10   10   5    
364.61/46.70	c 258            1012           2239154        6581           0              0              10   10   5    
368.67/47.28	c 266            1084           2328934        6697           0              0              9   9   4      
369.48/47.39	c 259            1052           2303505        6695           0              0              11   11   5    
374.20/47.92	c 261            1061           2354215        6629           0              0              10   10   5    
374.20/47.93	c 259            1022           2259636        6609           0              0              10   10   5    
375.00/48.05	c 465            1632           3640545        11503          0              0              6   11   9     
375.80/48.13	c 465            1664           3578214        11475          0              0              5   11   9     
377.47/48.35	c 267            1093           2348102        6716           0              0              9   9   4      
380.58/48.71	c 260            1063           2326509        6727           0              0              11   11   5    
384.65/49.21	c 260            1032           2280106        6637           0              0              10   10   5    
384.65/49.26	c 262            1071           2375620        6671           0              0              10   10   5    
386.18/49.43	c 268            1102           2367269        6737           0              0              9   9   4      
387.77/49.66	c 465            1706           3675598        11619          0              0              7   11   9     
389.37/49.89	c 261            1073           2346651        6744           0              0              10   10   5    
394.16/50.45	c 261            1042           2300420        6664           0              0              10   10   5    
394.96/50.52	c 269            1111           2386437        6756           0              0              9   9   4      
395.76/50.61	c 263            1081           2397065        6713           0              0              10   10   5    
400.62/51.24	c 262            1083           2367327        6771           0              0              10   10   5    
403.74/51.62	c 270            1120           2405604        6777           0              0              9   9   4      
404.54/51.73	c 262            1052           2320744        6691           0              0              10   10   5    
406.93/52.02	c 264            1091           2417033        6745           0              0              10   10   5    
410.92/52.55	c 263            1093           2387948        6798           0              0              10   10   5    
412.52/52.72	c 271            1129           2424734        6796           0              0              9   9   4      
414.11/52.96	c 263            1062           2341226        6719           0              0              10   10   5    
417.41/53.39	c 265            1101           2437747        6790           0              0              10   10   5    
421.30/53.84	c 264            1103           2408624        6825           0              0              10   10   5    
424.55/54.23	c 264            1072           2361696        6747           0              0              10   10   5    
428.49/54.78	c 266            1111           2457715        6822           0              0              10   10   5    
431.68/55.12	c 265            1113           2429245        6852           0              0              10   10   5    
434.07/55.46	c 265            1082           2382010        6774           0              0              10   10   5    
439.67/56.16	c 267            1121           2478473        6867           0              0              10   10   5    
441.34/56.38	c 266            1123           2449913        6879           0              0              10   10   5    
444.46/56.73	c 266            1092           2402364        6801           0              0              10   10   5    
450.84/57.52	c 268            1131           2499201        6912           0              0              10   10   5    
452.44/57.73	c 267            1133           2470534        6906           0              0              10   10   5    
454.84/58.05	c 267            1102           2422846        6829           0              0              10   10   5    
461.22/58.88	c 269            1141           2519959        6957           0              0              10   10   5    
462.82/59.01	c 268            1143           2491497        6936           0              0              10   10   5    
465.29/59.34	c 268            1112           2443453        6861           0              0              10   10   5    
469.21/59.80	c 611            2125           4571209        14615          0              0              7   12   10    
471.61/60.20	c 270            1151           2540687        7002           0              0              10   10   5    
473.99/60.40	c 269            1153           2512476        6966           0              0              10   10   5    
475.59/60.61	c 269            1122           2464082        6893           0              0              10   10   5    
482.78/61.59	c 271            1161           2561445        7047           0              0              10   10   5    
484.38/61.74	c 270            1163           2533144        6993           0              0              10   10   5    
485.16/61.82	c 270            1132           2484582        6921           0              0              10   10   5    
494.75/63.03	c 271            1173           2553820        7020           0              0              10   10   5    
494.75/63.07	c 271            1142           2505052        6949           0              0              10   10   5    
495.54/63.14	c 611            2189           4722939        15108          0              0              6   11   10    
498.74/63.53	c 611            2163           4843191        15238          0              0              7   11   9     
509.11/64.80	c 611            2261           4864033        15263          0              0              7   11   9     
561.10/71.32	c 512            1981           4238500        12558          0              0              5   11   9     
569.78/72.47	c 513            1991           4258104        12583          0              0              10   10   5    
579.37/73.66	c 514            2001           4277729        12608          0              0              10   10   5    
581.77/73.92	c 771            2664           5728593        18372          0              0              6   11   10    
588.95/74.84	c 515            2011           4297379        12633          0              0              10   10   5    
598.54/76.03	c 516            2021           4316983        12658          0              0              10   10   5    
608.18/77.22	c 517            2031           4336633        12683          0              0              10   10   5    
616.97/78.39	c 771            2747           5915422        18974          0              0              5   11   9     
617.69/78.43	c 518            2041           4356258        12708          0              0              10   10   5    
624.96/79.34	c 771            2764           6176488        19269          0              0              7   11   9     
627.28/79.61	c 519            2051           4375908        12733          0              0              10   10   5    
636.07/80.76	c 520            2061           4395512        12758          0              0              10   10   5    
637.66/80.99	c 771            2847           6116154        19262          0              0              5   11   9     
645.64/81.95	c 521            2071           4415162        12783          0              0              10   10   5    
655.21/83.12	c 522            2081           4434787        12808          0              0              10   10   5    
664.05/84.29	c 523            2091           4454437        12833          0              0              10   10   5    
673.56/85.43	c 524            2101           4474041        12858          0              0              10   10   5    
680.82/86.32	c 512            2032           4533176        13068          2              0              5   11   9     
683.14/86.68	c 525            2112           4498750        12905          2              0              11   11   5    
685.54/86.95	c 513            2041           4552067        13089          2              0              9   9   4      
688.00/87.23	c 512            2037           4478328        13121          2              0              2   11   9     
688.82/87.33	c 526            2123           4520896        12950          2              0              11   11   5    
690.34/87.58	c 514            2050           4570908        13104          2              0              9   9   4      
693.53/87.97	c 513            2047           4502037        13158          3              0              10   10   5    
695.13/88.11	c 527            2133           4544364        12974          3              0              10   10   5    
696.80/88.34	c 515            2061           4595885        13132          3              0              11   11   5    
697.52/88.47	c 514            2057           4523815        13194          3              0              10   10   5    
699.12/88.61	c 512            2005           4421854        12941          3              0              5   11   9     
699.12/88.63	c 528            2143           4565914        12997          3              0              10   10   5    
700.72/88.85	c 516            2070           4615093        13154          3              0              9   9   4      
701.52/88.97	c 515            2067           4545585        13230          3              0              10   10   5    
702.32/89.08	c 513            2015           4442195        12974          3              0              10   10   5    
703.12/89.14	c 529            2153           4587443        13020          3              0              10   10   5    
704.81/89.34	c 517            2081           4638104        13181          3              0              11   11   5    
705.51/89.47	c 516            2077           4567363        13266          3              0              10   10   5    
706.31/89.56	c 514            2025           4462508        13007          3              0              10   10   5    
707.10/89.64	c 530            2163           4608959        13043          3              0              10   10   5    
708.70/89.81	c 518            2090           4657286        13202          3              0              9   9   4      
709.50/89.92	c 517            2087           4587545        13295          3              0              10   10   5    
710.30/90.02	c 515            2035           4482837        13040          3              0              10   10   5    
711.10/90.16	c 531            2173           4630488        13066          3              0              10   10   5    
712.76/90.32	c 519            2101           4680297        13229          3              0              11   11   5    
713.48/90.42	c 518            2097           4609323        13331          3              0              10   10   5    
713.48/90.48	c 516            2045           4503150        13073          3              0              10   10   5    
715.08/90.67	c 532            2183           4652004        13089          3              0              10   10   5    
715.88/90.79	c 520            2110           4699505        13251          3              0              9   9   4      
716.68/90.88	c 519            2107           4629505        13360          3              0              10   10   5    
717.48/90.94	c 517            2055           4523479        13106          3              0              10   10   5    
719.08/91.17	c 533            2193           4673533        13112          3              0              10   10   5    
719.94/91.28	c 521            2121           4722516        13278          3              0              11   11   5    
720.75/91.37	c 520            2117           4651283        13396          3              0              10   10   5    
721.47/91.40	c 518            2065           4544310        13138          3              0              10   10   5    
723.07/91.68	c 534            2203           4695049        13135          3              0              10   10   5    
723.87/91.75	c 522            2130           4741698        13299          3              0              9   9   4      
724.67/91.82	c 521            2127           4671465        13425          3              0              10   10   5    
724.67/91.88	c 519            2075           4565104        13170          3              0              10   10   5    
727.06/92.19	c 535            2213           4716578        13158          3              0              10   10   5    
727.93/92.24	c 523            2141           4764709        13326          3              0              11   11   5    
728.73/92.32	c 522            2137           4693243        13461          3              0              10   10   5    
728.73/92.33	c 947            3291           7063426        22642          0              0              4   11   10    
728.73/92.34	c 520            2085           4585417        13203          3              0              10   10   5    
731.06/92.69	c 536            2223           4738094        13181          3              0              10   10   5    
731.93/92.72	c 524            2150           4783891        13347          3              0              9   9   4      
731.93/92.77	c 523            2147           4713425        13490          3              0              10   10   5    
732.64/92.80	c 521            2095           4605746        13236          3              0              10   10   5    
735.04/93.15	c 537            2233           4759623        13204          3              0              10   10   5    
735.90/93.21	c 525            2161           4806929        13374          3              0              11   11   5    
735.90/93.24	c 524            2157           4733615        13519          3              0              10   10   5    
735.90/93.25	c 522            2105           4626059        13269          3              0              10   10   5    
739.03/93.62	c 538            2243           4781139        13227          3              0              10   10   5    
739.03/93.69	c 526            2170           4826401        13396          3              0              9   9   4      
739.03/93.69	c 525            2167           4753797        13548          3              0              10   10   5    
739.83/93.71	c 523            2115           4646388        13302          3              0              10   10   5    
742.22/94.08	c 539            2253           4802129        13258          3              0              10   10   5    
743.02/94.16	c 526            2177           4773987        13577          3              0              10   10   5    
743.02/94.17	c 524            2125           4667219        13334          3              0              10   10   5    
743.02/94.19	c 527            2181           4849439        13423          3              0              11   11   5    
746.21/94.58	c 540            2263           4823406        13296          3              0              10   10   5    
747.01/94.61	c 527            2187           4794169        13606          3              0              10   10   5    
747.01/94.64	c 525            2135           4688013        13366          3              0              10   10   5    
747.01/94.66	c 528            2190           4868957        13445          3              0              9   9   4      
750.21/95.03	c 541            2273           4844396        13327          3              0              10   10   5    
750.21/95.08	c 528            2197           4814359        13635          3              0              10   10   5    
751.01/95.11	c 947            3358           7238514        23298          0              0              5   11   9     
751.01/95.11	c 526            2145           4708326        13399          3              0              10   10   5    
751.01/95.15	c 529            2201           4891967        13472          3              0              11   11   5    
754.19/95.51	c 542            2283           4865673        13365          3              0              10   10   5    
754.19/95.54	c 529            2207           4834541        13664          3              0              10   10   5    
754.19/95.56	c 527            2155           4728655        13432          3              0              10   10   5    
754.99/95.62	c 530            2210           4911485        13494          3              0              9   9   4      
757.39/95.97	c 543            2293           4887003        13403          3              0              10   10   5    
758.19/96.00	c 530            2217           4854731        13693          3              0              10   10   5    
758.19/96.01	c 528            2165           4748968        13465          3              0              10   10   5    
758.19/96.09	c 531            2221           4934495        13521          3              0              11   11   5    
762.18/96.54	c 529            2175           4771190        13500          4              0              10   10   5    
762.18/96.56	c 947            3384           7580409        23591          0              0              4   11   9     
762.18/96.56	c 531            2227           4877675        13734          4              0              10   10   5    
762.98/96.63	c 532            2230           4954509        13539          4              0              9   9   4      
765.38/96.90	c 530            2185           4791328        13531          4              0              10   10   5    
765.38/96.91	c 532            2237           4897970        13765          4              0              10   10   5    
765.38/96.98	c 533            2239           4972891        13557          4              0              9   9   4      
767.84/97.26	c 531            2195           4811468        13562          4              0              10   10   5    
767.84/97.26	c 533            2247           4919026        13805          4              0              10   10   5    
768.67/97.31	c 534            2248           4991178        13579          4              0              9   9   4      
770.96/97.60	c 534            2257           4939321        13836          4              0              10   10   5    
770.96/97.60	c 532            2205           4831606        13593          4              0              10   10   5    
770.96/97.64	c 535            2257           5009560        13597          4              0              9   9   4      
773.36/97.94	c 535            2267           4962001        13872          6              0              10   10   5    
773.36/97.94	c 533            2214           4852791        13614          6              0              9   9   4      
774.16/98.00	c 536            2267           5032404        13631          6              0              10   10   5    
774.16/98.06	c 1000           3478           7479367        23983          6              0              6   11   9     
774.96/98.12	c 1000           3479           7481328        23985          7              0              0   0   0c       
774.96/98.12	5362277           4984605        13898          7              0              10   10   5    
774.96/98.14	c 534            2223           4872963        13636          7              0              9   9   4      
774.96/98.17	c 1000           3480           7483303        23987          8              0              0   0   0      
774.96/98.20	c 537            2277           5055524        13655          7              0              10   10   5    
775.82/98.22	c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4.
775.82/98.22	c [pFactory][Group N°0] Thread N°0 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°1 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°2 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°3 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°4 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°5 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°6 is joined.
775.82/98.22	c [pFactory][Group N°0] Thread N°7 is joined.
775.82/98.22	c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°2)
775.82/98.22	s UNSATISFIABLE
775.82/98.22	c restarts              : 55          
775.82/98.22	c conflicts             : 536          (1 /sec)
775.82/98.22	c decisions             : 2282         (3 /sec)
775.82/98.22	c propagations          : 13904       (18 /sec)
775.82/98.22	c root propagations     : 0           
775.82/98.22	c filter calls          : 4994461        (6472 /sec)
775.82/98.22	c useless filter calls  : 4987789        (99 %)
775.82/98.22	c Memory used           : 1788.34 MB
775.82/98.22	c CPU time              : 771.741 s
775.82/98.22	c real time             : 98.2234 s
775.82/98.22

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14348 MiB free)
  memory of node 1: 16384 MiB (13409 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398068-1568602297/watcher-4398068-1568602297 -o /tmp/evaluation-result-4398068-1568602297/solver-4398068-1568602297 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398068-1568602297.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21919, runsolver pid=21916
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 1.16 1.09 1.50 2/192 21920
/proc/meminfo: memFree=28424296/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=28152 memory=4480 CPUtime=0.1 cores=0-7
/proc/21919/stat : 21919 (cosoco) R 21916 21919 21287 0 -1 4202496 1283 0 0 0 10 0 0 0 20 0 1 0 436166280 28827648 1120 33554432000 4194304 6211092 140722748555776 140722748552312 5567538 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 7038 1120 808 493 0 343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28152 KiB
Current children cumulated memory: 4480 KiB

[startup+0.209252 s]*
/proc/loadavg: 1.16 1.09 1.50 2/192 21920
/proc/meminfo: memFree=28407752/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=53220 memory=29560 CPUtime=0.2 cores=0-7
/proc/21919/stat : 21919 (cosoco) R 21916 21919 21287 0 -1 4202496 7554 0 0 0 20 0 0 0 20 0 1 0 436166280 54497280 7390 33554432000 4194304 6211092 140722748555776 140722748552312 140663629552613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 13305 7390 816 493 0 6610 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53220 KiB
Current children cumulated memory: 29560 KiB

[startup+0.309204 s]*
/proc/loadavg: 1.16 1.09 1.50 2/192 21920
/proc/meminfo: memFree=28285776/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=186604 memory=163008 CPUtime=0.3 cores=0-7
/proc/21919/stat : 21919 (cosoco) R 21916 21919 21287 0 -1 4202496 40956 0 0 0 26 4 0 0 20 0 1 0 436166280 191082496 40752 33554432000 4194304 6211092 140722748555776 140722748552312 5037221 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 46651 40752 817 493 0 39956 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 186604 KiB
Current children cumulated memory: 163008 KiB

[startup+0.700391 s]
/proc/loadavg: 1.16 1.09 1.50 2/192 21920
/proc/meminfo: memFree=28018396/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=688888 memory=665124 CPUtime=0.68 cores=0-7
/proc/21919/stat : 21919 (cosoco) R 21916 21919 21287 0 -1 4202496 166511 0 0 0 49 19 0 0 20 0 1 0 436166280 705421312 166281 33554432000 4194304 6211092 140722748555776 140722748552024 140663629552613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 172222 166281 818 493 0 165527 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 688888 KiB
Current children cumulated memory: 665124 KiB

[startup+9.09556 s]
/proc/loadavg: 1.16 1.09 1.50 2/192 21920
/proc/meminfo: memFree=28018396/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252412 CPUtime=64.69 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 1016675 0 0 0 6265 204 0 0 20 0 9 0 436166280 1908781056 313103 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313103 844 493 0 459316 0
Current children cumulated CPU time: 64.69 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252412 KiB

[startup+9.10656 s]
/proc/loadavg: 1.16 1.09 1.50 2/192 21920
/proc/meminfo: memFree=28018396/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252412 CPUtime=64.78 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 1017009 0 0 0 6274 204 0 0 20 0 9 0 436166280 1908781056 313103 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313103 844 493 0 459316 0
Current children cumulated CPU time: 64.78 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252412 KiB

[startup+9.20056 s]*
/proc/loadavg: 2.11 1.28 1.56 9/200 21928
/proc/meminfo: memFree=27171940/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252412 CPUtime=65.6 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 1019401 0 0 0 6355 205 0 0 20 0 9 0 436166280 1908781056 313103 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313103 844 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=1398722017469774279 CPUtime=7.98 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 57508 0 0 0 745 53 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663622450040 5038722 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=0 CPUtime=8.06 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 64036 0 0 0 802 4 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663614057144 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=0 CPUtime=8.07 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 71432 0 0 0 783 24 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663605664472 5038686 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=0 CPUtime=8.07 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 120664 0 0 0 800 7 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663597272160 5039129 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=0 CPUtime=8.06 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 116869 0 0 0 770 36 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663588879456 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=7679937539659563834 CPUtime=8.06 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 67937 0 0 0 802 4 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663580486328 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=3472328296227680303 CPUtime=8.05 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 105549 0 0 0 774 31 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663572094048 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=5865727821814579303 CPUtime=8.07 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 102505 0 0 0 800 7 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663563701344 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 65.6 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252412 KiB

[startup+12.7006 s]
/proc/loadavg: 2.90 1.46 1.61 10/199 21931
/proc/meminfo: memFree=28236964/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252412 CPUtime=93.19 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 1273798 0 0 0 9081 238 0 0 20 0 9 0 436166280 1908781056 313103 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313103 844 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=1252412 CPUtime=11.38 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 96770 0 0 0 1077 61 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663622450272 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=288230377007612190 CPUtime=11.55 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 93700 0 0 0 1150 5 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663614057568 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=1252412 CPUtime=11.48 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 108519 0 0 0 1117 31 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663605664864 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=0 CPUtime=11.45 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 144375 0 0 0 1137 8 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663597272160 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=1252412 CPUtime=11.51 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 157797 0 0 0 1111 40 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663588879456 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=0 CPUtime=11.55 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 97249 0 0 0 1149 6 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663580486752 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=6655300316396806240 CPUtime=11.53 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 128071 0 0 0 1114 39 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663572094048 5039536 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=0 CPUtime=11.54 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 134445 0 0 0 1146 8 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663563701344 5037874 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 93.19 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252412 KiB

[startup+25.5006 s]
/proc/loadavg: 4.03 1.78 1.72 9/199 21931
/proc/meminfo: memFree=28238208/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252412 CPUtime=195.38 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 1789924 0 0 0 19247 291 0 0 20 0 9 0 436166280 1908781056 313103 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313103 844 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.19 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 137825 0 0 0 2343 76 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663622450272 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.34 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 161062 0 0 0 2425 9 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663614057568 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.16 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 172332 0 0 0 2371 45 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663605664864 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.25 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 213411 0 0 0 2412 13 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663597272160 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.23 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 208676 0 0 0 2380 43 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663588879456 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.34 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 169629 0 0 0 2424 10 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663580486752 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.32 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 203934 0 0 0 2388 44 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663572094048 5039328 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=1252412 CPUtime=24.35 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 210150 0 0 0 2423 12 0 0 20 0 9 0 436166394 1908781056 313103 33554432000 4194304 6211092 140722748555776 140663563701344 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 195.38 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252412 KiB

[startup+51.1006 s]
/proc/loadavg: 5.39 2.28 1.88 9/199 21934
/proc/meminfo: memFree=28240932/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252428 CPUtime=399.76 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2425949 0 0 0 39645 331 0 0 20 0 9 0 436166280 1908781056 313107 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313107 848 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=0 CPUtime=49.78 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 236175 0 0 0 4895 83 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663622450272 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=1252428 CPUtime=49.93 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 246460 0 0 0 4979 14 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663614057568 5037825 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=1252428 CPUtime=49.74 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 252161 0 0 0 4922 52 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663605664864 5039061 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=56 CPUtime=49.84 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 289511 0 0 0 4967 17 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663597272160 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=1252428 CPUtime=49.8 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 271705 0 0 0 4933 47 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663588879456 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=45120 CPUtime=49.94 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 250264 0 0 0 4980 14 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663580486752 5039178 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=0 CPUtime=49.58 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 279907 0 0 0 4910 48 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663572094048 5037744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=576460756337256238 CPUtime=49.94 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 286856 0 0 0 4979 15 0 0 20 0 9 0 436166394 1908781056 313107 33554432000 4194304 6211092 140722748555776 140663563701344 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 399.76 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252428 KiB

[startup+98.3085 s]
# the end of solver process 21919 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=771.741 s, system=4.22894 s

Solver just ended.
??? end of watcher thread

################
# More data... #
################

[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=1252432 CPUtime=83.17 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355794 0 0 0 8263 54 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663572094048 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=1252428 CPUtime=83.84 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 332169 0 0 0 8366 18 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663563701344 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 670.37 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252432 KiB

[startup+91.4006 s]
/proc/loadavg: 6.66 3.00 2.14 9/199 21937
/proc/meminfo: memFree=28241108/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252432 CPUtime=721.47 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2869279 0 0 0 71734 413 0 0 20 0 9 0 436166280 1908781056 313108 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313108 849 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=6935054825532540783 CPUtime=90.07 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 282331 0 0 0 8920 87 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663622450272 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=1252428 CPUtime=90.2 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 287243 0 0 0 9003 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663614057568 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=776 CPUtime=89.76 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 313959 0 0 0 8893 83 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663605664864 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=1056 CPUtime=90.13 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 365612 0 0 0 8966 47 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663597272160 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=6935054825532540783 CPUtime=90.08 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 309639 0 0 0 8959 49 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663588879456 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=1252428 CPUtime=90.23 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 288389 0 0 0 9006 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663580486752 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=1432 CPUtime=89.57 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355800 0 0 0 8903 54 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663572094048 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=3612 CPUtime=90.23 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 353396 0 0 0 9004 19 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663563701344 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 721.47 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252432 KiB

[startup+94.6006 s]
/proc/loadavg: 6.66 3.00 2.14 9/199 21937
/proc/meminfo: memFree=28241404/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252432 CPUtime=747.01 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2882163 0 0 0 74287 414 0 0 20 0 9 0 436166280 1908781056 313108 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313108 849 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=1252432 CPUtime=93.27 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 282331 0 0 0 9240 87 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663622450272 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=14080 CPUtime=93.4 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 287243 0 0 0 9323 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663614057568 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=1252432 CPUtime=92.93 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 326842 0 0 0 9209 84 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663605664864 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=1252428 CPUtime=93.33 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 365612 0 0 0 9286 47 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663597272160 5038741 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=6935054825532540783 CPUtime=93.28 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 309640 0 0 0 9279 49 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663588879456 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=1056 CPUtime=93.43 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 288389 0 0 0 9326 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663580486752 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=3952 CPUtime=92.73 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355800 0 0 0 9219 54 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663572094048 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=6935054825532540783 CPUtime=93.43 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 353396 0 0 0 9324 19 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663563701344 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 747.01 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252432 KiB

[startup+96.2006 s]*
/proc/loadavg: 6.77 3.08 2.17 9/199 21937
/proc/meminfo: memFree=28241620/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252432 CPUtime=759.85 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2882176 0 0 0 75571 414 0 0 20 0 9 0 436166280 1908781056 313108 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313108 849 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=1398722017469774279 CPUtime=94.87 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 282331 0 0 0 9400 87 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663622450272 5039018 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=4872558044660077418 CPUtime=95.01 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 287248 0 0 0 9484 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663614057568 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=24624 CPUtime=94.54 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 326842 0 0 0 9370 84 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663605664864 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=2120 CPUtime=94.94 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 365613 0 0 0 9447 47 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663597272160 5037744 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=508 CPUtime=94.89 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 309640 0 0 0 9440 49 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663588879456 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=1560 CPUtime=95.04 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 288389 0 0 0 9487 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663580486752 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=932 CPUtime=94.32 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355803 0 0 0 9378 54 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663572094048 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=1568 CPUtime=95.04 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 353400 0 0 0 9485 19 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663563701344 5037854 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 759.85 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252432 KiB

[startup+97.0005 s]
/proc/loadavg: 6.77 3.08 2.17 9/199 21937
/proc/meminfo: memFree=28241620/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252432 CPUtime=766.18 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2882178 0 0 0 76204 414 0 0 20 0 9 0 436166280 1908781056 313108 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313108 849 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=0 CPUtime=95.67 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 282331 0 0 0 9480 87 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663622450272 5038995 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=6944656592455360604 CPUtime=95.8 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 287248 0 0 0 9563 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663614057568 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=6935054825532540783 CPUtime=95.33 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 326842 0 0 0 9449 84 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663605664864 5039022 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=45120 CPUtime=95.73 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 365615 0 0 0 9526 47 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663597272160 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=988 CPUtime=95.68 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 309640 0 0 0 9519 49 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663588879456 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=2020 CPUtime=95.83 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 288389 0 0 0 9566 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663580486752 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=1432 CPUtime=95.1 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355803 0 0 0 9456 54 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663572094048 5039561 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=776 CPUtime=95.83 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 353400 0 0 0 9564 19 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663563701344 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 766.18 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252432 KiB

[startup+97.8006 s]
/proc/loadavg: 6.77 3.08 2.17 9/199 21937
/proc/meminfo: memFree=28241628/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252432 CPUtime=772.56 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2882187 0 0 0 76842 414 0 0 20 0 9 0 436166280 1908781056 313108 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313108 849 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=776 CPUtime=96.46 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 282333 0 0 0 9559 87 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663622450272 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21922] ppid=21916 vsize=1864044 memory=1056 CPUtime=96.6 cores=0-7
/proc/21919/task/21922/stat : 21922 (cosoco) R 21916 21919 21287 0 -1 4202560 287248 0 0 0 9643 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663614057568 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21923] ppid=21916 vsize=1864044 memory=3952 CPUtime=96.13 cores=0-7
/proc/21919/task/21923/stat : 21923 (cosoco) R 21916 21919 21287 0 -1 4202560 326842 0 0 0 9529 84 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663605664864 5038686 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=140289536910913 CPUtime=96.53 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 365615 0 0 0 9606 47 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663597272160 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=311593040592765248 CPUtime=96.48 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 309640 0 0 0 9599 49 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663588879456 5039540 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=16106974341241305 CPUtime=96.63 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 288389 0 0 0 9646 17 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663580486752 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=988 CPUtime=95.89 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355806 0 0 0 9535 54 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663572094048 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=2020 CPUtime=96.63 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 353404 0 0 0 9644 19 0 0 20 0 9 0 436166394 1908781056 313108 33554432000 4194304 6211092 140722748555776 140663563701344 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 772.56 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252432 KiB

[startup+98.2006 s]*
/proc/loadavg: 6.77 3.08 2.17 9/199 21937
/proc/meminfo: memFree=28241880/32770624 swapFree=66958308/67108860
[pid=21919] ppid=21916 vsize=1864044 memory=1252436 CPUtime=775.82 cores=0-7
/proc/21919/stat : 21919 (cosoco) S 21916 21919 21287 0 -1 1077944320 2882202 0 0 0 77168 414 0 0 20 0 8 0 436166280 1908781056 313109 33554432000 4194304 6211092 140722748555776 140722748554032 140663645593335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
/proc/21919/statm: 466011 313109 850 493 0 459316 0
[pid=21919/tid=21921] ppid=21916 vsize=1864044 memory=1398722017469774279 CPUtime=96.87 cores=0-7
/proc/21919/task/21921/stat : 21921 (cosoco) R 21916 21919 21287 0 -1 4202560 282333 0 0 0 9600 87 0 0 20 0 7 0 436166394 1908781056 313109 33554432000 4194304 6211092 140722748555776 140663622450272 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21924] ppid=21916 vsize=1864044 memory=4872558044660077418 CPUtime=96.94 cores=0-7
/proc/21919/task/21924/stat : 21924 (cosoco) R 21916 21919 21287 0 -1 4202560 365615 0 0 0 9647 47 0 0 20 0 7 0 436166394 1908781056 313109 33554432000 4194304 6211092 140722748555776 140663597272160 5039014 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21925] ppid=21916 vsize=1864044 memory=3472425748670707744 CPUtime=96.89 cores=0-7
/proc/21919/task/21925/stat : 21925 (cosoco) R 21916 21919 21287 0 -1 4202560 309640 0 0 0 9640 49 0 0 20 0 7 0 436166394 1908781056 313109 33554432000 4194304 6211092 140722748555776 140663588879456 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21926] ppid=21916 vsize=1864044 memory=8475934422147845324 CPUtime=97.04 cores=0-7
/proc/21919/task/21926/stat : 21926 (cosoco) R 21916 21919 21287 0 -1 4202560 288390 0 0 0 9687 17 0 0 20 0 7 0 436166394 1908781056 313109 33554432000 4194304 6211092 140722748555776 140663580486752 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21927] ppid=21916 vsize=1864044 memory=-7316765473029595040 CPUtime=96.29 cores=0-7
/proc/21919/task/21927/stat : 21927 (cosoco) R 21916 21919 21287 0 -1 4202560 355806 0 0 0 9575 54 0 0 20 0 7 0 436166394 1908781056 313109 33554432000 4194304 6211092 140722748555776 140663572094048 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
[pid=21919/tid=21928] ppid=21916 vsize=1864044 memory=-7966001734536614954 CPUtime=97.04 cores=0-7
/proc/21919/task/21928/stat : 21928 (cosoco) R 21916 21919 21287 0 -1 4202560 353404 0 0 0 9685 19 0 0 20 0 6 0 436166394 1908781056 313109 33554432000 4194304 6211092 140722748555776 140663563701344 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24436736 140722748560401 140722748560493 140722748560493 140722748563406 0
Current children cumulated CPU time: 775.82 s
Current children cumulated vsize: 1864044 KiB
Current children cumulated memory: 1252436 KiB

Child status: 0
Real time (s): 98.3085
CPU time (s): 775.97
CPU user time (s): 771.741
CPU system time (s): 4.22894
CPU usage (%): 789.321
Max. virtual memory (cumulated for all children) (KiB): 1864044
Max. memory (cumulated for all children) (KiB): 1252436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 771.741
system time used= 4.22894
maximum resident set size= 1252576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2882235
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= 379
involuntary context switches= 6925


# summary of solver processes directly reported to runsolver:
#   pid: 21919
#   total CPU time (s): 775.97
#   total CPU user time (s): 771.741
#   total CPU system time (s): 4.22894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.459143 second user time and 0.861314 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-16 04:50:56
IDJOB=4398068
IDBENCH=125859
IDSOLVER=2851
FILE ID=node145/4398068-1568602297
RUNJOBID= node145-1568597210-21314
PBS_JOBID= 21703405
Free space on /tmp= 59024 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398068-1568602297/watcher-4398068-1568602297 -o /tmp/evaluation-result-4398068-1568602297/solver-4398068-1568602297 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398068-1568602297.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1cb2c7d0d6cb70a3feacaee85115a742
RANDOM SEED=1418517837

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28425020 kB
MemAvailable:   31833728 kB
Buffers:          161256 kB
Cached:          3530296 kB
SwapCached:        41084 kB
Active:          1269000 kB
Inactive:        2466852 kB
Active(anon):       7944 kB
Inactive(anon):    85468 kB
Active(file):    1261056 kB
Inactive(file):  2381384 kB
Unevictable:      110680 kB
Mlocked:          110680 kB
SwapTotal:      67108860 kB
SwapFree:       66958308 kB
Dirty:            747140 kB
Writeback:         78384 kB
AnonPages:        128312 kB
Mapped:            47764 kB
Shmem:             40604 kB
Slab:             201320 kB
SReclaimable:     164208 kB
SUnreclaim:        37112 kB
KernelStack:        3536 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     508216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59528 MiB
End job on node145 at 2019-09-16 04:52:34