Trace number 4398067

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 1001.28 164.506

General information on the benchmark

NameRandom/Random-m1-5-12-12t/
rand-5-12-12-200-t85-6.xml
MD5SUM28aba8525a2c57af7de5748c3b9cdf6b
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 benchmark14.7938
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree72
Maximum variable degree102
Distribution of variable degrees[{"degree":72,"count":1},{"degree":76,"count":2},{"degree":79,"count":1},{"degree":82,"count":2},{"degree":83,"count":1},{"degree":85,"count":1},{"degree":86,"count":1},{"degree":88,"count":1},{"degree":89,"count":1},{"degree":102,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

45.81/44.69	c root propagations     : 0           
45.81/44.69	c restarts enabled, print stats at every restarts
45.81/44.69	c
45.81/44.69	c
45.81/44.69	c
45.81/44.69	c This is cosoco 2.00 --  
45.81/44.69	c
45.81/44.69	c command line: cosoco -model -nbcores=8 HOME/instance-4398067-1568598974.xml 
45.81/44.69	c ========================================[ Problem Statistics ]===========================================
45.81/44.69	c |                                                                                                       
45.81/44.69	c |  Parse time        :        43.38 s 
45.81/44.69	c |
45.81/44.69	c |               Variables: 12
45.81/44.69	c |            Domain Sizes: 12..12
45.81/44.69	c |
45.81/44.69	c |             Constraints: 200
45.81/44.69	c |                   Arity: 5..5
45.81/44.69	c | 
45.81/44.69	c |                   Types: 
45.81/44.69	c |                          Extension: 200  (nb tuples: 37324..37324) -- (shared: 0)
45.81/44.69	c |                          
45.81/44.69	c =========================================================================================================
45.81/44.69	c Parallel mode: Portfolio
45.81/44.69	c [pFactory][Group N°0] created (threads:8).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
45.81/44.69	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
45.81/44.69	c [pFactory][Group N°0] concurrent mode: enabled.
45.81/44.69	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
45.81/44.69	c [pFactory][Group N°0] task 7 launched on thread 6.
45.81/44.69	c [pFactory][Group N°0] task 6 launched on thread 0.
45.81/44.69	c [pFactory][Group N°0] task 5 launched on thread 1.
45.81/44.69	c [pFactory][Group N°0] task 4 launched on thread 7.
45.81/44.69	c [pFactory][Group N°0] task 3 launched on thread 4.
45.81/44.69	c [pFactory][Group N°0] task 2 launched on thread 2.
45.81/44.69	c [pFactory][Group N°0] task 1 launched on thread 3.
45.81/44.69	c [pFactory][Group N°0] task 0 launched on thread 5.
45.81/44.69	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
45.81/44.69	c root propagations     : 0           
45.81/44.69	c restarts enabled, print stats at every restarts
45.81/44.69	c
45.81/44.69	c
45.81/44.69	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
45.81/44.69	c root propagations     : 0           
45.81/44.69	c restarts enabled, print stats at every restarts
45.81/44.69	c
45.81/44.69	c
45.81/44.69	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
45.81/44.70	c root propagations     : 0           
45.81/44.70	c restarts enabled, print stats at every restarts
45.81/44.70	c
45.81/44.70	c
45.81/44.70	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
49.87/45.15	c root propagations     : 0           
49.87/45.15	c restarts enabled, print stats at every restarts
49.87/45.15	c
49.87/45.15	c
49.87/45.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
49.87/45.17	c root propagations     : 0           
49.87/45.17	c restarts enabled, print stats at every restarts
49.87/45.17	c
49.87/45.17	c
49.87/45.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
49.87/45.17	c root propagations     : 0           
49.87/45.17	c restarts enabled, print stats at every restarts
49.87/45.17	c
49.87/45.17	c
49.87/45.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
49.87/45.19	c root propagations     : 0           
49.87/45.19	c restarts enabled, print stats at every restarts
49.87/45.19	c
49.87/45.19	c
49.87/45.19	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
79.34/48.82	c 32             42             11609          2878           0              0              3   4   3      
81.00/49.09	c 32             37             10719          2863           0              0              3   4   2      
82.53/49.21	c 33             46             12421          2949           0              0              4   4   2      
84.13/49.42	c 33             40             11185          2948           0              0              3   3   1      
85.73/49.64	c 32             47             14293          2424           0              0              3   4   3      
85.73/49.68	c 32             43             13028          2748           0              0              3   4   3      
89.00/50.08	c 33             50             14712          2501           0              0              3   3   1      
90.52/50.23	c 33             46             14045          2844           0              0              3   3   1      
101.77/51.63	c 64             81             19164          5083           0              0              3   3   2      
104.95/52.02	c 65             84             19650          5183           0              0              3   3   1      
108.08/52.41	c 66             87             20157          5283           0              0              3   3   1      
110.46/52.78	c 67             90             20643          5383           0              0              3   3   1      
125.62/54.68	c 64             85             25047          5163           0              0              3   3   2      
128.01/54.93	c 64             82             27528          5532           0              0              3   4   3      
128.88/55.03	c 65             88             25466          5240           0              0              3   3   1      
131.20/55.35	c 65             85             27967          5605           0              0              3   3   1      
131.20/55.38	c 66             91             25885          5317           0              0              3   3   1      
134.39/55.70	c 67             94             26304          5394           0              0              3   3   1      
134.39/55.75	c 66             88             28412          5678           0              0              3   3   1      
137.66/56.13	c 67             91             28851          5751           0              0              3   3   1      
143.18/56.85	c 64             82             25538          5629           0              0              3   4   2      
147.17/57.32	c 65             85             26285          5712           0              0              3   3   1      
150.37/57.77	c 66             88             27302          5808           0              0              3   3   1      
150.37/57.79	c 101            112            24390          8682           0              0              3   4   3      
154.36/58.23	c 67             91             28317          5904           0              0              3   3   1      
158.36/58.74	c 128            158            35015          10507          0              0              3   3   2      
159.16/58.81	c 101            112            23594          8821           0              0              3   3   2      
161.62/59.15	c 129            161            35501          10607          0              0              3   3   1      
161.62/59.18	c 101            121            35084          8138           0              0              3   4   3      
163.95/59.40	c 101            115            26968          9062           0              0              3   4   3      
165.54/59.64	c 130            164            35994          10707          0              0              3   3   1      
168.81/60.04	c 131            167            36480          10807          0              0              3   3   1      
172.73/60.53	c 132            170            36973          10907          0              0              3   3   1      
175.92/60.93	c 133            173            37459          11007          0              0              3   3   1      
179.91/61.42	c 134            176            37952          11107          0              0              3   3   1      
183.12/61.81	c 135            179            38438          11207          0              0              3   3   1      
222.22/66.76	c 128            163            47926          10747          0              0              3   4   2      
226.20/67.24	c 129            166            48345          10824          0              0              3   3   1      
230.20/67.73	c 130            169            48764          10901          0              0              3   3   1      
234.19/68.20	c 131            172            49183          10978          0              0              3   3   1      
238.19/68.70	c 132            175            49602          11055          0              0              3   3   1      
241.45/69.16	c 133            178            50021          11132          0              0              3   3   1      
242.98/69.32	c 128            162            51586          11372          0              0              3   4   2      
245.37/69.67	c 134            181            50440          11209          0              0              3   3   1      
247.78/69.93	c 129            165            52025          11445          0              0              3   3   1      
249.44/70.14	c 135            184            50859          11286          0              0              3   3   1      
251.76/70.41	c 128            160            50668          11544          0              0              3   4   2      
252.56/70.55	c 130            168            52470          11518          0              0              3   3   1      
255.76/70.93	c 129            163            51683          11640          0              0              3   3   1      
256.62/71.07	c 211            234            54148          18246          0              0              3   4   2      
258.14/71.21	c 131            171            52909          11591          0              0              3   3   1      
259.74/71.43	c 130            166            52700          11736          0              0              3   3   1      
262.95/71.82	c 132            174            53354          11664          0              0              3   3   1      
263.74/71.91	c 131            169            53715          11832          0              0              3   3   1      
267.73/72.43	c 132            172            54732          11928          0              0              3   3   1      
267.73/72.46	c 133            177            53793          11737          0              0              3   3   1      
271.72/72.91	c 133            175            55747          12024          0              0              3   3   1      
272.59/73.05	c 134            180            54238          11810          0              0              3   3   1      
275.69/73.42	c 134            178            56764          12120          0              0              3   3   1      
276.49/73.53	c 135            183            54677          11883          0              0              3   3   1      
278.10/73.77	c 211            242            59445          17744          0              0              3   3   2      
278.90/73.83	c 256            312            67572          21232          0              0              3   3   2      
279.69/73.92	c 135            181            57779          12216          0              0              3   3   1      
281.36/74.18	c 211            233            54626          18200          0              0              3   3   2      
282.09/74.26	c 257            315            68058          21332          0              0              3   3   1      
286.08/74.75	c 258            318            68551          21432          0              0              3   3   1      
289.35/75.16	c 259            321            69037          21532          0              0              3   3   1      
293.26/75.61	c 211            236            55329          18354          0              0              3   3   2      
293.26/75.65	c 260            324            69530          21632          0              0              3   3   1      
296.53/76.07	c 261            327            70016          21732          0              0              3   3   1      
300.45/76.55	c 262            330            70509          21832          0              0              3   3   1      
303.65/76.96	c 263            333            70995          21932          0              0              3   3   1      
307.64/77.45	c 264            336            71488          22032          0              0              3   3   1      
310.84/77.85	c 265            339            71974          22132          0              0              3   3   1      
314.83/78.33	c 266            342            72467          22232          0              0              3   3   1      
318.03/78.73	c 267            345            72953          22332          0              0              3   3   1      
322.01/79.22	c 268            348            73446          22432          0              0              3   3   1      
325.21/79.62	c 269            351            73932          22532          0              0              3   3   1      
328.48/80.09	c 270            354            74425          22632          0              0              3   3   1      
331.60/80.49	c 271            357            74911          22732          0              0              3   3   1      
391.49/87.90	c 332            368            85104          28922          0              0              3   4   2      
393.87/88.26	c 332            375            83716          28015          0              0              3   3   2      
421.03/91.69	c 256            325            96856          22199          0              0              3   4   3      
424.30/92.09	c 257            328            97275          22276          0              0              3   3   1      
428.21/92.50	c 258            331            97694          22353          0              0              3   3   1      
430.62/92.88	c 259            334            98113          22430          0              0              3   3   1      
431.42/92.96	c 332            366            86783          28630          0              0              3   3   2      
433.80/93.30	c 260            337            98532          22507          0              0              3   3   1      
437.00/93.67	c 261            340            98951          22584          0              0              3   3   1      
440.26/94.09	c 262            343            99370          22661          0              0              3   3   1      
443.38/94.47	c 263            346            99789          22738          0              0              3   3   1      
446.65/94.88	c 264            349            100208         22815          0              0              3   3   1      
447.38/94.97	c 332            369            86567          28887          0              0              3   3   2      
449.76/95.26	c 265            352            100627         22892          0              0              3   3   1      
452.96/95.66	c 266            355            101046         22969          0              0              3   3   1      
456.22/96.04	c 267            358            101465         23046          0              0              3   3   1      
459.38/96.46	c 268            361            101864         23113          0              0              3   3   1      
460.14/96.54	c 256            323            102407         23122          0              0              3   4   3      
462.54/96.82	c 269            364            102237         23180          0              0              3   3   1      
463.34/96.99	c 257            326            102846         23195          0              0              3   3   1      
465.73/97.24	c 270            367            102636         23247          0              0              3   3   1      
467.32/97.45	c 258            329            103291         23268          0              0              3   3   1      
468.92/97.60	c 271            370            103009         23314          0              0              3   3   1      
468.92/97.68	c 256            315            102269         23198          0              0              3   4   2      
470.52/97.89	c 259            332            103730         23341          0              0              3   3   1      
473.71/98.22	c 257            318            103284         23294          0              0              3   3   1      
474.51/98.34	c 260            335            104175         23414          0              0              3   3   1      
477.71/98.73	c 258            321            104301         23390          0              0              3   3   1      
477.71/98.78	c 261            338            104614         23487          0              0              3   3   1      
481.70/99.24	c 262            341            105059         23560          0              0              3   3   1      
481.70/99.24	c 259            324            105316         23486          0              0              3   3   1      
484.90/99.68	c 263            344            105498         23633          0              0              3   3   1      
485.69/99.76	c 260            327            106333         23582          0              0              3   3   1      
490.56/100.35	c 264            347            106031         23710          1              0              3   3   1      
491.28/100.47	c 261            330            107436         23678          1              0              3   3   1      
493.68/100.78	c 265            350            106470         23786          1              0              3   3   1      
495.28/100.98	c 262            333            108453         23773          1              0              3   3   1      
497.67/101.24	c 266            353            106915         23862          1              0              3   3   1      
499.27/101.49	c 263            336            109468         23868          1              0              3   3   1      
500.87/101.67	c 267            356            107354         23938          1              0              3   3   1      
504.13/102.02	c 264            339            110485         23963          1              0              3   3   1      
504.93/102.13	c 268            359            107799         24014          1              0              3   3   1      
508.05/102.51	c 265            342            111500         24058          1              0              3   3   1      
508.05/102.57	c 269            362            108238         24090          1              0              3   3   1      
512.11/103.02	c 266            345            112517         24153          1              0              3   3   1      
512.11/103.03	c 270            365            108683         24166          1              0              3   3   1      
514.43/103.35	c 267            348            112825         24244          1              0              3   3   1      
515.24/103.47	c 271            368            109122         24242          1              0              3   3   1      
516.83/103.70	c 268            351            113131         24334          1              0              3   3   1      
520.09/104.05	c 269            354            113439         24425          1              0              3   3   1      
522.42/104.39	c 270            357            113745         24515          1              0              3   3   1      
526.41/104.89	c 271            360            114760         24610          1              0              3   3   1      
547.96/107.53	c 465            517            118157         40580          2              0              3   4   2      
556.75/108.62	c 465            523            119297         39377          3              0              3   3   2      
583.11/112.00	c 512            623            126143         43782          1              0              3   3   2      
589.49/112.71	c 513            626            126712         43875          3              0              3   3   1      
591.96/113.09	c 514            629            127073         43956          3              0              3   3   1      
595.08/113.48	c 515            632            127490         44047          3              0              3   3   1      
598.28/113.86	c 516            635            127851         44128          3              0              3   3   1      
601.46/114.26	c 517            638            128268         44219          3              0              3   3   1      
606.26/114.86	c 518            641            128741         44314          3              0              3   3   1      
607.05/114.90	c 465            514            123578         40127          3              0              3   3   2      
609.44/115.25	c 519            644            129158         44405          3              0              3   3   1      
612.64/115.67	c 520            647            129543         44499          3              0              3   3   1      
615.90/116.05	c 521            650            129960         44590          3              0              3   3   1      
619.83/116.58	c 522            653            130371         44656          3              0              3   3   1      
622.23/116.88	c 465            517            121244         40265          3              0              3   3   2      
623.03/116.93	c 523            656            130732         44721          3              0              3   3   1      
625.41/117.23	c 524            659            131041         44786          3              0              3   3   1      
627.81/117.59	c 525            662            131402         44851          3              0              3   3   1      
630.21/117.89	c 526            665            131711         44916          3              0              3   3   1      
633.40/118.24	c 527            668            132072         44981          3              0              3   3   1      
635.80/118.54	c 528            671            132381         45046          3              0              3   3   1      
638.20/118.90	c 529            674            132742         45111          3              0              3   3   1      
640.66/119.19	c 530            677            133051         45176          3              0              3   3   1      
643.78/119.55	c 531            680            133412         45241          3              0              3   3   1      
646.18/119.85	c 532            683            133721         45306          3              0              3   3   1      
649.37/120.20	c 533            686            134082         45371          3              0              3   3   1      
651.77/120.50	c 534            689            134391         45436          3              0              3   3   1      
654.17/120.86	c 535            692            134752         45501          3              0              3   3   1      
656.63/121.15	c 536            695            135061         45566          3              0              3   3   1      
659.76/121.50	c 537            698            135422         45631          3              0              3   3   1      
661.35/121.80	c 538            701            135731         45696          3              0              3   3   1      
664.62/122.15	c 539            704            136092         45761          3              0              3   3   1      
666.97/122.45	c 540            707            136401         45826          3              0              3   3   1      
670.14/122.80	c 541            710            136762         45891          3              0              3   3   1      
671.80/123.10	c 542            713            137071         45956          3              0              3   3   1      
676.52/123.64	c 543            716            137521         46022          4              0              3   3   1      
703.74/127.02	c 611            679            151675         53536          4              0              3   3   2      
760.44/134.16	c 611            687            160725         51337          6              0              3   4   2      
801.09/139.27	c 611            679            165099         52152          6              0              3   4   2      
806.68/139.90	c 611            682            159619         52601          6              0              3   3   2      
809.07/140.21	c 512            675            218015         44758          5              0              3   4   3      
814.67/140.91	c 513            678            218723         44822          6              0              3   3   1      
817.86/141.30	c 514            681            219269         44881          6              0              3   3   1      
820.24/141.67	c 515            684            219789         44940          6              0              3   3   1      
823.50/142.06	c 516            687            220335         44999          6              0              3   3   1      
827.42/142.56	c 517            690            220858         45076          6              0              3   3   1      
829.82/142.86	c 518            693            221257         45151          6              0              3   3   1      
832.29/143.13	c 519            696            221636         45226          6              0              3   3   1      
832.29/143.16	c 771            859            188456         67567          6              0              3   4   2      
834.61/143.43	c 520            699            222035         45301          6              0              3   3   1      
834.61/143.46	c 512            649            193859         46218          6              0              3   4   3      
836.20/143.70	c 521            702            222414         45376          6              0              3   3   1      
838.60/143.90	c 513            652            194309         46293          6              0              3   3   1      
839.47/144.05	c 522            705            222830         45464          6              0              3   3   1      
840.99/144.29	c 523            708            223153         45541          6              0              3   3   1      
841.79/144.30	c 514            655            194784         46383          6              0              3   3   1      
843.39/144.54	c 524            711            223483         45628          6              0              3   3   1      
843.39/144.56	c 515            658            195153         46472          6              0              3   3   1      
844.99/144.78	c 525            714            223806         45705          6              0              3   3   1      
845.79/144.86	c 516            661            195542         46561          6              0              3   3   1      
847.45/145.03	c 526            717            224136         45792          6              0              3   3   1      
848.26/145.11	c 517            664            195911         46650          6              0              3   3   1      
848.98/145.24	c 512            629            190390         46408          6              0              3   3   2      
848.98/145.26	c 527            720            224459         45869          6              0              3   3   1      
850.58/145.41	c 518            667            196300         46739          6              0              3   3   1      
850.58/145.50	c 513            632            190739         46495          6              0              3   3   1      
851.46/145.52	c 528            723            224789         45956          6              0              3   3   1      
852.18/145.68	c 519            670            196669         46828          6              0              3   3   1      
852.98/145.76	c 529            726            225112         46033          6              0              3   3   1      
852.98/145.77	c 514            635            191103         46587          6              0              3   3   1      
854.57/145.97	c 520            673            197058         46917          6              0              3   3   1      
854.57/146.00	c 530            729            225442         46120          6              0              3   3   1      
855.43/146.03	c 515            638            191452         46674          6              0              3   3   1      
856.95/146.23	c 521            676            197427         47006          6              0              3   3   1      
856.95/146.24	c 531            732            225765         46197          6              0              3   3   1      
857.75/146.30	c 516            641            191816         46766          6              0              3   3   1      
858.55/146.49	c 532            735            226095         46284          6              0              3   3   1      
859.35/146.53	c 522            679            197816         47095          6              0              3   3   1      
859.35/146.55	c 517            644            192165         46853          6              0              3   3   1      
860.95/146.73	c 533            738            226418         46361          6              0              3   3   1      
860.95/146.79	c 523            682            198185         47184          6              0              3   3   1      
861.75/146.82	c 518            647            192529         46945          6              0              3   3   1      
862.55/146.98	c 534            741            226748         46448          6              0              3   3   1      
863.41/147.07	c 519            650            192878         47032          6              0              3   3   1      
863.41/147.08	c 524            685            198574         47273          6              0              3   3   1      
864.94/147.22	c 535            744            227071         46525          6              0              3   3   1      
865.74/147.34	c 525            688            198943         47362          6              0              3   3   1      
865.74/147.35	c 520            653            193242         47124          6              0              3   3   1      
866.54/147.47	c 536            747            227401         46612          6              0              3   3   1      
867.34/147.59	c 521            656            193591         47211          6              0              3   3   1      
868.18/147.63	c 526            691            199332         47451          6              0              3   3   1      
868.94/147.70	c 537            750            227724         46689          6              0              3   3   1      
869.74/147.87	c 522            659            193955         47303          6              0              3   3   1      
869.74/147.89	c 527            694            199701         47540          6              0              3   3   1      
870.53/147.95	c 538            753            228054         46776          6              0              3   3   1      
872.20/148.12	c 523            662            194304         47390          6              0              3   3   1      
872.20/148.18	c 528            697            200090         47629          6              0              3   3   1      
872.20/148.19	c 539            756            228377         46853          6              0              3   3   1      
873.72/148.40	c 524            665            194668         47482          6              0              3   3   1      
874.52/148.44	c 529            700            200459         47718          6              0              3   3   1      
874.52/148.44	c 540            759            228707         46940          6              0              3   3   1      
876.12/148.65	c 525            668            195017         47569          6              0              3   3   1      
876.92/148.80	c 541            762            229169         47016          6              0              3   3   1      
877.72/148.84	c 530            703            200930         47808          6              0              3   3   1      
879.38/149.02	c 526            671            195463         47662          6              0              3   3   1      
879.38/149.08	c 542            765            229569         47091          6              0              3   3   1      
879.38/149.09	c 531            706            201299         47897          6              0              3   3   1      
880.91/149.26	c 527            674            195850         47753          6              0              3   3   1      
881.71/149.32	c 543            768            229949         47166          6              0              3   3   1      
881.71/149.38	c 532            709            201688         47986          6              0              3   3   1      
883.31/149.53	c 528            677            196214         47845          6              0              3   3   1      
884.11/149.63	c 533            712            202057         48075          6              0              3   3   1      
885.71/149.87	c 529            680            196670         47911          6              0              3   3   1      
887.38/150.04	c 534            715            202534         48164          6              0              3   3   1      
888.18/150.12	c 530            683            197018         47989          6              0              3   3   1      
888.90/150.29	c 535            718            202903         48252          6              0              3   3   1      
889.77/150.36	c 531            686            197386         48054          6              0              3   3   1      
891.30/150.57	c 536            721            203292         48340          6              0              3   3   1      
892.10/150.60	c 532            689            197734         48132          6              0              3   3   1      
893.69/150.82	c 537            724            203661         48428          6              0              3   3   1      
893.69/150.84	c 533            692            198102         48197          6              0              3   3   1      
895.36/151.09	c 534            695            198450         48275          6              0              3   3   1      
895.36/151.10	c 538            727            204050         48516          6              0              3   3   1      
897.69/151.32	c 535            698            198818         48340          6              0              3   3   1      
897.69/151.34	c 539            730            204419         48604          6              0              3   3   1      
900.09/151.68	c 536            701            199282         48411          6              0              3   3   1      
900.09/151.69	c 540            733            204844         48694          6              0              3   3   1      
902.48/151.91	c 537            704            199659         48498          6              0              3   3   1      
902.48/151.94	c 541            736            205220         48768          6              0              3   3   1      
904.15/152.17	c 538            707            200041         48568          6              0              3   3   1      
904.15/152.19	c 542            739            205563         48857          6              0              3   3   1      
906.47/152.48	c 539            710            200500         48656          6              0              3   3   1      
907.26/152.52	c 543            742            206021         48932          6              0              3   3   1      
908.86/152.73	c 540            713            200882         48726          6              0              3   3   1      
910.46/152.95	c 541            716            201259         48813          6              0              3   3   1      
912.85/153.20	c 542            719            201641         48883          6              0              3   3   1      
914.45/153.42	c 543            722            202018         48970          6              0              3   3   1      
937.68/156.34	c 771            870            205280         64300          6              0              3   3   2      
972.74/160.73	c 771            862            207301         65058          6              0              3   3   2      
983.20/162.01	c 771            868            203656         65685          6              0              3   3   2      
987.12/162.55	c 947            1063           238827         82479          6              0              3   4   2      
1000.68/164.29	c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 2.
1000.68/164.29	c [pFactory][Group N°0] Thread N°0 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°1 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°2 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°3 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°4 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°5 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°6 is joined.
1000.68/164.29	c [pFactory][Group N°0] Thread N°7 is joined.
1000.68/164.29	c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°2)
1000.68/164.29	s UNSATISFIABLE
1000.68/164.29	c restarts              : 62          
1000.68/164.29	c conflicts             : 913          (1 /sec)
1000.68/164.29	c decisions             : 1141         (1 /sec)
1000.68/164.29	c propagations          : 75993       (77 /sec)
1000.68/164.29	c root propagations     : 0           
1000.68/164.29	c filter calls          : 229815         (232 /sec)
1000.68/164.29	c useless filter calls  : 207606         (90 %)
1000.68/164.29	c Memory used           : 4185.60 MB
1000.68/164.29	c CPU time              : 991.444 s
1000.68/164.29	c real time             : 164.293 s
1000.68/164.29

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 (15106 MiB free)
  memory of node 1: 16384 MiB (15373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398067-1568598974/watcher-4398067-1568598974 -o /tmp/evaluation-result-4398067-1568598974/solver-4398067-1568598974 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568594482-28906 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398067-1568598974.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=29126, runsolver pid=29123
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 3.00 1.55 1.44 2/195 29127
/proc/meminfo: memFree=31209636/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=28712 memory=4764 CPUtime=0.1 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 1513 0 0 0 10 0 0 0 20 0 1 0 436155785 29401088 1191 33554432000 4194304 6211092 140735787152464 140735787149000 5818637 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 7178 1191 803 493 0 483 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28712 KiB
Current children cumulated memory: 4764 KiB

[startup+0.209262 s]*
/proc/loadavg: 3.00 1.55 1.44 2/195 29127
/proc/meminfo: memFree=31197732/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=44724 memory=18596 CPUtime=0.21 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 5172 0 0 0 20 1 0 0 20 0 1 0 436155785 45797376 4649 33554432000 4194304 6211092 140735787152464 140735787149000 5240329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 11181 4649 808 493 0 4486 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44724 KiB
Current children cumulated memory: 18596 KiB

[startup+0.309652 s]*
/proc/loadavg: 3.00 1.55 1.44 2/195 29127
/proc/meminfo: memFree=31192784/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=46980 memory=21092 CPUtime=0.31 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 5992 0 0 0 30 1 0 0 20 0 1 0 436155785 48107520 5273 33554432000 4194304 6211092 140735787152464 140735787149000 5707878 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 11745 5273 808 493 0 5050 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 21092 KiB

[startup+0.700298 s]
/proc/loadavg: 3.00 1.55 1.44 2/195 29127
/proc/meminfo: memFree=31178076/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=80848 memory=49864 CPUtime=0.69 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 13230 0 0 0 67 2 0 0 20 0 1 0 436155785 82788352 12466 33554432000 4194304 6211092 140735787152464 140735787149000 5817155 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 20212 12466 808 493 0 13517 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80848 KiB
Current children cumulated memory: 49864 KiB

[startup+1.50036 s]
/proc/loadavg: 3.00 1.55 1.44 2/195 29127
/proc/meminfo: memFree=31150392/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=130888 memory=92896 CPUtime=1.49 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 23975 0 0 0 145 4 0 0 20 0 1 0 436155785 134029312 23224 33554432000 4194304 6211092 140735787152464 140735787149736 5743377 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 32722 23224 808 493 0 26027 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130888 KiB
Current children cumulated memory: 92896 KiB

[startup+3.10944 s]
/proc/loadavg: 3.00 1.55 1.44 2/195 29127
/proc/meminfo: memFree=31016632/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=258688 memory=204396 CPUtime=3.1 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 53002 0 0 0 302 8 0 0 20 0 1 0 436155785 264896512 51099 33554432000 4194304 6211092 140735787152464 140735787149736 5555628 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 64672 51099 808 493 0 57977 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 258688 KiB
Current children cumulated memory: 204396 KiB

[startup+6.30035 s]
/proc/loadavg: 2.76 1.53 1.43 2/195 29127
/proc/meminfo: memFree=30826216/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=485028 memory=400724 CPUtime=6.29 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 102944 0 0 0 616 13 0 0 20 0 1 0 436155785 496668672 100181 33554432000 4194304 6211092 140735787152464 140735787149736 5812165 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 121257 100181 809 493 0 114562 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 485028 KiB
Current children cumulated memory: 400724 KiB

[startup+12.7003 s]
/proc/loadavg: 2.62 1.52 1.43 2/196 29129
/proc/meminfo: memFree=30445244/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=953876 memory=808064 CPUtime=12.69 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 205908 0 0 0 1243 26 0 0 20 0 1 0 436155785 976769024 202016 33554432000 4194304 6211092 140735787152464 140735787149736 5817172 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 238469 202016 809 493 0 231774 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 953876 KiB
Current children cumulated memory: 808064 KiB

[startup+25.5003 s]
/proc/loadavg: 2.26 1.49 1.42 2/194 29131
/proc/meminfo: memFree=29615628/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=1901676 memory=1630868 CPUtime=25.49 cores=0-7
/proc/29126/stat : 29126 (cosoco) R 29123 29126 28879 0 -1 4202496 411730 0 0 0 2500 49 0 0 20 0 1 0 436155785 1947316224 407717 33554432000 4194304 6211092 140735787152464 140735787149736 5286960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 475419 407717 809 493 0 468724 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1901676 KiB
Current children cumulated memory: 1630868 KiB

[startup+51.1108 s]
/proc/loadavg: 2.39 1.57 1.45 9/202 29139
/proc/meminfo: memFree=27927536/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=4318832 memory=3279528 CPUtime=97.78 cores=0-7
/proc/29126/stat : 29126 (cosoco) S 29123 29126 28879 0 -1 1077944320 2808806 0 0 0 9258 520 0 0 20 0 9 0 436155785 4422483968 819882 33554432000 4194304 6211092 140735787152464 140735787150720 140639586811639 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 1079708 819882 829 493 0 1073013 0
[pid=29126/tid=29132] ppid=29123 vsize=4318832 memory=822056 CPUtime=6.67 cores=0-7
/proc/29126/task/29132/stat : 29132 (cosoco) R 29123 29126 28879 0 -1 12591168 233327 0 0 0 573 94 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639556832632 5038995 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29133] ppid=29123 vsize=4318832 memory=280229905957336 CPUtime=6.62 cores=0-7
/proc/29126/task/29133/stat : 29133 (cosoco) R 29123 29126 28879 0 -1 4202560 193230 0 0 0 649 13 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639548439928 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29134] ppid=29123 vsize=4318832 memory=3624 CPUtime=6.63 cores=0-7
/proc/29126/task/29134/stat : 29134 (cosoco) R 29123 29126 28879 0 -1 4202560 230308 0 0 0 576 87 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639540046944 5039536 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29135] ppid=29123 vsize=4318832 memory=164 CPUtime=6.67 cores=0-7
/proc/29126/task/29135/stat : 29135 (cosoco) R 29123 29126 28879 0 -1 4202560 246446 0 0 0 653 14 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639531654240 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29136] ppid=29123 vsize=4318832 memory=32020 CPUtime=6.68 cores=0-7
/proc/29126/task/29136/stat : 29136 (cosoco) R 29123 29126 28879 0 -1 4202560 244480 0 0 0 571 97 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639523261536 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29137] ppid=29123 vsize=4318832 memory=56 CPUtime=6.68 cores=0-7
/proc/29126/task/29137/stat : 29137 (cosoco) R 29123 29126 28879 0 -1 4202560 217577 0 0 0 656 12 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639514868832 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29138] ppid=29123 vsize=4318832 memory=3624 CPUtime=6.67 cores=0-7
/proc/29126/task/29138/stat : 29138 (cosoco) R 29123 29126 28879 0 -1 4202560 182569 0 0 0 586 81 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639506476408 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29139] ppid=29123 vsize=4318832 memory=0 CPUtime=6.67 cores=0-7
/proc/29126/task/29139/stat : 29139 (cosoco) R 29123 29126 28879 0 -1 4202560 245136 0 0 0 653 14 0 0 20 0 9 0 436160227 4422483968 819882 33554432000 4194304 6211092 140735787152464 140639498083704 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
Current children cumulated CPU time: 97.78 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3279528 KiB

[startup+102.301 s]
/proc/loadavg: 5.71 2.59 1.80 9/203 29144
/proc/meminfo: memFree=27915724/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=4318832 memory=3290100 CPUtime=506.46 cores=0-7
/proc/29126/stat : 29126 (cosoco) S 29123 29126 28879 0 -1 1077944320 7201161 0 0 0 49762 884 0 0 20 0 9 0 436155785 4422483968 822525 33554432000 4194304 6211092 140735787152464 140735787150720 140639586811639 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 1079708 822525 830 493 0 1073013 0
[pid=29126/tid=29132] ppid=29123 vsize=4318832 memory=3285664 CPUtime=57.85 cores=0-7
/proc/29126/task/29132/stat : 29132 (cosoco) R 29123 29126 28879 0 -1 4202560 787966 0 0 0 5656 129 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639556832352 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29133] ppid=29123 vsize=4318832 memory=3287800 CPUtime=57.79 cores=0-7
/proc/29126/task/29133/stat : 29133 (cosoco) R 29123 29126 28879 0 -1 4202560 683877 0 0 0 5673 106 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639548439648 5038995 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29134] ppid=29123 vsize=4318832 memory=3290096 CPUtime=57.09 cores=0-7
/proc/29126/task/29134/stat : 29134 (cosoco) R 29123 29126 28879 0 -1 4202560 810581 0 0 0 5559 150 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639540046944 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29135] ppid=29123 vsize=4318832 memory=3287796 CPUtime=57.85 cores=0-7
/proc/29126/task/29135/stat : 29135 (cosoco) R 29123 29126 28879 0 -1 4202560 808754 0 0 0 5736 49 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639531654240 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29136] ppid=29123 vsize=4318832 memory=32020 CPUtime=57.82 cores=0-7
/proc/29126/task/29136/stat : 29136 (cosoco) R 29123 29126 28879 0 -1 4202560 817863 0 0 0 5645 137 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639523261536 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29137] ppid=29123 vsize=4318832 memory=140115188018120 CPUtime=57.84 cores=0-7
/proc/29126/task/29137/stat : 29137 (cosoco) R 29123 29126 28879 0 -1 4202560 802554 0 0 0 5745 39 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639514868832 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29138] ppid=29123 vsize=4318832 memory=56 CPUtime=57.86 cores=0-7
/proc/29126/task/29138/stat : 29138 (cosoco) R 29123 29126 28879 0 -1 4202560 686427 0 0 0 5664 122 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639506476128 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29139] ppid=29123 vsize=4318832 memory=32020 CPUtime=57.84 cores=0-7
/proc/29126/task/29139/stat : 29139 (cosoco) R 29123 29126 28879 0 -1 4202560 787362 0 0 0 5741 43 0 0 20 0 9 0 436160227 4422483968 822525 33554432000 4194304 6211092 140735787152464 140639498083424 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
Current children cumulated CPU time: 506.46 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3290100 KiB

[startup+162.301 s]
/proc/loadavg: 7.70 3.73 2.24 9/202 29147
/proc/meminfo: memFree=27905212/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=4318832 memory=3302988 CPUtime=985.52 cores=0-7
/proc/29126/stat : 29126 (cosoco) S 29123 29126 28879 0 -1 1077944320 8372175 0 0 0 97591 961 0 0 20 0 9 0 436155785 4422483968 825747 33554432000 4194304 6211092 140735787152464 140735787150720 140639586811639 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 1079708 825747 830 493 0 1073013 0
[pid=29126/tid=29132] ppid=29123 vsize=4318832 memory=3298732 CPUtime=117.84 cores=0-7
/proc/29126/task/29132/stat : 29132 (cosoco) R 29123 29126 28879 0 -1 4202560 928842 0 0 0 11648 136 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639556832352 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29133] ppid=29123 vsize=4318832 memory=3300864 CPUtime=117.79 cores=0-7
/proc/29126/task/29133/stat : 29133 (cosoco) R 29123 29126 28879 0 -1 4202560 854397 0 0 0 11664 115 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639548439648 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29134] ppid=29123 vsize=4318832 memory=3302988 CPUtime=116.47 cores=0-7
/proc/29126/task/29134/stat : 29134 (cosoco) R 29123 29126 28879 0 -1 4202560 953186 0 0 0 11489 158 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639540046944 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29135] ppid=29123 vsize=4318832 memory=3302988 CPUtime=117.85 cores=0-7
/proc/29126/task/29135/stat : 29135 (cosoco) R 29123 29126 28879 0 -1 4202560 954822 0 0 0 11720 65 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639531654240 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29136] ppid=29123 vsize=4318832 memory=3302988 CPUtime=117.8 cores=0-7
/proc/29126/task/29136/stat : 29136 (cosoco) R 29123 29126 28879 0 -1 4202560 960285 0 0 0 11627 153 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639523261536 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29137] ppid=29123 vsize=4318832 memory=3302988 CPUtime=117.6 cores=0-7
/proc/29126/task/29137/stat : 29137 (cosoco) R 29123 29126 28879 0 -1 4202560 946036 0 0 0 11714 46 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639514868832 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29138] ppid=29123 vsize=4318832 memory=3302988 CPUtime=117.84 cores=0-7
/proc/29126/task/29138/stat : 29138 (cosoco) R 29123 29126 28879 0 -1 4202560 828470 0 0 0 11655 129 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639506476128 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29139] ppid=29123 vsize=4318832 memory=1444 CPUtime=117.84 cores=0-7
/proc/29126/task/29139/stat : 29139 (cosoco) R 29123 29126 28879 0 -1 4202560 930358 0 0 0 11734 50 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639498083424 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
Current children cumulated CPU time: 985.52 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3302988 KiB

[startup+164.506 s]
# the end of solver process 29126 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=991.445 s, system=9.83219 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+163.201 s]
/proc/loadavg: 7.70 3.73 2.24 9/202 29147
/proc/meminfo: memFree=27905212/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=4318832 memory=3302988 CPUtime=992.7 cores=0-7
/proc/29126/stat : 29126 (cosoco) S 29123 29126 28879 0 -1 1077944320 8372177 0 0 0 98309 961 0 0 20 0 9 0 436155785 4422483968 825747 33554432000 4194304 6211092 140735787152464 140735787150720 140639586811639 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 1079708 825747 830 493 0 1073013 0
[pid=29126/tid=29132] ppid=29123 vsize=4318832 memory=3302988 CPUtime=118.74 cores=0-7
/proc/29126/task/29132/stat : 29132 (cosoco) R 29123 29126 28879 0 -1 4202560 928842 0 0 0 11738 136 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639556832352 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29133] ppid=29123 vsize=4318832 memory=513 CPUtime=118.68 cores=0-7
/proc/29126/task/29133/stat : 29133 (cosoco) R 29123 29126 28879 0 -1 4202560 854397 0 0 0 11753 115 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639548439648 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29134] ppid=29123 vsize=4318832 memory=280230375719152 CPUtime=117.37 cores=0-7
/proc/29126/task/29134/stat : 29134 (cosoco) R 29123 29126 28879 0 -1 4202560 953186 0 0 0 11579 158 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639540046944 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29135] ppid=29123 vsize=4318832 memory=280230375719152 CPUtime=118.75 cores=0-7
/proc/29126/task/29135/stat : 29135 (cosoco) R 29123 29126 28879 0 -1 4202560 954822 0 0 0 11810 65 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639531654240 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29136] ppid=29123 vsize=4318832 memory=164 CPUtime=118.7 cores=0-7
/proc/29126/task/29136/stat : 29136 (cosoco) R 29123 29126 28879 0 -1 4202560 960285 0 0 0 11717 153 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639523261536 5039549 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29137] ppid=29123 vsize=4318832 memory=280229906077865 CPUtime=118.49 cores=0-7
/proc/29126/task/29137/stat : 29137 (cosoco) R 29123 29126 28879 0 -1 4202560 946036 0 0 0 11803 46 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639514868832 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29138] ppid=29123 vsize=4318832 memory=288230587429354147 CPUtime=118.74 cores=0-7
/proc/29126/task/29138/stat : 29138 (cosoco) R 29123 29126 28879 0 -1 4202560 828472 0 0 0 11745 129 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639506476128 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29139] ppid=29123 vsize=4318832 memory=6935054825532540783 CPUtime=118.74 cores=0-7
/proc/29126/task/29139/stat : 29139 (cosoco) R 29123 29126 28879 0 -1 4202560 930358 0 0 0 11824 50 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639498083424 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
Current children cumulated CPU time: 992.7 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3302988 KiB

[startup+164.001 s]*
/proc/loadavg: 7.70 3.73 2.24 9/202 29147
/proc/meminfo: memFree=27905460/32770624 swapFree=66938988/67108860
[pid=29126] ppid=29123 vsize=4318832 memory=3302988 CPUtime=999.17 cores=0-7
/proc/29126/stat : 29126 (cosoco) S 29123 29126 28879 0 -1 1077944320 8387234 0 0 0 98955 962 0 0 20 0 9 0 436155785 4422483968 825747 33554432000 4194304 6211092 140735787152464 140735787150720 140639586811639 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
/proc/29126/statm: 1079708 825747 830 493 0 1073013 0
[pid=29126/tid=29132] ppid=29123 vsize=4318832 memory=8317482817917895235 CPUtime=119.55 cores=0-7
/proc/29126/task/29132/stat : 29132 (cosoco) R 29123 29126 28879 0 -1 4202560 929030 0 0 0 11819 136 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639556832352 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29133] ppid=29123 vsize=4318832 memory=1976 CPUtime=119.49 cores=0-7
/proc/29126/task/29133/stat : 29133 (cosoco) R 29123 29126 28879 0 -1 4202560 857387 0 0 0 11834 115 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639548439648 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29134] ppid=29123 vsize=4318832 memory=2436 CPUtime=118.18 cores=0-7
/proc/29126/task/29134/stat : 29134 (cosoco) R 29123 29126 28879 0 -1 4202560 955507 0 0 0 11660 158 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639540046944 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29135] ppid=29123 vsize=4318832 memory=1760 CPUtime=119.55 cores=0-7
/proc/29126/task/29135/stat : 29135 (cosoco) R 29123 29126 28879 0 -1 4202560 955273 0 0 0 11890 65 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639531654240 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29136] ppid=29123 vsize=4318832 memory=4872558044660077418 CPUtime=119.5 cores=0-7
/proc/29126/task/29136/stat : 29136 (cosoco) R 29123 29126 28879 0 -1 4202560 963891 0 0 0 11797 153 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639523261536 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29137] ppid=29123 vsize=4318832 memory=4104 CPUtime=119.28 cores=0-7
/proc/29126/task/29137/stat : 29137 (cosoco) R 29123 29126 28879 0 -1 4202560 947533 0 0 0 11882 46 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639514868832 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29138] ppid=29123 vsize=4318832 memory=1408 CPUtime=119.54 cores=0-7
/proc/29126/task/29138/stat : 29138 (cosoco) R 29123 29126 28879 0 -1 4202560 829953 0 0 0 11825 129 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639506476128 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
[pid=29126/tid=29139] ppid=29123 vsize=4318832 memory=2716 CPUtime=119.56 cores=0-7
/proc/29126/task/29139/stat : 29139 (cosoco) R 29123 29126 28879 0 -1 4202560 932881 0 0 0 11905 51 0 0 20 0 9 0 436160227 4422483968 825747 33554432000 4194304 6211092 140735787152464 140639498083424 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19910656 140735787160593 140735787160685 140735787160685 140735787163598 0
Current children cumulated CPU time: 999.17 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3302988 KiB

[startup+164.409 s]
/proc/loadavg: 7.70 3.73 2.24 2/194 29147
/proc/meminfo: memFree=28101392/32770624 swapFree=66938988/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+164.5 s]
/proc/loadavg: 7.70 3.73 2.24 2/194 29147
/proc/meminfo: memFree=28101392/32770624 swapFree=66938988/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 164.506
CPU time (s): 1001.28
CPU user time (s): 991.445
CPU system time (s): 9.83219
CPU usage (%): 608.655
Max. virtual memory (cumulated for all children) (KiB): 4318832
Max. memory (cumulated for all children) (KiB): 3302992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 991.445
system time used= 9.83219
maximum resident set size= 3303192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8395484
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= 226
involuntary context switches= 7763


# summary of solver processes directly reported to runsolver:
#   pid: 29126
#   total CPU time (s): 1001.28
#   total CPU user time (s): 991.445
#   total CPU system time (s): 9.83219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.808706 second user time and 1.43998 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-16 02:54:39
IDJOB=4398067
IDBENCH=121037
IDSOLVER=2851
FILE ID=node105/4398067-1568598974
RUNJOBID= node105-1568594482-28906
PBS_JOBID= 21703417
Free space on /tmp= 60944 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t85-6.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398067-1568598974/watcher-4398067-1568598974 -o /tmp/evaluation-result-4398067-1568598974/solver-4398067-1568598974 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568594482-28906 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398067-1568598974.xml

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

MD5SUM BENCH= 28aba8525a2c57af7de5748c3b9cdf6b
RANDOM SEED=1955925234

node105.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.00
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.00
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.00
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.00
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:        31211052 kB
MemAvailable:   31846080 kB
Buffers:          175280 kB
Cached:           759708 kB
SwapCached:        66296 kB
Active:           506956 kB
Inactive:         496112 kB
Active(anon):       5672 kB
Inactive(anon):   105836 kB
Active(file):     501284 kB
Inactive(file):   390276 kB
Unevictable:      109052 kB
Mlocked:          109052 kB
SwapTotal:      67108860 kB
SwapFree:       66938988 kB
Dirty:             90432 kB
Writeback:             0 kB
AnonPages:        110120 kB
Mapped:            41688 kB
Shmem:             34792 kB
Slab:             147500 kB
SReclaimable:     118608 kB
SUnreclaim:        28892 kB
KernelStack:        3504 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 60944 MiB
End job on node105 at 2019-09-16 02:57:24