Trace number 4397273

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.0UNSAT 29.4905 29.4892

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-70.xml
MD5SUM8e028cdc732505d0b2fced1a2b36235c
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 benchmark29.3966
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints451
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree4
Maximum variable degree31
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":3},{"degree":16,"count":1},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":6},{"degree":21,"count":2},{"degree":22,"count":2},{"degree":23,"count":2},{"degree":24,"count":4},{"degree":25,"count":1},{"degree":26,"count":2},{"degree":28,"count":4},{"degree":30,"count":1},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":451}]
Number of extensional constraints451
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":451}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.12	c root propagations     : 0           
0.10/0.12	c restarts enabled, print stats at every restarts
0.10/0.12	c
0.10/0.12	c
0.10/0.12	c
0.10/0.12	c This is cosoco 2.00 --  
0.10/0.12	c
0.10/0.12	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397273-1568577168.xml 
0.10/0.12	c ========================================[ Problem Statistics ]===========================================
0.10/0.12	c |                                                                                                       
0.10/0.12	c |  Parse time        :         0.12 s 
0.10/0.12	c |
0.10/0.12	c |               Variables: 50
0.10/0.12	c |            Domain Sizes: 20..20
0.10/0.12	c |
0.10/0.12	c |             Constraints: 451
0.10/0.12	c |                   Arity: 2..2  -- Binary: 451
0.10/0.12	c | 
0.10/0.12	c |                   Types: 
0.10/0.12	c |                          Extension: 451  (nb tuples: 74..129) -- (shared: 0)
0.10/0.12	c |                          
0.10/0.12	c =========================================================================================================
0.10/0.12	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.13	c 101            224            70037          28044          0              0              6   14   9     
0.10/0.14	c 211            453            146471         52322          0              0              4   9   6      
0.10/0.15	c 332            689            223645         78462          0              0              4   8   5      
0.10/0.16	c 465            960            310615         106118         0              0              5   9   6      
0.10/0.18	c 611            1267           411493         137940         0              0              4   8   5      
0.10/0.19	c 771            1606           519785         174392         0              0              5   10   6     
0.10/0.20	c 947            1960           636016         210377         0              0              4   8   6      
0.21/0.22	c 1140           2338           753667         248329         0              0              4   8   6      
0.21/0.24	c 1352           2790           903502         295320         0              0              4   9   5      
0.21/0.26	c 1585           3258           1050845        341366         0              0              4   11   6     
0.21/0.28	c 1841           3797           1228079        399141         0              0              4   8   6      
0.21/0.30	c 2122           4372           1415738        462464         0              0              4   8   5      
0.31/0.33	c 2431           5027           1626741        532193         0              0              4   10   6     
0.31/0.36	c 2770           5738           1856431        609282         0              0              4   9   6      
0.31/0.39	c 3142           6490           2089756        679603         0              0              4   9   6      
0.41/0.42	c 3551           7337           2359587        766534         0              0              4   9   6      
0.41/0.46	c 4000           8277           2659040        861704         0              0              3   10   6     
0.41/0.51	c 4493           9287           2996713        969223         0              0              4   9   6      
0.51/0.55	c 5035           10428          3366332        1089494        0              0              4   10   6     
0.51/0.60	c 5631           11652          3759794        1211564        0              0              4   9   6      
0.60/0.65	c 6286           13054          4178012        1332128        0              0              4   9   6      
0.69/0.72	c 7006           14550          4662837        1498187        0              0              4   10   6     
0.69/0.78	c 7798           16236          5186874        1658604        0              0              4   10   6     
0.79/0.85	c 8669           18031          5744659        1847336        0              0              3   10   6     
0.89/0.93	c 9627           20039          6374820        2046778        0              0              4   9   6      
1.00/1.02	c 10680          22302          7086028        2265534        0              0              4   11   6     
1.10/1.12	c 11838          24763          7862408        2507055        0              0              3   10   6     
1.19/1.22	c 13111          27367          8687835        2765612        0              0              4   10   6     
1.29/1.33	c 14511          30340          9602170        3057620        0              0              4   10   6     
1.39/1.46	c 16051          33598          10626364       3380202        0              0              3   10   6     
1.59/1.60	c 17745          37161          11720293       3745827        0              0              4   11   6     
1.69/1.77	c 19608          40984          12997950       4173951        0              0              3   9   6      
1.89/1.95	c 21657          45361          14417717       4644317        0              0              3   10   6     
2.10/2.16	c 23910          50209          16008730       5161000        0              0              3   10   6     
2.29/2.37	c 26388          55392          17693967       5684983        0              0              3   11   6     
2.59/2.60	c 29113          61115          19516996       6252363        0              0              3   10   6     
2.79/2.86	c 32110          67341          21529064       6898440        0              0              3   10   6     
3.10/3.13	c 35406          74286          23734797       7580471        0              0              3   11   6     
3.39/3.43	c 39031          81726          26080640       8309669        0              0              3   9   5      
3.69/3.79	c 43018          90141          28828991       9217934        0              0              3   10   6     
4.10/4.15	c 47403          99005          31703007       10139401       0              0              4   10   6     
4.49/4.56	c 52226          109072         34946168       11151450       0              0              3   10   6     
5.00/5.01	c 57531          120464         38552658       12274330       1              0              2   10   6     
5.49/5.53	c 63366          132663         42537618       13608731       1              0              3   10   6     
6.10/6.10	c 69784          146807         47039212       15049221       1              0              3   11   6     
6.59/6.68	c 76843          161393         51692199       16490222       1              0              3   12   6     
7.29/7.32	c 84607          177507         56787094       18079851       2              0              2   10   6     
8.00/8.05	c 93147          195172         62481280       19945207       2              0              3   10   6     
8.79/8.85	c 102541         215097         68821856       21915880       3              0              3   11   6     
9.69/9.76	c 112874         236834         75847105       24224702       4              0              3   12   6     
10.69/10.74	c 124240         260906         83589083       26661681       5              0              2   11   6     
11.79/11.81	c 136742         287248         91970828       29311179       5              0              3   12   6     
12.89/12.97	c 150494         316166         101145261      32247587       5              0              2   11   6     
14.19/14.29	c 165621         347973         111409008      35598370       7              0              2   12   6     
15.69/15.73	c 182260         382943         122700986      39236505       8              0              2   11   6     
17.29/17.31	c 200562         421571         135114938      43157257       11             0              2   13   6     
18.89/19.00	c 220694         463522         148414712      47411279       13             0              3   11   6     
20.79/20.88	c 242839         510568         163326381      52085051       13             0              3   12   6     
22.89/22.99	c 267198         561496         179733114      57353071       14             0              2   11   5     
25.19/25.29	c 293992         617435         197686528      63056670       16             0              2   12   5     
27.89/27.91	c 323465         678793         217695834      69635768       17             0              2   11   5     
29.39/29.48	s UNSATISFIABLE
29.39/29.48	c restarts              : 61          
29.39/29.48	c conflicts             : 341274       (11573 /sec)
29.39/29.48	c decisions             : 716394       (24294 /sec)
29.39/29.48	c propagations          : 73558294    (2494502 /sec)
29.39/29.48	c root propagations     : 0           
29.39/29.48	c filter calls          : 229803046      (7793060 /sec)
29.39/29.48	c useless filter calls  : 189143594      (82 %)
29.39/29.48	c Memory used           : 27.35 MB
29.39/29.48	c CPU time              : 29.4881 s
29.39/29.48	c real time             : 29.4856 s
29.39/29.48

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397273-1568577168/watcher-4397273-1568577168 -o /tmp/evaluation-result-4397273-1568577168/solver-4397273-1568577168 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17792 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397273-1568577168.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18929, runsolver pid=18926
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 2.02 2.05 2.00 3/200 18930
/proc/meminfo: memFree=30645116/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=27868 memory=4172 CPUtime=0.1 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1210 0 0 0 10 0 0 0 20 0 1 0 433983606 28536832 1043 33554432000 4194304 6211092 140727107347296 140727107344568 140719885442021 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 6967 1043 810 493 0 272 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27868 KiB
Current children cumulated memory: 4172 KiB

[startup+0.209316 s]*
/proc/loadavg: 2.02 2.05 2.00 3/200 18930
/proc/meminfo: memFree=30644744/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4432 CPUtime=0.21 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1301 0 0 0 21 0 0 0 20 0 1 0 433983606 28672000 1108 33554432000 4194304 6211092 140727107347296 140727107344568 5017168 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1108 824 493 0 305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4432 KiB

[startup+0.308775 s]*
/proc/loadavg: 2.02 2.05 2.00 3/200 18930
/proc/meminfo: memFree=30644744/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4432 CPUtime=0.31 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1301 0 0 0 31 0 0 0 20 0 1 0 433983606 28672000 1108 33554432000 4194304 6211092 140727107347296 140727107344568 5017274 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1108 824 493 0 305 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4432 KiB

[startup+0.700222 s]
/proc/loadavg: 2.02 2.05 2.00 3/200 18930
/proc/meminfo: memFree=30644812/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4432 CPUtime=0.69 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1301 0 0 0 69 0 0 0 20 0 1 0 433983606 28672000 1108 33554432000 4194304 6211092 140727107347296 140727107345256 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1108 824 493 0 305 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4432 KiB

[startup+1.50022 s]
/proc/loadavg: 2.02 2.05 2.00 3/200 18930
/proc/meminfo: memFree=30644812/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4432 CPUtime=1.49 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1301 0 0 0 149 0 0 0 20 0 1 0 433983606 28672000 1108 33554432000 4194304 6211092 140727107347296 140727107345256 5389872 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1108 824 493 0 305 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4432 KiB

[startup+3.10898 s]
/proc/loadavg: 2.02 2.05 2.00 3/200 18930
/proc/meminfo: memFree=30644812/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=3.1 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1521 0 0 0 310 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+6.30022 s]
/proc/loadavg: 2.02 2.05 2.00 3/199 18930
/proc/meminfo: memFree=30643544/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=6.29 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1741 0 0 0 629 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18930
/proc/meminfo: memFree=30643808/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=12.69 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 1961 0 0 0 1269 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+25.5002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18931
/proc/meminfo: memFree=30643940/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=25.49 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 2401 0 0 0 2549 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017559 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+29.4892 s]
# the end of solver process 18929 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.4885 s, system=0.002 s

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

[startup+25.6002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18931
/proc/meminfo: memFree=30643940/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=25.59 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 2401 0 0 0 2559 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017191 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+27.2002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18931
/proc/meminfo: memFree=30643568/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=27.19 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 2401 0 0 0 2719 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+28.8002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18931
/proc/meminfo: memFree=30643568/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=28.79 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 2401 0 0 0 2879 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+29.2002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18931
/proc/meminfo: memFree=30643568/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=29.19 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 2401 0 0 0 2919 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017569 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 29.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

[startup+29.4002 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 18931
/proc/meminfo: memFree=30643568/32770624 swapFree=66967292/67108860
[pid=18929] ppid=18926 vsize=28000 memory=4556 CPUtime=29.39 cores=1,3,5,7
/proc/18929/stat : 18929 (cosoco) R 18926 18929 17760 0 -1 4202496 2401 0 0 0 2939 0 0 0 20 0 1 0 433983606 28672000 1139 33554432000 4194304 6211092 140727107347296 140727107345256 5017476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20566016 140727107355659 140727107355761 140727107355761 140727107358670 0
/proc/18929/statm: 7000 1139 853 493 0 305 0
Current children cumulated CPU time: 29.39 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4556 KiB

Child status: 0
Real time (s): 29.4892
CPU time (s): 29.4905
CPU user time (s): 29.4885
CPU system time (s): 0.002
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 28000
Max. memory (cumulated for all children) (KiB): 4556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.4885
system time used= 0.002
maximum resident set size= 4624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2440
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= 6
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 18929
#   total CPU time (s): 29.4905
#   total CPU user time (s): 29.4885
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.131538 second user time and 0.220577 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-15 21:52:05
IDJOB=4397273
IDBENCH=126188
IDSOLVER=2849
FILE ID=node125/4397273-1568577168
RUNJOBID= node125-1568572742-17792
PBS_JOBID= 21703325
Free space on /tmp= 59756 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-70.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397273-1568577168/watcher-4397273-1568577168 -o /tmp/evaluation-result-4397273-1568577168/solver-4397273-1568577168 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17792 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397273-1568577168.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8e028cdc732505d0b2fced1a2b36235c
RANDOM SEED=1386010824

node125.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.29
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.29
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.29
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.29
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:        30645432 kB
MemAvailable:   31856392 kB
Buffers:          169196 kB
Cached:          1341492 kB
SwapCached:        38388 kB
Active:           686216 kB
Inactive:         875196 kB
Active(anon):      30068 kB
Inactive(anon):    69504 kB
Active(file):     656148 kB
Inactive(file):   805692 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66967292 kB
Dirty:              2748 kB
Writeback:             0 kB
AnonPages:        185952 kB
Mapped:            48452 kB
Shmem:             39704 kB
Slab:             159212 kB
SReclaimable:     129908 kB
SUnreclaim:        29304 kB
KernelStack:        3536 kB
PageTables:         5560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59752 MiB
End job on node125 at 2019-09-15 21:52:35