Trace number 4389993

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 2UNSAT 29.3966 29.3973

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-4389993-1568335589.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.50	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.71	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.96	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.49/1.60	c 17745          37161          11720293       3745827        0              0              4   11   6     
1.69/1.76	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.15	c 23910          50209          16008730       5161000        0              0              3   10   6     
2.29/2.36	c 26388          55392          17693967       5684983        0              0              3   11   6     
2.49/2.59	c 29113          61115          19516996       6252363        0              0              3   10   6     
2.79/2.85	c 32110          67341          21529064       6898440        0              0              3   10   6     
3.10/3.12	c 35406          74286          23734797       7580471        0              0              3   11   6     
3.39/3.42	c 39031          81726          26080640       8309669        0              0              3   9   5      
3.69/3.78	c 43018          90141          28828991       9217934        0              0              3   10   6     
4.10/4.14	c 47403          99005          31703007       10139401       0              0              4   10   6     
4.49/4.54	c 52226          109072         34946168       11151450       0              0              3   10   6     
4.89/5.00	c 57531          120464         38552658       12274330       1              0              2   10   6     
5.49/5.51	c 63366          132663         42537618       13608731       1              0              3   10   6     
6.00/6.08	c 69784          146807         47039212       15049221       1              0              3   11   6     
6.59/6.65	c 76843          161393         51692199       16490222       1              0              3   12   6     
7.19/7.29	c 84607          177507         56787094       18079851       2              0              2   10   6     
8.00/8.02	c 93147          195172         62481280       19945207       2              0              3   10   6     
8.79/8.82	c 102541         215097         68821856       21915880       3              0              3   11   6     
9.69/9.73	c 112874         236834         75847105       24224702       4              0              3   12   6     
10.69/10.70	c 124240         260906         83589083       26661681       5              0              2   11   6     
11.69/11.77	c 136742         287248         91970828       29311179       5              0              3   12   6     
12.89/12.93	c 150494         316166         101145261      32247587       5              0              2   11   6     
14.19/14.24	c 165621         347973         111409008      35598370       7              0              2   12   6     
15.59/15.68	c 182260         382943         122700986      39236505       8              0              2   11   6     
17.19/17.26	c 200562         421571         135114938      43157257       11             0              2   13   6     
18.89/18.94	c 220694         463522         148414712      47411279       13             0              3   11   6     
20.79/20.81	c 242839         510568         163326381      52085051       13             0              3   12   6     
22.89/22.92	c 267198         561496         179733114      57353071       14             0              2   11   5     
25.19/25.21	c 293992         617435         197686528      63056670       16             0              2   12   5     
27.79/27.82	c 323465         678793         217695834      69635768       17             0              2   11   5     
29.29/29.39	s UNSATISFIABLE
29.29/29.39	c restarts              : 61          
29.29/29.39	c conflicts             : 341274       (11610 /sec)
29.29/29.39	c decisions             : 716394       (24372 /sec)
29.29/29.39	c propagations          : 73558294    (2502474 /sec)
29.29/29.39	c root propagations     : 0           
29.29/29.39	c filter calls          : 229803046      (7817964 /sec)
29.29/29.39	c useless filter calls  : 189143594      (82 %)
29.29/29.39	c Memory used           : 27.35 MB
29.29/29.39	c CPU time              : 29.3942 s
29.29/29.39	c real time             : 29.3937 s
29.29/29.39

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389993-1568335589/watcher-4389993-1568335589 -o /tmp/evaluation-result-4389993-1568335589/solver-4389993-1568335589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4389993-1568335589.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
Current StackSize limit: 8192 KiB

solver pid=17274, runsolver pid=17271

[startup+0.100087 s]*
/proc/loadavg: 0.57 0.63 0.80 3/199 17275
/proc/meminfo: memFree=24257420/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=27868 memory=4156 CPUtime=0.1 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1208 0 0 0 10 0 0 0 20 0 1 0 409496303 28536832 1039 33554432000 4194304 6210612 140722968288688 140722968285224 139966929517541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 6967 1039 807 493 0 272 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27868 KiB
Current children cumulated memory: 4156 KiB

[startup+0.209338 s]*
/proc/loadavg: 0.57 0.63 0.80 3/199 17275
/proc/meminfo: memFree=24257420/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4416 CPUtime=0.21 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1297 0 0 0 21 0 0 0 20 0 1 0 409496303 28672000 1104 33554432000 4194304 6210612 140722968288688 140722968285224 5017191 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1104 821 493 0 305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4416 KiB

[startup+0.308845 s]*
/proc/loadavg: 0.57 0.63 0.80 3/199 17275
/proc/meminfo: memFree=24255188/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4416 CPUtime=0.31 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1297 0 0 0 31 0 0 0 20 0 1 0 409496303 28672000 1104 33554432000 4194304 6210612 140722968288688 140722968285224 5008603 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1104 821 493 0 305 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4416 KiB

[startup+0.700223 s]
/proc/loadavg: 0.57 0.63 0.80 3/199 17275
/proc/meminfo: memFree=24252088/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4416 CPUtime=0.69 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1297 0 0 0 69 0 0 0 20 0 1 0 409496303 28672000 1104 33554432000 4194304 6210612 140722968288688 140722968286648 5016976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1104 821 493 0 305 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4416 KiB

[startup+1.50022 s]
/proc/loadavg: 0.77 0.67 0.81 3/199 17275
/proc/meminfo: memFree=24234332/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4416 CPUtime=1.49 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1297 0 0 0 149 0 0 0 20 0 1 0 409496303 28672000 1104 33554432000 4194304 6210612 140722968288688 140722968286648 5017201 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1104 821 493 0 305 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4416 KiB

[startup+3.10889 s]
/proc/loadavg: 0.77 0.67 0.81 3/199 17275
/proc/meminfo: memFree=24229536/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=3.1 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1518 0 0 0 310 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5017198 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+6.30022 s]
/proc/loadavg: 0.87 0.69 0.82 3/199 17275
/proc/meminfo: memFree=24200288/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=6.29 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1739 0 0 0 629 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5017127 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+12.7002 s]
/proc/loadavg: 0.96 0.72 0.83 3/200 17277
/proc/meminfo: memFree=24139924/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=12.69 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 1960 0 0 0 1269 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5389659 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+25.5002 s]
/proc/loadavg: 1.12 0.76 0.84 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=25.49 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2549 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5389284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+29.3973 s]
# the end of solver process 17274 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.3946 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: 1.12 0.76 0.84 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=25.59 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2559 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5017123 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+27.2002 s]
/proc/loadavg: 1.19 0.78 0.85 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=27.19 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2719 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+28.0002 s]*
/proc/loadavg: 1.19 0.78 0.85 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=28 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2800 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 28 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+28.8002 s]
/proc/loadavg: 1.19 0.78 0.85 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=28.79 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2879 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5008456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+29.2002 s]
/proc/loadavg: 1.19 0.78 0.85 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=29.19 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2919 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 29.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

[startup+29.3002 s]
/proc/loadavg: 1.19 0.78 0.85 3/199 17277
/proc/meminfo: memFree=24116264/32770624 swapFree=67108848/67108860
[pid=17274] ppid=17271 vsize=28000 memory=4536 CPUtime=29.29 cores=1,3,5,7
/proc/17274/stat : 17274 (cosoco) R 17271 17274 17149 0 -1 4202496 2402 0 0 0 2929 0 0 0 20 0 1 0 409496303 28672000 1134 33554432000 4194304 6210612 140722968288688 140722968286648 5016997 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 35803136 140722968290315 140722968290417 140722968290417 140722968293326 0
/proc/17274/statm: 7000 1134 849 493 0 305 0
Current children cumulated CPU time: 29.29 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4536 KiB

Child status: 0
Real time (s): 29.3973
CPU time (s): 29.3966
CPU user time (s): 29.3946
CPU system time (s): 0.002
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 28000
Max. memory (cumulated for all children) (KiB): 4536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3946
system time used= 0.002
maximum resident set size= 4608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2441
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: 17274
#   total CPU time (s): 29.3966
#   total CPU user time (s): 29.3946
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117697 second user time and 0.235093 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 02:45:48
IDJOB=4389993
IDBENCH=126188
IDSOLVER=2830
FILE ID=node143/4389993-1568335589
RUNJOBID= node143-1568335547-17181
PBS_JOBID= 21701163
Free space on /tmp= 58820 MiB

SOLVER NAME= cosoco 2
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-4389993-1568335589/watcher-4389993-1568335589 -o /tmp/evaluation-result-4389993-1568335589/solver-4389993-1568335589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4389993-1568335589.xml

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

MD5SUM BENCH= 8e028cdc732505d0b2fced1a2b36235c
RANDOM SEED=468223578

node143.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.73
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.73
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.73
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.73
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:        24258072 kB
MemAvailable:   31739356 kB
Buffers:          166260 kB
Cached:          7602668 kB
SwapCached:            8 kB
Active:          2193960 kB
Inactive:        5643152 kB
Active(anon):      23128 kB
Inactive(anon):   144740 kB
Active(file):    2170832 kB
Inactive(file):  5498412 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             38468 kB
Writeback:             4 kB
AnonPages:        159452 kB
Mapped:            49188 kB
Shmem:             90756 kB
Slab:             268676 kB
SReclaimable:     240500 kB
SUnreclaim:        28176 kB
KernelStack:        3376 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     546744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 58816 MiB
End job on node143 at 2019-09-13 02:46:18