Trace number 4409220

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.0 parallelUNSAT 131.44 29.6146

General information on the benchmark

NameRandom/Random-m1-5-12-12/
rand-5-12-12-200-12442-22.xml
MD5SUM1f678c7b1175962864f0f6df2117d050
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 benchmark3.7944
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 degree76
Maximum variable degree93
Distribution of variable degrees[{"degree":76,"count":2},{"degree":78,"count":1},{"degree":80,"count":1},{"degree":81,"count":2},{"degree":82,"count":1},{"degree":83,"count":1},{"degree":89,"count":1},{"degree":90,"count":1},{"degree":91,"count":1},{"degree":93,"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 

15.52/15.02	c root propagations     : 0           
15.52/15.02	c restarts enabled, print stats at every restarts
15.52/15.02	c
15.52/15.02	c
15.52/15.02	c
15.52/15.02	c This is cosoco 2.00 --  
15.52/15.02	c
15.52/15.02	c command line: cosoco -model -nbcores=8 HOME/instance-4409220-1569819398.xml 
15.52/15.02	c ========================================[ Problem Statistics ]===========================================
15.52/15.02	c |                                                                                                       
15.52/15.02	c |  Parse time        :        14.55 s 
15.52/15.02	c |
15.52/15.02	c |               Variables: 12
15.52/15.02	c |            Domain Sizes: 12..12
15.52/15.02	c |
15.52/15.02	c |             Constraints: 200
15.52/15.02	c |                   Arity: 5..5
15.52/15.02	c | 
15.52/15.02	c |                   Types: 
15.52/15.02	c |                          Extension: 200  (nb tuples: 12442..12442) -- (shared: 0)
15.52/15.02	c |                          
15.52/15.02	c =========================================================================================================
15.52/15.02	c Parallel mode: Portfolio
15.52/15.02	c [pFactory][Group N°0] created (threads:8).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
15.52/15.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
15.52/15.02	c [pFactory][Group N°0] concurrent mode: enabled.
15.52/15.02	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
15.52/15.02	c [pFactory][Group N°0] task 7 launched on thread 0.
15.52/15.02	c [pFactory][Group N°0] task 6 launched on thread 2.
15.52/15.02	c [pFactory][Group N°0] task 5 launched on thread 1.
15.52/15.02	c [pFactory][Group N°0] task 4 launched on thread 6.
15.52/15.02	c [pFactory][Group N°0] task 3 launched on thread 7.
15.52/15.02	c [pFactory][Group N°0] task 2 launched on thread 4.
15.52/15.02	c [pFactory][Group N°0] task 1 launched on thread 3.
15.52/15.02	c [pFactory][Group N°0] task 0 launched on thread 5.
15.52/15.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.52/15.02	c root propagations     : 0           
15.52/15.02	c restarts enabled, print stats at every restarts
15.52/15.02	c
15.52/15.02	c
15.52/15.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.52/15.02	c root propagations     : 0           
15.52/15.02	c restarts enabled, print stats at every restarts
15.52/15.02	c
15.52/15.02	c
15.52/15.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.52/15.03	c root propagations     : 0           
15.52/15.03	c restarts enabled, print stats at every restarts
15.52/15.03	c
15.52/15.03	c
15.52/15.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
16.33/15.12	c root propagations     : 0           
16.33/15.12	c restarts enabled, print stats at every restarts
16.33/15.12	c
16.33/15.12	c
16.33/15.12	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
16.33/15.12	c root propagations     : 0           
16.33/15.12	c restarts enabled, print stats at every restarts
16.33/15.12	c
16.33/15.12	c
16.33/15.12	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
16.33/15.14	c root propagations     : 0           
16.33/15.14	c restarts enabled, print stats at every restarts
16.33/15.14	c
16.33/15.14	c
16.33/15.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
16.33/15.15	c root propagations     : 0           
16.33/15.15	c restarts enabled, print stats at every restarts
16.33/15.15	c
16.33/15.15	c
16.33/15.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
25.00/16.23	c 32             38             6739           1989           0              0              3   3   2      
25.00/16.26	c 32             38             6823           1806           0              0              3   3   2      
25.80/16.32	c 33             41             7052           2019           0              0              3   3   1      
25.80/16.37	c 33             41             7136           1836           0              0              3   3   1      
28.19/16.62	c 32             38             7817           2200           0              0              3   3   2      
28.19/16.64	c 32             38             6686           2125           0              0              3   3   2      
29.00/16.73	c 33             41             6946           2160           0              0              3   3   1      
29.00/16.74	c 33             41             8082           2270           0              0              3   3   1      
35.38/17.51	c 64             78             13555          3855           0              0              3   3   2      
36.18/17.61	c 65             81             13868          3885           0              0              3   3   1      
36.98/17.71	c 66             84             14184          3915           0              0              3   3   1      
36.98/17.78	c 64             78             14399          3646           0              0              3   3   2      
36.98/17.79	c 67             87             14497          3945           0              0              3   3   1      
37.82/17.88	c 65             81             14700          3676           0              0              3   3   1      
38.58/17.90	c 64             78             13390          4098           0              0              3   3   2      
38.58/17.98	c 64             78             15600          4387           0              0              3   3   2      
38.58/17.99	c 66             84             15013          3706           0              0              3   3   1      
38.58/17.99	c 65             81             13650          4133           0              0              3   3   1      
39.44/18.06	c 65             81             15865          4457           0              0              3   3   1      
39.44/18.09	c 67             87             15329          3736           0              0              3   3   1      
40.25/18.13	c 66             84             14010          4166           0              0              3   3   1      
40.25/18.14	c 66             84             16189          4505           0              0              3   3   1      
40.97/18.20	c 67             87             16454          4575           0              0              3   3   1      
40.97/18.21	c 67             87             14270          4201           0              0              3   3   1      
40.97/18.23	c 101            114            18966          6108           0              0              3   3   2      
50.55/19.47	c 101            118            23993          7642           4              0              3   3   2      
51.35/19.53	c 101            119            23421          5679           4              0              3   3   2      
52.95/19.78	c 101            120            25841          7204           2              0              3   3   2      
56.94/20.22	c 128            159            28125          7660           0              0              3   3   2      
58.54/20.41	c 128            158            30628          8739           1              0              3   3   2      
58.54/20.42	c 129            162            28628          7694           4              0              3   3   1      
58.54/20.48	c 128            158            27410          7999           1              0              3   3   2      
59.34/20.51	c 130            165            28944          7723           4              0              3   3   1      
59.34/20.59	c 129            161            31218          8797           4              0              3   3   1      
59.34/20.60	c 131            168            29257          7753           4              0              3   3   1      
60.22/20.64	c 130            164            31477          8845           4              0              3   3   1      
60.22/20.69	c 132            171            29573          7782           4              0              3   3   1      
60.22/20.69	c 129            161            27963          8030           4              0              3   3   1      
60.99/20.74	c 131            167            31896          8900           4              0              3   3   1      
60.99/20.77	c 133            174            29886          7812           4              0              3   3   1      
60.99/20.78	c 130            164            28291          8062           4              0              3   3   1      
60.99/20.79	c 132            170            32155          8948           4              0              3   3   1      
61.73/20.87	c 134            177            30202          7841           4              0              3   3   1      
61.73/20.88	c 133            173            32574          9003           4              0              3   3   1      
61.73/20.89	c 131            167            28673          8090           4              0              3   3   1      
62.53/20.94	c 134            176            32833          9051           4              0              3   3   1      
62.53/20.95	c 135            180            30515          7871           4              0              3   3   1      
62.53/20.99	c 132            170            29001          8122           4              0              3   3   1      
62.53/21.00	c 128            159            29238          6949           0              0              3   3   2      
63.40/21.03	c 135            179            33252          9106           4              0              3   3   1      
63.40/21.10	c 133            173            29383          8150           4              0              3   3   1      
64.20/21.19	c 134            176            29711          8182           4              0              3   3   1      
64.92/21.24	c 129            162            29761          7000           4              0              3   3   1      
65.71/21.30	c 135            179            30093          8210           4              0              3   3   1      
65.71/21.35	c 130            165            30119          7046           4              0              3   3   1      
66.51/21.45	c 131            168            30452          7093           4              0              3   3   1      
67.31/21.56	c 132            171            30810          7139           4              0              3   3   1      
68.11/21.66	c 133            174            31126          7168           4              0              3   3   1      
68.90/21.78	c 134            177            31515          7230           4              0              3   3   1      
69.71/21.88	c 135            180            31864          7294           4              0              3   3   1      
80.87/23.22	c 211            244            44726          13791          4              0              3   3   2      
87.33/24.04	c 211            249            51341          15218          5              0              3   3   2      
94.46/24.97	c 256            319            59155          16912          7              0              3   3   2      
94.46/24.97	c 211            253            53011          12246          6              0              3   3   2      
96.12/25.12	c 257            322            59814          16948          7              0              3   3   1      
96.84/25.21	c 258            325            60218          16969          7              0              3   3   1      
96.84/25.23	c 211            256            56798          15682          7              0              3   3   2      
96.84/25.30	c 259            328            60702          17002          7              0              3   3   1      
97.64/25.37	c 260            331            61025          17022          7              0              3   3   1      
98.44/25.45	c 261            334            61509          17055          7              0              3   3   1      
99.24/25.52	c 262            337            61832          17075          7              0              3   3   1      
100.04/25.61	c 263            340            62316          17108          7              0              3   3   1      
100.04/25.68	c 264            343            62639          17128          7              0              3   3   1      
100.84/25.77	c 265            346            63123          17161          7              0              3   3   1      
101.64/25.85	c 266            349            63446          17181          7              0              3   3   1      
102.44/25.94	c 267            352            63930          17214          7              0              3   3   1      
103.29/26.03	c 268            355            64334          17235          7              0              3   3   1      
104.11/26.14	c 269            358            64913          17269          7              0              3   3   1      
104.82/26.22	c 270            361            65273          17290          7              0              3   3   1      
105.62/26.31	c 271            364            65771          17323          7              0              3   3   1      
105.62/26.33	c 256            324            59556          15634          7              0              3   3   2      
106.41/26.46	c 256            328            62314          14637          7              0              2   3   2      
106.41/26.48	c 257            327            60071          15677          7              0              3   3   1      
107.22/26.59	c 257            331            62767          14666          7              0              3   3   1      
108.02/26.63	c 258            330            60693          15725          7              0              3   3   1      
108.81/26.72	c 258            334            63363          14696          7              0              3   3   1      
108.81/26.75	c 259            333            61217          15764          7              0              3   3   1      
109.62/26.80	c 259            337            63732          14724          7              0              3   3   1      
109.62/26.86	c 260            336            61771          15812          7              0              3   3   1      
110.42/26.90	c 260            340            64238          14753          7              0              3   3   1      
110.42/26.95	c 261            339            62205          15850          7              0              3   3   1      
110.42/26.98	c 261            343            64607          14781          7              0              3   3   1      
111.28/27.06	c 262            342            62759          15898          7              0              3   3   1      
111.28/27.08	c 262            346            65113          14810          7              0              3   3   1      
112.09/27.15	c 263            345            63193          15936          7              0              3   3   1      
112.09/27.16	c 263            349            65482          14838          7              0              3   3   1      
112.81/27.25	c 264            352            65988          14867          7              0              3   3   1      
112.81/27.26	c 264            348            63747          15984          7              0              3   3   1      
113.61/27.33	c 265            355            66357          14895          7              0              3   3   1      
113.61/27.35	c 265            351            64181          16022          7              0              3   3   1      
113.61/27.37	c 256            329            67473          15481          7              0              3   3   2      
114.41/27.43	c 266            358            66863          14924          7              0              3   3   1      
114.41/27.48	c 257            332            67918          15531          7              0              3   3   1      
115.21/27.52	c 266            354            65111          16142          7              0              3   3   1      
115.21/27.57	c 267            361            67520          15045          7              0              3   3   1      
115.21/27.59	c 258            335            68418          15577          7              0              3   3   1      
116.03/27.61	c 267            357            65513          16180          7              0              3   3   1      
116.03/27.69	c 268            364            68070          15165          7              0              3   3   1      
116.03/27.70	c 259            338            68886          15627          7              0              3   3   1      
116.80/27.74	c 332            388            75143          22761          7              0              3   3   2      
116.80/27.77	c 268            360            66444          16287          7              0              3   3   1      
116.80/27.80	c 260            341            69386          15673          7              0              3   3   1      
117.68/27.81	c 269            367            68718          15288          7              0              3   3   1      
117.68/27.86	c 269            363            66858          16325          7              0              3   3   1      
117.68/27.87	c 261            344            69772          15722          7              0              3   3   1      
118.40/27.93	c 270            370            69266          15410          7              0              3   3   1      
118.40/27.98	c 270            366            67569          16381          7              0              3   3   1      
118.40/27.99	c 262            347            70353          15769          7              0              3   3   1      
119.26/28.04	c 271            373            69913          15533          7              0              3   3   1      
119.26/28.08	c 271            369            68104          16438          7              0              3   3   1      
119.26/28.08	c 263            350            70820          15819          7              0              3   3   1      
120.07/28.18	c 264            353            71320          15865          7              0              3   3   1      
120.79/28.25	c 265            356            71706          15914          7              0              3   3   1      
121.59/28.35	c 266            359            72206          15960          7              0              3   3   1      
122.39/28.42	c 267            362            72592          16009          7              0              3   3   1      
123.19/28.51	c 268            365            73092          16055          7              0              3   3   1      
123.98/28.63	c 269            368            73616          16105          8              0              3   3   1      
125.58/28.81	c 270            371            74780          16214          9              0              3   3   1      
125.58/28.87	c 271            374            75136          16270          9              0              3   3   1      
130.37/29.47	c 332            401            89031          24486          9              0              2   3   2      
131.17/29.53	c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 2.
131.17/29.53	c [pFactory][Group N°0] Thread N°0 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°1 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°2 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°3 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°4 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°5 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°6 is joined.
131.17/29.53	c [pFactory][Group N°0] Thread N°7 is joined.
131.17/29.53	c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°4)
131.17/29.53	s UNSATISFIABLE
131.17/29.53	c restarts              : 30          
131.17/29.53	c conflicts             : 286          (2 /sec)
131.17/29.53	c decisions             : 395          (3 /sec)
131.17/29.53	c propagations          : 17495       (136 /sec)
131.17/29.53	c root propagations     : 0           
131.17/29.53	c filter calls          : 80771          (626 /sec)
131.17/29.53	c useless filter calls  : 76723          (94 %)
131.17/29.53	c Memory used           : 1728.36 MB
131.17/29.53	c CPU time              : 129.042 s
131.17/29.53	c real time             : 29.5287 s
131.17/29.53

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409220-1569819398/watcher-4409220-1569819398 -o /tmp/evaluation-result-4409220-1569819398/solver-4409220-1569819398 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409220-1569819398.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=4426, runsolver pid=4423
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 8.01 6.30 3.56 2/191 4427
/proc/meminfo: memFree=31449568/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=33592 memory=9400 CPUtime=0.1 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 2634 0 0 0 10 0 0 0 20 0 1 0 558188352 34398208 2350 33554432000 4194304 6211132 140721639377840 140721639375112 5707948 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 8398 2350 809 493 0 1703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33592 KiB
Current children cumulated memory: 9400 KiB

[startup+0.209255 s]*
/proc/loadavg: 8.01 6.30 3.56 2/191 4427
/proc/meminfo: memFree=31445308/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=40792 memory=15732 CPUtime=0.2 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 4273 0 0 0 20 0 0 0 20 0 1 0 558188352 41771008 3933 33554432000 4194304 6211132 140721639377840 140721639375112 5240361 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 10198 3933 809 493 0 3503 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40792 KiB
Current children cumulated memory: 15732 KiB

[startup+0.30934 s]*
/proc/loadavg: 8.01 6.30 3.56 2/191 4427
/proc/meminfo: memFree=31435900/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=49400 memory=23652 CPUtime=0.3 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 6237 0 0 0 30 0 0 0 20 0 1 0 558188352 50585600 5913 33554432000 4194304 6211132 140721639377840 140721639375112 140205240894592 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 12350 5913 809 493 0 5655 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49400 KiB
Current children cumulated memory: 23652 KiB

[startup+0.700336 s]
/proc/loadavg: 8.01 6.30 3.56 2/191 4427
/proc/meminfo: memFree=31426228/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=75108 memory=47148 CPUtime=0.68 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 12121 0 0 0 67 1 0 0 20 0 1 0 558188352 76910592 11787 33554432000 4194304 6211132 140721639377840 140721639375112 140205240894592 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 18777 11787 809 493 0 12082 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 47148 KiB

[startup+1.50035 s]
/proc/loadavg: 8.01 6.30 3.56 2/191 4427
/proc/meminfo: memFree=31393292/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=131668 memory=98892 CPUtime=1.49 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 25064 0 0 0 146 3 0 0 20 0 1 0 558188352 134828032 24723 33554432000 4194304 6211132 140721639377840 140721639375112 5814188 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 32917 24723 809 493 0 26222 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131668 KiB
Current children cumulated memory: 98892 KiB

[startup+3.10956 s]
/proc/loadavg: 7.45 6.21 3.54 2/191 4427
/proc/meminfo: memFree=31266228/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=244148 memory=201824 CPUtime=3.1 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 51233 0 0 0 304 6 0 0 20 0 1 0 558188352 250007552 50456 33554432000 4194304 6211132 140721639377840 140721639373496 140205224901504 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 61037 50456 810 493 0 54342 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 244148 KiB
Current children cumulated memory: 201824 KiB

[startup+6.30032 s]
/proc/loadavg: 7.45 6.21 3.54 2/191 4427
/proc/meminfo: memFree=31071400/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=465888 memory=406016 CPUtime=6.29 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 102593 0 0 0 616 13 0 0 20 0 1 0 558188352 477069312 101504 33554432000 4194304 6211132 140721639377840 140721639375112 5818619 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 116472 101504 810 493 0 109777 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 465888 KiB
Current children cumulated memory: 406016 KiB

[startup+12.7003 s]
/proc/loadavg: 6.93 6.13 3.53 2/191 4427
/proc/meminfo: memFree=30689892/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=909116 memory=811744 CPUtime=12.69 cores=0-7
/proc/4426/stat : 4426 (cosoco) R 4423 4426 3925 0 -1 4202496 204229 0 0 0 1242 27 0 0 20 0 1 0 558188352 930934784 202936 33554432000 4194304 6211132 140721639377840 140721639375112 5240361 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 227279 202936 810 493 0 220584 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 909116 KiB
Current children cumulated memory: 811744 KiB

[startup+25.501 s]
/proc/loadavg: 6.62 6.09 3.56 9/199 4437
/proc/meminfo: memFree=30352604/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=1802620 memory=1104808 CPUtime=99.24 cores=0-7
/proc/4426/stat : 4426 (cosoco) S 4423 4426 3925 0 -1 1077944320 1539513 0 0 0 9706 218 0 0 20 0 9 0 558188352 1845882880 276202 33554432000 4194304 6211132 140721639377840 140721639376096 140205240872695 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 450655 276202 854 493 0 443960 0
[pid=4426/tid=4428] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.55 cores=0-7
/proc/4426/task/4428/stat : 4428 (cosoco) R 4423 4426 3925 0 -1 4202560 147662 0 0 0 1018 37 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205216943200 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4429] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.55 cores=0-7
/proc/4426/task/4429/stat : 4429 (cosoco) R 4423 4426 3925 0 -1 4202560 142876 0 0 0 1049 6 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205208550496 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4430] ppid=4423 vsize=1802620 memory=1416 CPUtime=10.54 cores=0-7
/proc/4426/task/4430/stat : 4430 (cosoco) R 4423 4426 3925 0 -1 4202560 150792 0 0 0 1017 37 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205200157792 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4431] ppid=4423 vsize=1802620 memory=0 CPUtime=10.4 cores=0-7
/proc/4426/task/4431/stat : 4431 (cosoco) R 4423 4426 3925 0 -1 4202560 158093 0 0 0 1032 8 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205191765088 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4432] ppid=4423 vsize=1802620 memory=0 CPUtime=10.55 cores=0-7
/proc/4426/task/4432/stat : 4432 (cosoco) R 4423 4426 3925 0 -1 4202560 156441 0 0 0 1021 34 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205183372384 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4433] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.53 cores=0-7
/proc/4426/task/4433/stat : 4433 (cosoco) R 4423 4426 3925 0 -1 4202560 153439 0 0 0 1044 9 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205174979680 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4434] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.55 cores=0-7
/proc/4426/task/4434/stat : 4434 (cosoco) R 4423 4426 3925 0 -1 4202560 154172 0 0 0 1047 8 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205166586976 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4435] ppid=4423 vsize=1802620 memory=988 CPUtime=10.55 cores=0-7
/proc/4426/task/4435/stat : 4435 (cosoco) R 4423 4426 3925 0 -1 4202560 158493 0 0 0 1019 36 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205158194272 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
Current children cumulated CPU time: 99.24 s
Current children cumulated vsize: 1802620 KiB
Current children cumulated memory: 1104808 KiB

[startup+29.6145 s]
# the end of solver process 4426 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=129.042 s, system=2.39764 s

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

[startup+25.601 s]
/proc/loadavg: 6.62 6.09 3.56 9/199 4437
/proc/meminfo: memFree=30352604/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=1802620 memory=1104808 CPUtime=100.04 cores=0-7
/proc/4426/stat : 4426 (cosoco) S 4423 4426 3925 0 -1 1077944320 1539513 0 0 0 9786 218 0 0 20 0 9 0 558188352 1845882880 276202 33554432000 4194304 6211132 140721639377840 140721639376096 140205240872695 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 450655 276202 854 493 0 443960 0
[pid=4426/tid=4428] ppid=4423 vsize=1802620 memory=1416 CPUtime=10.65 cores=0-7
/proc/4426/task/4428/stat : 4428 (cosoco) R 4423 4426 3925 0 -1 4202560 147662 0 0 0 1028 37 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205216943200 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4429] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.65 cores=0-7
/proc/4426/task/4429/stat : 4429 (cosoco) R 4423 4426 3925 0 -1 4202560 142876 0 0 0 1059 6 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205208550496 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4430] ppid=4423 vsize=1802620 memory=3616 CPUtime=10.64 cores=0-7
/proc/4426/task/4430/stat : 4430 (cosoco) R 4423 4426 3925 0 -1 4202560 150792 0 0 0 1027 37 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205200157792 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4431] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.5 cores=0-7
/proc/4426/task/4431/stat : 4431 (cosoco) R 4423 4426 3925 0 -1 4202560 158093 0 0 0 1042 8 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205191765088 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4432] ppid=4423 vsize=1802620 memory=9764 CPUtime=10.65 cores=0-7
/proc/4426/task/4432/stat : 4432 (cosoco) R 4423 4426 3925 0 -1 4202560 156441 0 0 0 1031 34 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205183372384 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4433] ppid=4423 vsize=1802620 memory=9045 CPUtime=10.63 cores=0-7
/proc/4426/task/4433/stat : 4433 (cosoco) R 4423 4426 3925 0 -1 4202560 153439 0 0 0 1054 9 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205174979680 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4434] ppid=4423 vsize=1802620 memory=945 CPUtime=10.65 cores=0-7
/proc/4426/task/4434/stat : 4434 (cosoco) R 4423 4426 3925 0 -1 4202560 154172 0 0 0 1057 8 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205166586976 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4435] ppid=4423 vsize=1802620 memory=1104808 CPUtime=10.65 cores=0-7
/proc/4426/task/4435/stat : 4435 (cosoco) R 4423 4426 3925 0 -1 4202560 158493 0 0 0 1029 36 0 0 20 0 9 0 558189846 1845882880 276202 33554432000 4194304 6211132 140721639377840 140205158194272 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
Current children cumulated CPU time: 100.04 s
Current children cumulated vsize: 1802620 KiB
Current children cumulated memory: 1104808 KiB

[startup+27.201 s]
/proc/loadavg: 6.62 6.09 3.56 9/199 4437
/proc/meminfo: memFree=30350248/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=1802620 memory=1106000 CPUtime=112.81 cores=0-7
/proc/4426/stat : 4426 (cosoco) S 4423 4426 3925 0 -1 1077944320 1621832 0 0 0 11058 223 0 0 20 0 9 0 558188352 1845882880 276500 33554432000 4194304 6211132 140721639377840 140721639376096 140205240872695 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 450655 276500 854 493 0 443960 0
[pid=4426/tid=4428] ppid=4423 vsize=1802620 memory=10604 CPUtime=12.24 cores=0-7
/proc/4426/task/4428/stat : 4428 (cosoco) R 4423 4426 3925 0 -1 4202560 155697 0 0 0 1186 38 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205216943200 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4429] ppid=4423 vsize=1802620 memory=1736 CPUtime=12.25 cores=0-7
/proc/4426/task/4429/stat : 4429 (cosoco) R 4423 4426 3925 0 -1 4202560 154778 0 0 0 1218 7 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205208550496 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4430] ppid=4423 vsize=1802620 memory=-7035114785800479027 CPUtime=12.25 cores=0-7
/proc/4426/task/4430/stat : 4430 (cosoco) R 4423 4426 3925 0 -1 4202560 162801 0 0 0 1187 38 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205200157792 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4431] ppid=4423 vsize=1802620 memory=636 CPUtime=12.1 cores=0-7
/proc/4426/task/4431/stat : 4431 (cosoco) R 4423 4426 3925 0 -1 4202560 171286 0 0 0 1201 9 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205191765088 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4432] ppid=4423 vsize=1802620 memory=2836 CPUtime=12.25 cores=0-7
/proc/4426/task/4432/stat : 4432 (cosoco) R 4423 4426 3925 0 -1 4202560 163531 0 0 0 1190 35 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205183372384 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4433] ppid=4423 vsize=1802620 memory=1056 CPUtime=12.21 cores=0-7
/proc/4426/task/4433/stat : 4433 (cosoco) R 4423 4426 3925 0 -1 4202560 164065 0 0 0 1211 10 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205174979680 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4434] ppid=4423 vsize=1802620 memory=1568 CPUtime=12.25 cores=0-7
/proc/4426/task/4434/stat : 4434 (cosoco) R 4423 4426 3925 0 -1 4202560 161624 0 0 0 1217 8 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205166586976 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4435] ppid=4423 vsize=1802620 memory=1064 CPUtime=12.25 cores=0-7
/proc/4426/task/4435/stat : 4435 (cosoco) R 4423 4426 3925 0 -1 4202560 170505 0 0 0 1188 37 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205158194272 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
Current children cumulated CPU time: 112.81 s
Current children cumulated vsize: 1802620 KiB
Current children cumulated memory: 1106000 KiB

[startup+28.801 s]
/proc/loadavg: 6.73 6.12 3.58 9/199 4437
/proc/meminfo: memFree=30350688/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=1802620 memory=1106000 CPUtime=125.58 cores=0-7
/proc/4426/stat : 4426 (cosoco) S 4423 4426 3925 0 -1 1077944320 1737645 0 0 0 12328 230 0 0 20 0 9 0 558188352 1845882880 276500 33554432000 4194304 6211132 140721639377840 140721639376096 140205240872695 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 450655 276500 854 493 0 443960 0
[pid=4426/tid=4428] ppid=4423 vsize=1802620 memory=1106000 CPUtime=13.84 cores=0-7
/proc/4426/task/4428/stat : 4428 (cosoco) R 4423 4426 3925 0 -1 4202560 170880 0 0 0 1345 39 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205216943200 5039328 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4429] ppid=4423 vsize=1802620 memory=0 CPUtime=13.85 cores=0-7
/proc/4426/task/4429/stat : 4429 (cosoco) R 4423 4426 3925 0 -1 4202560 168316 0 0 0 1377 8 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205208550496 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4430] ppid=4423 vsize=1802620 memory=55 CPUtime=13.85 cores=0-7
/proc/4426/task/4430/stat : 4430 (cosoco) R 4423 4426 3925 0 -1 4202560 178052 0 0 0 1346 39 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205200157792 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4431] ppid=4423 vsize=1802620 memory=0 CPUtime=13.7 cores=0-7
/proc/4426/task/4431/stat : 4431 (cosoco) R 4423 4426 3925 0 -1 4202560 184273 0 0 0 1360 10 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205191765088 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4432] ppid=4423 vsize=1802620 memory=7519147063037159508 CPUtime=13.85 cores=0-7
/proc/4426/task/4432/stat : 4432 (cosoco) R 4423 4426 3925 0 -1 4202560 178725 0 0 0 1349 36 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205183372384 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4433] ppid=4423 vsize=1802620 memory=4012 CPUtime=13.79 cores=0-7
/proc/4426/task/4433/stat : 4433 (cosoco) R 4423 4426 3925 0 -1 4202560 179775 0 0 0 1368 11 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205174979680 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4434] ppid=4423 vsize=1802620 memory=1232 CPUtime=13.85 cores=0-7
/proc/4426/task/4434/stat : 4434 (cosoco) R 4423 4426 3925 0 -1 4202560 176618 0 0 0 1376 9 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205166586976 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4435] ppid=4423 vsize=1802620 memory=3616 CPUtime=13.85 cores=0-7
/proc/4426/task/4435/stat : 4435 (cosoco) R 4423 4426 3925 0 -1 4202560 183461 0 0 0 1348 37 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205158194272 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
Current children cumulated CPU time: 125.58 s
Current children cumulated vsize: 1802620 KiB
Current children cumulated memory: 1106000 KiB

[startup+29.201 s]
/proc/loadavg: 6.73 6.12 3.58 9/199 4437
/proc/meminfo: memFree=30350564/32770624 swapFree=67002192/67108860
[pid=4426] ppid=4423 vsize=1802620 memory=1106000 CPUtime=128.77 cores=0-7
/proc/4426/stat : 4426 (cosoco) S 4423 4426 3925 0 -1 1077944320 1737661 0 0 0 12647 230 0 0 20 0 9 0 558188352 1845882880 276500 33554432000 4194304 6211132 140721639377840 140721639376096 140205240872695 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
/proc/4426/statm: 450655 276500 854 493 0 443960 0
[pid=4426/tid=4428] ppid=4423 vsize=1802620 memory=15255935127914931 CPUtime=14.24 cores=0-7
/proc/4426/task/4428/stat : 4428 (cosoco) R 4423 4426 3925 0 -1 4202560 170880 0 0 0 1385 39 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205216943200 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4429] ppid=4423 vsize=1802620 memory=2024 CPUtime=14.25 cores=0-7
/proc/4426/task/4429/stat : 4429 (cosoco) R 4423 4426 3925 0 -1 4202560 168316 0 0 0 1417 8 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205208550496 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4430] ppid=4423 vsize=1802620 memory=288230574492221466 CPUtime=14.25 cores=0-7
/proc/4426/task/4430/stat : 4430 (cosoco) R 4423 4426 3925 0 -1 4202560 178052 0 0 0 1386 39 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205200157792 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4431] ppid=4423 vsize=1802620 memory=288230621803970871 CPUtime=14.1 cores=0-7
/proc/4426/task/4431/stat : 4431 (cosoco) R 4423 4426 3925 0 -1 4202560 184273 0 0 0 1400 10 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205191765088 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4432] ppid=4423 vsize=1802620 memory=15255935127914931 CPUtime=14.25 cores=0-7
/proc/4426/task/4432/stat : 4432 (cosoco) R 4423 4426 3925 0 -1 4202560 178725 0 0 0 1389 36 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205183372384 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4433] ppid=4423 vsize=1802620 memory=6568 CPUtime=14.18 cores=0-7
/proc/4426/task/4433/stat : 4433 (cosoco) R 4423 4426 3925 0 -1 4202560 179775 0 0 0 1407 11 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205174979680 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4434] ppid=4423 vsize=1802620 memory=1556 CPUtime=14.25 cores=0-7
/proc/4426/task/4434/stat : 4434 (cosoco) R 4423 4426 3925 0 -1 4202560 176634 0 0 0 1416 9 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205166586976 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
[pid=4426/tid=4435] ppid=4423 vsize=1802620 memory=500 CPUtime=14.25 cores=0-7
/proc/4426/task/4435/stat : 4435 (cosoco) R 4423 4426 3925 0 -1 4202560 183461 0 0 0 1388 37 0 0 20 0 9 0 558189846 1845882880 276500 33554432000 4194304 6211132 140721639377840 140205158194272 5039042 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40955904 140721639384081 140721639384173 140721639384173 140721639387086 0
Current children cumulated CPU time: 128.77 s
Current children cumulated vsize: 1802620 KiB
Current children cumulated memory: 1106000 KiB

[startup+29.6006 s]*
/proc/loadavg: 6.73 6.12 3.58 2/191 4437
/proc/meminfo: memFree=31254536/32770624 swapFree=67002192/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): 29.6146
CPU time (s): 131.44
CPU user time (s): 129.042
CPU system time (s): 2.39764
CPU usage (%): 443.835
Max. virtual memory (cumulated for all children) (KiB): 1802620
Max. memory (cumulated for all children) (KiB): 1106012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.042
system time used= 2.39764
maximum resident set size= 1106124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1753456
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= 153
involuntary context switches= 1263


# summary of solver processes directly reported to runsolver:
#   pid: 4426
#   total CPU time (s): 131.44
#   total CPU user time (s): 129.042
#   total CPU system time (s): 2.39764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.150256 second user time and 0.286925 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-30 06:55:53
IDJOB=4409220
IDBENCH=120983
IDSOLVER=2877
FILE ID=node136/4409220-1569819398
RUNJOBID= node136-1569818076-3952
PBS_JOBID= 21705924
Free space on /tmp= 62004 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-22.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409220-1569819398/watcher-4409220-1569819398 -o /tmp/evaluation-result-4409220-1569819398/solver-4409220-1569819398 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409220-1569819398.xml

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

MD5SUM BENCH= 1f678c7b1175962864f0f6df2117d050
RANDOM SEED=250653746

node136.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.54
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.54
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.54
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31455128 kB
MemAvailable:   31852544 kB
Buffers:           99900 kB
Cached:           618600 kB
SwapCached:         3864 kB
Active:           506032 kB
Inactive:         221324 kB
Active(anon):       4476 kB
Inactive(anon):    86024 kB
Active(file):     501556 kB
Inactive(file):   135300 kB
Unevictable:      107484 kB
Mlocked:          107484 kB
SwapTotal:      67108860 kB
SwapFree:       67002192 kB
Dirty:             31460 kB
Writeback:             0 kB
AnonPages:        113792 kB
Mapped:            26908 kB
Shmem:             72848 kB
Slab:             182348 kB
SReclaimable:     152788 kB
SUnreclaim:        29560 kB
KernelStack:        3680 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 62000 MiB
End job on node136 at 2019-09-30 06:56:23