Trace number 4409229

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 139.666 18.0631

General information on the benchmark

NameCrossword/
Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-14-15.xml
MD5SUM8fe4d4ff25aed39a536d9c0933ae8bb1
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 benchmark4.05663
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints29
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":210}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":210}]
Minimum constraint arity14
Maximum constraint arity15
Distribution of constraint arities[{"arity":14,"count":15},{"arity":15,"count":14}]
Number of extensional constraints29
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":29}]
Optimization problemNO
Type of objective

Solver Data 

1.24/0.78	c root propagations     : 551         
1.24/0.78	c restarts enabled, print stats at every restarts
1.24/0.78	c
1.24/0.78	c
1.24/0.78	c
1.24/0.78	c This is cosoco 2.00 --  
1.24/0.78	c
1.24/0.78	c command line: cosoco -model -nbcores=8 HOME/instance-4409229-1569839070.xml 
1.24/0.78	c ========================================[ Problem Statistics ]===========================================
1.24/0.78	c |                                                                                                       
1.24/0.78	c |  Parse time        :         0.59 s 
1.24/0.78	c |
1.24/0.78	c |               Variables: 210
1.24/0.78	c |            Domain Sizes: 26..26
1.24/0.78	c |
1.24/0.78	c |             Constraints: 29
1.24/0.78	c |                   Arity: 14..15
1.24/0.78	c | 
1.24/0.78	c |                   Types: 
1.24/0.78	c |                          Extension: 29  (nb tuples: 13821..23538) -- (shared: 216)
1.24/0.78	c |                          
1.24/0.78	c =========================================================================================================
1.24/0.78	c Parallel mode: Portfolio
1.24/0.78	c [pFactory][Group N°0] created (threads:8).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1.24/0.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1.24/0.78	c [pFactory][Group N°0] concurrent mode: enabled.
1.24/0.78	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1.24/0.78	c [pFactory][Group N°0] task 7 launched on thread 0.
1.24/0.78	c [pFactory][Group N°0] task 6 launched on thread 1.
1.24/0.78	c [pFactory][Group N°0] task 5 launched on thread 2.
1.24/0.78	c [pFactory][Group N°0] task 4 launched on thread 6.
1.24/0.78	c [pFactory][Group N°0] task 3 launched on thread 3.
1.24/0.78	c [pFactory][Group N°0] task 2 launched on thread 7.
1.24/0.78	c [pFactory][Group N°0] task 1 launched on thread 4.
1.24/0.78	c [pFactory][Group N°0] task 0 launched on thread 5.
1.24/0.78	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.78	c root propagations     : 551         
1.24/0.78	c restarts enabled, print stats at every restarts
1.24/0.78	c
1.24/0.78	c
1.24/0.78	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.78	c root propagations     : 551         
1.24/0.78	c restarts enabled, print stats at every restarts
1.24/0.78	c
1.24/0.78	c
1.24/0.78	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.79	c root propagations     : 551         
1.24/0.79	c restarts enabled, print stats at every restarts
1.24/0.79	c
1.24/0.79	c
1.24/0.79	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.79	c root propagations     : 551         
1.24/0.79	c restarts enabled, print stats at every restarts
1.24/0.79	c
1.24/0.79	c
1.24/0.79	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.79	c root propagations     : 551         
1.24/0.79	c restarts enabled, print stats at every restarts
1.24/0.79	c
1.24/0.79	c
1.24/0.79	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.79	c root propagations     : 551         
1.24/0.79	c restarts enabled, print stats at every restarts
1.24/0.79	c
1.24/0.79	c
1.24/0.79	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.24/0.80	c root propagations     : 551         
1.24/0.80	c restarts enabled, print stats at every restarts
1.24/0.80	c
1.24/0.80	c
1.24/0.80	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.04/0.81	c 0              2              229            700            162            0              0   0   0      
2.04/0.81	c 0              2              232            682            162            0              0   0   0      
2.04/0.81	c 0              2              233            692            162            0              0   0   0      
7.63/1.54	c 32             82             2627           47767          162            0              4   17   13    
8.43/1.67	c 33             86             2756           50314          162            0              4   4   2      
9.24/1.80	c 32             81             2931           55860          162            0              3   17   12    
10.03/1.88	c 33             84             3022           57800          162            0              3   3   1      
12.50/2.19	c 32             57             2486           56286          162            0              1   7   3      
13.22/2.21	c 33             58             2516           58855          162            0              1   1   0      
13.22/2.27	c 32             60             2235           53835          162            0              1   9   5      
14.02/2.31	c 33             61             2263           55463          162            0              1   1   0      
18.02/2.85	c 101            219            7143           122420         162            0              2   17   7     
19.68/3.09	c 64             136            4526           103553         162            0              2   9   4      
21.20/3.24	c 65             142            4693           104925         162            0              6   6   3      
22.00/3.32	c 66             144            4751           106815         162            0              2   2   1      
22.80/3.40	c 67             146            4816           108361         162            0              2   2   1      
24.40/3.61	c 64             117            5281           117099         162            0              1   6   3      
25.21/3.73	c 65             120            5397           118211         162            0              3   3   1      
26.01/3.81	c 64             114            4475           106978         162            0              1   11   6     
26.01/3.84	c 64             157            5783           122838         162            0              2   17   7     
26.01/3.84	c 66             123            5507           120370         162            0              3   3   1      
26.01/3.86	c 65             115            4502           109260         162            0              1   1   0      
26.01/3.89	c 66             116            4524           111061         162            0              1   1   0      
26.80/3.93	c 67             117            4553           113712         162            0              1   1   0      
26.80/3.98	c 67             132            5741           124151         162            0              9   9   4      
28.47/4.16	c 65             171            6154           124507         162            0              14   14   7    
29.19/4.29	c 66             174            6292           126283         162            0              3   3   1      
31.59/4.54	c 67             181            6592           130170         162            0              7   7   3      
33.99/4.88	c 101            175            9379           185391         162            0              3   16   5     
41.17/5.75	c 101            178            7592           180817         162            0              3   10   5     
41.97/5.89	c 101            175            6752           182318         162            0              1   11   6     
49.15/6.78	c 128            253            9139           216729         162            0              2   15   7     
49.95/6.89	c 129            255            9242           219524         162            0              2   2   1      
50.75/6.92	c 130            256            9293           221250         162            0              1   1   0      
50.75/6.95	c 131            257            9316           222488         162            0              1   1   0      
50.75/6.99	c 128            240            9648           222762         162            0              1   12   5     
51.62/7.04	c 129            241            9702           226488         162            0              1   1   0      
51.62/7.05	c 132            260            9405           223766         162            0              3   3   1      
52.42/7.13	c 133            262            9465           225296         162            0              2   2   1      
52.42/7.16	c 130            244            9900           231997         162            0              3   3   1      
52.42/7.19	c 134            264            9501           226697         162            0              2   2   1      
53.14/7.22	c 131            245            9953           233646         162            0              1   1   0      
53.14/7.26	c 132            246            9983           236335         162            0              1   1   0      
53.14/7.27	c 128            240            8879           221982         162            0              1   16   7     
53.14/7.28	c 135            266            9561           228226         162            0              2   2   1      
53.94/7.31	c 129            241            8913           224187         162            0              1   1   0      
53.94/7.33	c 130            242            8932           226002         162            0              1   1   0      
53.94/7.37	c 131            243            8958           227370         162            0              1   1   0      
53.94/7.38	c 133            249            10116          238568         162            0              3   3   1      
55.55/7.52	c 134            252            10267          240425         162            0              3   3   1      
55.55/7.57	c 132            246            9190           230804         162            0              3   3   1      
56.35/7.62	c 133            248            9232           232514         162            0              2   2   1      
57.14/7.71	c 135            256            10507          242060         162            0              4   4   2      
57.94/7.83	c 134            255            9469           234193         162            0              7   7   3      
58.74/7.92	c 211            400            13619          298063         162            0              1   9   5      
59.61/8.03	c 135            260            9686           236792         162            0              5   5   2      
71.51/9.58	c 211            377            18450          392205         162            0              3   15   5     
71.51/9.59	c 128            362            13790          271253         162            0              1   18   7     
72.31/9.69	c 129            366            13901          272614         162            0              4   4   2      
73.11/9.79	c 130            371            13995          273677         162            0              5   5   2      
73.91/9.89	c 131            374            14073          274569         162            0              3   3   1      
74.70/10.00	c 132            377            14165          275843         162            0              3   3   1      
75.56/10.10	c 133            380            14241          276733         162            0              3   3   1      
77.09/10.20	c 134            383            14329          278004         162            0              3   3   1      
77.89/10.31	c 135            386            14405          278894         162            0              3   3   1      
98.65/12.97	c 211            414            17572          390464         162            0              2   17   7     
98.65/13.00	c 211            399            16272          390849         162            0              2   12   6     
105.04/13.78	c 332            623            21161          492789         162            0              1   17   6     
105.84/13.87	c 256            482            18356          433254         162            0              2   17   7     
106.64/13.93	c 257            483            18390          433976         162            0              1   1   0      
107.50/14.03	c 258            488            18539          436030         162            0              5   5   2      
108.31/14.13	c 259            493            18634          437612         162            0              5   5   2      
108.31/14.17	c 260            494            18684          439527         162            0              1   1   0      
108.31/14.19	c 261            495            18698          440892         162            0              1   1   0      
109.02/14.29	c 262            502            18806          442091         162            0              7   7   3      
109.82/14.33	c 263            503            18832          443709         162            0              1   1   0      
109.82/14.35	c 256            483            18178          432674         162            0              2   16   7     
110.62/14.44	c 264            510            19048          447542         162            0              7   7   3      
110.62/14.44	c 257            484            18268          433901         162            0              1   1   0      
111.42/14.54	c 265            517            19158          448737         162            0              7   7   3      
111.42/14.55	c 266            518            19166          449051         162            0              1   1   0      
111.42/14.57	c 258            490            18445          435899         162            0              6   6   3      
111.42/14.58	c 267            519            19188          449689         162            0              1   1   0      
112.22/14.67	c 268            524            19311          451951         162            0              5   5   2      
112.22/14.68	c 259            497            18552          437093         162            0              7   7   3      
113.02/14.74	c 260            498            18599          439508         162            0              1   1   0      
113.02/14.76	c 261            499            18626          442176         162            0              1   1   0      
113.82/14.81	c 262            500            18679          444621         162            0              1   1   0      
113.82/14.82	c 269            531            19500          454670         162            0              7   7   3      
113.82/14.86	c 263            501            18741          446431         162            0              1   1   0      
113.82/14.88	c 264            502            18756          447659         162            0              1   1   0      
114.62/14.90	c 265            503            18777          448783         162            0              1   1   0      
114.62/15.00	c 266            508            18914          450358         162            0              5   5   2      
115.48/15.01	c 270            538            19732          458893         162            0              7   7   3      
116.29/15.13	c 267            514            19044          451442         162            0              6   6   3      
116.29/15.15	c 271            544            19896          460812         162            0              6   6   3      
117.01/15.22	c 256            538            20554          468204         162            0              1   17   7     
117.01/15.23	c 268            519            19180          453017         162            0              5   5   2      
117.01/15.28	c 257            539            20593          469060         162            0              1   1   0      
117.80/15.35	c 258            544            20707          471137         162            0              5   5   2      
117.80/15.36	c 269            525            19306          454101         162            0              6   6   3      
118.60/15.47	c 270            530            19447          455437         162            0              5   5   2      
119.40/15.55	c 259            554            21008          474526         162            0              10   10   5    
119.40/15.57	c 260            555            21036          476033         162            0              1   1   0      
119.40/15.59	c 271            536            19589          457088         162            0              6   6   3      
121.00/15.79	c 261            564            21346          480684         162            0              9   9   4      
121.80/15.88	c 332            593            28951          603765         162            0              2   12   6     
122.60/16.00	c 262            573            21624          485700         162            0              9   9   4      
124.99/16.25	c 263            582            21954          490734         162            0              9   9   4      
126.59/16.45	c 264            591            22220          495689         162            0              9   9   4      
128.19/16.68	c 265            600            22545          500725         162            0              9   9   4      
129.79/16.88	c 266            609            22809          505715         162            0              9   9   4      
131.45/17.10	c 267            618            23125          510752         162            0              9   9   4      
133.77/17.30	c 268            627            23385          515398         162            0              9   9   4      
135.37/17.53	c 269            636            23702          520435         162            0              9   9   4      
136.97/17.72	c 270            645            23966          525425         162            0              9   9   4      
138.57/17.95	c 271            654            24283          530462         162            0              9   9   4      
139.43/18.05	c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7.
139.43/18.05	c [pFactory][Group N°0] Thread N°0 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°1 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°2 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°3 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°4 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°5 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°6 is joined.
139.43/18.05	c [pFactory][Group N°0] Thread N°7 is joined.
139.43/18.05	c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0)
139.43/18.05	s UNSATISFIABLE
139.43/18.05	c restarts              : 31          
139.43/18.05	c conflicts             : 319          (2 /sec)
139.43/18.05	c decisions             : 656          (5 /sec)
139.43/18.05	c propagations          : 543373      (3895 /sec)
139.43/18.05	c root propagations     : 551         
139.43/18.05	c filter calls          : 23634          (169 /sec)
139.43/18.05	c useless filter calls  : 7864           (33 %)
139.43/18.05	c Memory used           : 631.23 MB
139.43/18.05	c CPU time              : 139.492 s
139.43/18.05	c real time             : 18.0544 s
139.43/18.05

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409229-1569839070/watcher-4409229-1569839070 -o /tmp/evaluation-result-4409229-1569839070/solver-4409229-1569839070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569839018-21981 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409229-1569839070.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
solver pid=tchdog thread7.x86_64
, 
solver pid=tchdog thread7.x86_64
, 
22322, runsolver pid=22319
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 7.29 8.64 8.60 2/193 22323
/proc/meminfo: memFree=31897040/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=28884 memory=5008 CPUtime=0.1 cores=0-7
/proc/22322/stat : 22322 (cosoco) R 22319 22322 21954 0 -1 4202496 1473 0 0 0 10 0 0 0 20 0 1 0 560179442 29577216 1252 33554432000 4194304 6211132 140727392358624 140727392355160 140238160423909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 7221 1252 805 493 0 526 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28884 KiB
Current children cumulated memory: 5008 KiB

[startup+0.208872 s]*
/proc/loadavg: 7.29 8.64 8.60 2/193 22323
/proc/meminfo: memFree=31892080/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=36900 memory=13048 CPUtime=0.21 cores=0-7
/proc/22322/stat : 22322 (cosoco) R 22319 22322 21954 0 -1 4202496 3525 0 0 0 21 0 0 0 20 0 1 0 560179442 37785600 3196 33554432000 4194304 6211132 140727392358624 140727392355160 140238160423909 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 9225 3262 811 493 0 2530 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36900 KiB
Current children cumulated memory: 13048 KiB

[startup+0.308684 s]*
/proc/loadavg: 7.29 8.64 8.60 2/193 22323
/proc/meminfo: memFree=31885160/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=41196 memory=17292 CPUtime=0.3 cores=0-7
/proc/22322/stat : 22322 (cosoco) R 22319 22322 21954 0 -1 4202496 4668 0 0 0 30 0 0 0 20 0 1 0 560179442 42184704 4323 33554432000 4194304 6211132 140727392358624 140727392355896 5814158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 10299 4323 814 493 0 3604 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41196 KiB
Current children cumulated memory: 17292 KiB

[startup+0.700747 s]
/proc/loadavg: 7.29 8.64 8.60 2/193 22323
/proc/meminfo: memFree=31885436/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=69504 CPUtime=1.24 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 16904 0 0 0 123 1 0 0 20 0 9 0 560179442 695463936 17376 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 17376 853 493 0 163096 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 69504 KiB

[startup+1.50074 s]
/proc/loadavg: 7.43 8.65 8.60 9/201 22331
/proc/meminfo: memFree=31832044/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=71552 CPUtime=7.63 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 17088 0 0 0 762 1 0 0 20 0 9 0 560179442 695463936 17888 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 17888 853 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=576460756329955604 CPUtime=0.88 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 31 0 0 0 88 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238152273296 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=288230621904647454 CPUtime=0.87 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 24 0 0 0 87 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238143880592 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=288230376155895960 CPUtime=0.86 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 28 0 0 0 86 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238135487888 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=0 CPUtime=0.88 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 32 0 0 0 88 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238127094880 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=0 CPUtime=0.88 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 26 0 0 0 88 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238118702480 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=0.88 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 28 0 0 0 88 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238110309472 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=0 CPUtime=0.88 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 26 0 0 0 88 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238101917072 5039125 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=-6800859132029471843 CPUtime=0.88 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 35 0 0 0 88 0 0 0 20 0 9 0 560179504 695463936 17888 33554432000 4194304 6211132 140727392358624 140238093524064 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 71552 KiB

[startup+3.11075 s]
/proc/loadavg: 7.43 8.65 8.60 9/201 22331
/proc/meminfo: memFree=31831348/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72480 CPUtime=20.48 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 32165 0 0 0 2039 9 0 0 20 0 9 0 560179442 695463936 18120 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18120 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=0 CPUtime=2.48 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 1774 0 0 0 247 1 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238152273296 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=0 CPUtime=2.47 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 1873 0 0 0 247 0 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238143880592 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=0 CPUtime=2.44 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 1917 0 0 0 243 1 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238135487584 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=0 CPUtime=2.48 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 1979 0 0 0 248 0 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238127094880 5039007 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=3833182540689326634 CPUtime=2.48 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 1890 0 0 0 246 2 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238118702176 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=0 CPUtime=2.49 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 1977 0 0 0 249 0 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238110309472 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=0 CPUtime=2.48 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 1930 0 0 0 247 1 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238101917072 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=0 CPUtime=2.49 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 1967 0 0 0 249 0 0 0 20 0 9 0 560179504 695463936 18120 33554432000 4194304 6211132 140727392358624 140238093524064 5038992 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 20.48 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72480 KiB

[startup+6.30074 s]
/proc/loadavg: 7.56 8.65 8.60 9/201 22331
/proc/meminfo: memFree=31831772/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72492 CPUtime=45.96 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 62354 0 0 0 4584 12 0 0 20 0 9 0 560179442 695463936 18123 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18123 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=0 CPUtime=5.68 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 5496 0 0 0 566 2 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238152272992 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=140517001172607 CPUtime=5.66 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 5642 0 0 0 566 0 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238143880288 5039121 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=0 CPUtime=5.59 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 5696 0 0 0 558 1 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238135487584 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=7012512883730063247 CPUtime=5.67 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 5841 0 0 0 567 0 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238127094880 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=0 CPUtime=5.67 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 5704 0 0 0 565 2 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238118702176 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=281025213489840 CPUtime=5.67 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 5741 0 0 0 567 0 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238110309472 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=72492 CPUtime=5.68 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 5679 0 0 0 566 2 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238101916768 5039121 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=7079773377587930961 CPUtime=5.67 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 5697 0 0 0 567 0 0 0 20 0 9 0 560179504 695463936 18123 33554432000 4194304 6211132 140727392358624 140238093524064 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 45.96 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72492 KiB

[startup+12.7007 s]
/proc/loadavg: 7.67 8.66 8.60 9/201 22331
/proc/meminfo: memFree=31830624/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72572 CPUtime=97.05 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 105063 0 0 0 9689 16 0 0 20 0 9 0 560179442 695463936 18143 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18143 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=281025213598320 CPUtime=12.07 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 10881 0 0 0 1205 2 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238152272992 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=0 CPUtime=12.06 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 10976 0 0 0 1205 1 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238143880288 5039121 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=0 CPUtime=11.9 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 11111 0 0 0 1188 2 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238135487584 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=292418639 CPUtime=12.07 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 11211 0 0 0 1207 0 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238127094880 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=0 CPUtime=12.07 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 11072 0 0 0 1204 3 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238118702176 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=258 CPUtime=12.06 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 10750 0 0 0 1206 0 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238110309472 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=257 CPUtime=12.07 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 10958 0 0 0 1205 2 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238101916768 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=258 CPUtime=12.07 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 11246 0 0 0 1207 0 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238093524064 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 97.05 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72572 KiB

[startup+18.063 s]
# the end of solver process 22322 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=139.492 s, system=0.173862 s

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

[startup+12.8007 s]
/proc/loadavg: 7.67 8.66 8.60 9/201 22331
/proc/meminfo: memFree=31830624/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72572 CPUtime=97.85 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 105063 0 0 0 9769 16 0 0 20 0 9 0 560179442 695463936 18143 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18143 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=1040 CPUtime=12.17 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 10881 0 0 0 1215 2 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238152272992 5039007 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=2832 CPUtime=12.16 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 10976 0 0 0 1215 1 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238143880288 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=0 CPUtime=12 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 11111 0 0 0 1198 2 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238135487584 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=0 CPUtime=12.17 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 11211 0 0 0 1217 0 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238127094880 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=0 CPUtime=12.17 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 11072 0 0 0 1214 3 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238118702176 5038947 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=12.16 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 10750 0 0 0 1216 0 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238110309472 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=2032 CPUtime=12.17 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 10958 0 0 0 1215 2 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238101916768 5037874 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=1420 CPUtime=12.17 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 11246 0 0 0 1217 0 0 0 20 0 9 0 560179504 695463936 18143 33554432000 4194304 6211132 140727392358624 140238093524064 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 97.85 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72572 KiB

[startup+16.0007 s]*
/proc/loadavg: 7.78 8.66 8.60 9/201 22331
/proc/meminfo: memFree=31831244/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72576 CPUtime=123.46 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 105278 0 0 0 12330 16 0 0 20 0 9 0 560179442 695463936 18144 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18144 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=15.38 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 10884 0 0 0 1536 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238152272992 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=4126316290023845779 CPUtime=15.37 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 10982 0 0 0 1536 1 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238143880288 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=0 CPUtime=15.16 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 11112 0 0 0 1514 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238135487584 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=0 CPUtime=15.37 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 11250 0 0 0 1537 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238127094880 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=0 CPUtime=15.37 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 11085 0 0 0 1534 3 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238118702176 5039210 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=33 CPUtime=15.37 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 10771 0 0 0 1537 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238110309472 5039104 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=10296 CPUtime=15.38 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 10959 0 0 0 1536 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238101916768 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=988 CPUtime=15.38 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 11377 0 0 0 1538 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238093524064 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 123.46 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72576 KiB

[startup+16.8007 s]
/proc/loadavg: 7.78 8.66 8.60 9/201 22331
/proc/meminfo: memFree=31831244/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72576 CPUtime=129.79 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 105278 0 0 0 12963 16 0 0 20 0 9 0 560179442 695463936 18144 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18144 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=72576 CPUtime=16.17 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 10884 0 0 0 1615 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238152272992 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=16.16 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 10982 0 0 0 1615 1 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238143880288 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=288230596050944315 CPUtime=15.95 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 11112 0 0 0 1593 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238135487584 5039210 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=15816698942982814 CPUtime=16.17 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 11250 0 0 0 1617 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238127094880 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=1760 CPUtime=16.16 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 11085 0 0 0 1613 3 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238118702176 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=111632 CPUtime=16.16 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 10771 0 0 0 1616 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238110309472 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=800 CPUtime=16.17 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 10959 0 0 0 1615 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238101916768 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=4096 CPUtime=16.17 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 11377 0 0 0 1617 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238093524064 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 129.79 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72576 KiB

[startup+17.6007 s]
/proc/loadavg: 7.78 8.66 8.60 9/201 22331
/proc/meminfo: memFree=31831368/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72576 CPUtime=136.17 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 105278 0 0 0 13601 16 0 0 20 0 9 0 560179442 695463936 18144 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18144 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=72576 CPUtime=16.97 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 10884 0 0 0 1695 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238152272992 5039217 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=72576 CPUtime=16.96 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 10982 0 0 0 1695 1 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238143880288 5039185 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=5400 CPUtime=16.73 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 11112 0 0 0 1671 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238135487584 5039217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=16.96 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 11250 0 0 0 1696 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238127094880 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=306807965955142885 CPUtime=16.96 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 11085 0 0 0 1693 3 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238118702176 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=15252640871238362 CPUtime=16.96 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 10771 0 0 0 1696 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238110309472 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=72576 CPUtime=16.97 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 10959 0 0 0 1695 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238101916768 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=16.97 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 11377 0 0 0 1697 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238093524064 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 136.17 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72576 KiB

[startup+18.0007 s]*
/proc/loadavg: 7.78 8.66 8.60 9/201 22331
/proc/meminfo: memFree=31831368/32770624 swapFree=66947732/67108860
[pid=22322] ppid=22319 vsize=679164 memory=72576 CPUtime=139.43 cores=0-7
/proc/22322/stat : 22322 (cosoco) S 22319 22322 21954 0 -1 1077944320 105278 0 0 0 13927 16 0 0 20 0 9 0 560179442 695463936 18144 33554432000 4194304 6211132 140727392358624 140727392356880 140238176464631 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
/proc/22322/statm: 169791 18144 864 493 0 163096 0
[pid=22322/tid=22324] ppid=22319 vsize=679164 memory=6935054825532540783 CPUtime=17.38 cores=0-7
/proc/22322/task/22324/stat : 22324 (cosoco) R 22319 22322 21954 0 -1 4202560 10884 0 0 0 1736 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238152272992 5039022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22325] ppid=22319 vsize=679164 memory=4126316290023845779 CPUtime=17.37 cores=0-7
/proc/22322/task/22325/stat : 22325 (cosoco) R 22319 22322 21954 0 -1 4202560 10982 0 0 0 1736 1 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238143880288 5039104 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22326] ppid=22319 vsize=679164 memory=0 CPUtime=17.13 cores=0-7
/proc/22322/task/22326/stat : 22326 (cosoco) R 22319 22322 21954 0 -1 4202560 11112 0 0 0 1711 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238135487584 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22327] ppid=22319 vsize=679164 memory=0 CPUtime=17.37 cores=0-7
/proc/22322/task/22327/stat : 22327 (cosoco) R 22319 22322 21954 0 -1 4202560 11250 0 0 0 1737 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238127094880 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22328] ppid=22319 vsize=679164 memory=0 CPUtime=17.37 cores=0-7
/proc/22322/task/22328/stat : 22328 (cosoco) R 22319 22322 21954 0 -1 4202560 11085 0 0 0 1734 3 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238118702176 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22329] ppid=22319 vsize=679164 memory=0 CPUtime=17.37 cores=0-7
/proc/22322/task/22329/stat : 22329 (cosoco) R 22319 22322 21954 0 -1 4202560 10771 0 0 0 1737 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238110309472 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22330] ppid=22319 vsize=679164 memory=0 CPUtime=17.38 cores=0-7
/proc/22322/task/22330/stat : 22330 (cosoco) R 22319 22322 21954 0 -1 4202560 10959 0 0 0 1736 2 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238101916768 5039536 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
[pid=22322/tid=22331] ppid=22319 vsize=679164 memory=0 CPUtime=17.38 cores=0-7
/proc/22322/task/22331/stat : 22331 (cosoco) R 22319 22322 21954 0 -1 4202560 11377 0 0 0 1738 0 0 0 20 0 9 0 560179504 695463936 18144 33554432000 4194304 6211132 140727392358624 140238093524064 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14684160 140727392367633 140727392367725 140727392367725 140727392370638 0
Current children cumulated CPU time: 139.43 s
Current children cumulated vsize: 679164 KiB
Current children cumulated memory: 72576 KiB

Child status: 0
Real time (s): 18.0631
CPU time (s): 139.666
CPU user time (s): 139.492
CPU system time (s): 0.173862
CPU usage (%): 773.212
Max. virtual memory (cumulated for all children) (KiB): 679164
Max. memory (cumulated for all children) (KiB): 72576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.492
system time used= 0.173862
maximum resident set size= 72580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105325
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= 43
involuntary context switches= 1318


# summary of solver processes directly reported to runsolver:
#   pid: 22322
#   total CPU time (s): 139.666
#   total CPU user time (s): 139.492
#   total CPU system time (s): 0.173862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.140255 second user time and 0.177915 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-30 12:23:49
IDJOB=4409229
IDBENCH=140001
IDSOLVER=2877
FILE ID=node150/4409229-1569839070
RUNJOBID= node150-1569839018-21981
PBS_JOBID= 21705963
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-14-15.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409229-1569839070/watcher-4409229-1569839070 -o /tmp/evaluation-result-4409229-1569839070/solver-4409229-1569839070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569839018-21981 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409229-1569839070.xml

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

MD5SUM BENCH= 8fe4d4ff25aed39a536d9c0933ae8bb1
RANDOM SEED=1773025054

node150.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.79
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.79
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.79
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.79
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:        31899312 kB
MemAvailable:   31932264 kB
Buffers:          102556 kB
Cached:           217212 kB
SwapCached:         5492 kB
Active:           151552 kB
Inactive:         175836 kB
Active(anon):       5000 kB
Inactive(anon):    26860 kB
Active(file):     146552 kB
Inactive(file):   148976 kB
Unevictable:      109544 kB
Mlocked:          109544 kB
SwapTotal:      67108860 kB
SwapFree:       66947732 kB
Dirty:              4256 kB
Writeback:             0 kB
AnonPages:         45576 kB
Mapped:            26948 kB
Shmem:             15748 kB
Slab:             135344 kB
SReclaimable:     106520 kB
SUnreclaim:        28824 kB
KernelStack:        3744 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 62028 MiB
End job on node150 at 2019-09-30 12:24:07