Trace number 4408533

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.7714 29.7746

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.13	c root propagations     : 0           
0.10/0.13	c restarts enabled, print stats at every restarts
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c This is cosoco 2.00 --  
0.10/0.13	c
0.10/0.13	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408533-1569792716.xml 
0.10/0.13	c ========================================[ Problem Statistics ]===========================================
0.10/0.13	c |                                                                                                       
0.10/0.13	c |  Parse time        :         0.13 s 
0.10/0.13	c |
0.10/0.13	c |               Variables: 50
0.10/0.13	c |            Domain Sizes: 20..20
0.10/0.13	c |
0.10/0.13	c |             Constraints: 451
0.10/0.13	c |                   Arity: 2..2  -- Binary: 451
0.10/0.13	c | 
0.10/0.13	c |                   Types: 
0.10/0.13	c |                          Extension: 451  (nb tuples: 74..129) -- (shared: 0)
0.10/0.13	c |                          
0.10/0.13	c =========================================================================================================
0.10/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.14	c 101            224            70037          28044          0              0              6   14   9     
0.10/0.15	c 211            453            146471         52322          0              0              4   9   6      
0.10/0.16	c 332            689            223645         78462          0              0              4   8   5      
0.10/0.17	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.21	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.31	c 2122           4372           1415738        462464         0              0              4   8   5      
0.31/0.34	c 2431           5027           1626741        532193         0              0              4   10   6     
0.31/0.37	c 2770           5738           1856431        609282         0              0              4   9   6      
0.31/0.40	c 3142           6490           2089756        679603         0              0              4   9   6      
0.41/0.43	c 3551           7337           2359587        766534         0              0              4   9   6      
0.41/0.47	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.56	c 5035           10428          3366332        1089494        0              0              4   10   6     
0.60/0.61	c 5631           11652          3759794        1211564        0              0              4   9   6      
0.60/0.66	c 6286           13054          4178012        1332128        0              0              4   9   6      
0.69/0.73	c 7006           14550          4662837        1498187        0              0              4   10   6     
0.69/0.79	c 7798           16236          5186874        1658604        0              0              4   10   6     
0.79/0.86	c 8669           18031          5744659        1847336        0              0              3   10   6     
0.89/0.94	c 9627           20039          6374820        2046778        0              0              4   9   6      
1.00/1.03	c 10680          22302          7086028        2265534        0              0              4   11   6     
1.10/1.13	c 11838          24763          7862408        2507055        0              0              3   10   6     
1.19/1.23	c 13111          27367          8687835        2765612        0              0              4   10   6     
1.29/1.35	c 14511          30340          9602170        3057620        0              0              4   10   6     
1.39/1.47	c 16051          33598          10626364       3380202        0              0              3   10   6     
1.59/1.62	c 17745          37161          11720293       3745827        0              0              4   11   6     
1.69/1.78	c 19608          40984          12997950       4173951        0              0              3   9   6      
1.89/1.98	c 21657          45361          14417717       4644317        0              0              3   10   6     
2.10/2.18	c 23910          50209          16008730       5161000        0              0              3   10   6     
2.39/2.40	c 26388          55392          17693967       5684983        0              0              3   11   6     
2.59/2.63	c 29113          61115          19516996       6252363        0              0              3   10   6     
2.79/2.89	c 32110          67341          21529064       6898440        0              0              3   10   6     
3.10/3.17	c 35406          74286          23734797       7580471        0              0              3   11   6     
3.39/3.46	c 39031          81726          26080640       8309669        0              0              3   9   5      
3.79/3.83	c 43018          90141          28828991       9217934        0              0              3   10   6     
4.10/4.19	c 47403          99005          31703007       10139401       0              0              4   10   6     
4.59/4.60	c 52226          109072         34946168       11151450       0              0              3   10   6     
5.00/5.06	c 57531          120464         38552658       12274330       1              0              2   10   6     
5.49/5.58	c 63366          132663         42537618       13608731       1              0              3   10   6     
6.10/6.16	c 69784          146807         47039212       15049221       1              0              3   11   6     
6.69/6.74	c 76843          161393         51692199       16490222       1              0              3   12   6     
7.29/7.39	c 84607          177507         56787094       18079851       2              0              2   10   6     
8.10/8.13	c 93147          195172         62481280       19945207       2              0              3   10   6     
8.89/8.94	c 102541         215097         68821856       21915880       3              0              3   11   6     
9.79/9.85	c 112874         236834         75847105       24224702       4              0              3   12   6     
10.79/10.84	c 124240         260906         83589083       26661681       5              0              2   11   6     
11.89/11.92	c 136742         287248         91970828       29311179       5              0              3   12   6     
13.00/13.10	c 150494         316166         101145261      32247587       5              0              2   11   6     
14.39/14.43	c 165621         347973         111409008      35598370       7              0              2   12   6     
15.79/15.88	c 182260         382943         122700986      39236505       8              0              2   11   6     
17.39/17.48	c 200562         421571         135114938      43157257       11             0              2   13   6     
19.10/19.18	c 220694         463522         148414712      47411279       13             0              3   11   6     
21.00/21.08	c 242839         510568         163326381      52085051       13             0              3   12   6     
23.19/23.22	c 267198         561496         179733114      57353071       14             0              2   11   5     
25.49/25.53	c 293992         617435         197686528      63056670       16             0              2   12   5     
28.10/28.18	c 323465         678793         217695834      69635768       17             0              2   11   5     
29.69/29.77	s UNSATISFIABLE
29.69/29.77	c restarts              : 61          
29.69/29.77	c conflicts             : 341274       (11465 /sec)
29.69/29.77	c decisions             : 716394       (24066 /sec)
29.69/29.77	c propagations          : 73558294    (2471106 /sec)
29.69/29.77	c root propagations     : 0           
29.69/29.77	c filter calls          : 229803046      (7719968 /sec)
29.69/29.77	c useless filter calls  : 189143594      (82 %)
29.69/29.77	c Memory used           : 27.35 MB
29.69/29.77	c CPU time              : 29.7673 s
29.69/29.77	c real time             : 29.7706 s
29.69/29.77

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408533-1569792716/watcher-4408533-1569792716 -o /tmp/evaluation-result-4408533-1569792716/solver-4408533-1569792716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569787352-8686 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408533-1569792716.xml 

running on 4 cores: 0,2,4,6

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=10162, runsolver pid=10159

[startup+0.100108 s]*
/proc/loadavg: 1.95 2.10 2.07 3/199 10163
/proc/meminfo: memFree=31581936/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=27868 memory=4048 CPUtime=0.1 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1206 0 0 0 10 0 0 0 20 0 1 0 555540420 28536832 1012 33554432000 4194304 6211132 140725358823792 140725358820328 5722764 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 6967 1012 811 493 0 272 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27868 KiB
Current children cumulated memory: 4048 KiB

[startup+0.20949 s]*
/proc/loadavg: 1.95 2.10 2.07 3/199 10163
/proc/meminfo: memFree=31578992/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4308 CPUtime=0.21 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1299 0 0 0 21 0 0 0 20 0 1 0 555540420 28672000 1077 33554432000 4194304 6211132 140725358823792 140725358820328 5017373 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1077 811 493 0 305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4308 KiB

[startup+0.308897 s]*
/proc/loadavg: 1.95 2.10 2.07 3/199 10163
/proc/meminfo: memFree=31578992/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4308 CPUtime=0.31 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1299 0 0 0 31 0 0 0 20 0 1 0 555540420 28672000 1077 33554432000 4194304 6211132 140725358823792 140725358820328 5380416 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1077 811 493 0 305 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4308 KiB

[startup+0.700225 s]
/proc/loadavg: 1.95 2.10 2.07 3/199 10163
/proc/meminfo: memFree=31576404/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4308 CPUtime=0.69 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1299 0 0 0 69 0 0 0 20 0 1 0 555540420 28672000 1077 33554432000 4194304 6211132 140725358823792 140725358821752 5017365 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1077 811 493 0 305 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4308 KiB

[startup+1.50023 s]
/proc/loadavg: 1.95 2.10 2.07 3/199 10163
/proc/meminfo: memFree=31571568/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4308 CPUtime=1.49 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1299 0 0 0 149 0 0 0 20 0 1 0 555540420 28672000 1077 33554432000 4194304 6211132 140725358823792 140725358821752 5186301 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1077 811 493 0 305 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4308 KiB

[startup+3.10894 s]
/proc/loadavg: 1.96 2.10 2.06 3/199 10163
/proc/meminfo: memFree=31550304/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=3.1 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1520 0 0 0 310 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017277 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+6.30022 s]
/proc/loadavg: 1.96 2.10 2.06 3/199 10163
/proc/meminfo: memFree=31521096/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=6.29 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1741 0 0 0 629 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017472 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+12.7002 s]
/proc/loadavg: 1.96 2.09 2.06 3/199 10163
/proc/meminfo: memFree=31521396/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=12.69 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 1962 0 0 0 1269 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017472 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+25.5002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10163
/proc/meminfo: memFree=31519496/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=25.49 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2549 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017476 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+29.7745 s]
# the end of solver process 10162 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.7674 s, system=0.003999 s

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

[startup+25.6002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10163
/proc/meminfo: memFree=31519496/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=25.59 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2559 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+27.2002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10165
/proc/meminfo: memFree=31518272/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=27.19 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2719 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017365 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+28.8002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10165
/proc/meminfo: memFree=31518636/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=28.79 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2879 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017564 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+29.2002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10165
/proc/meminfo: memFree=31518636/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=29.19 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2919 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017267 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 29.19 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+29.6002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10165
/proc/meminfo: memFree=31518636/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=29.59 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2959 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5017191 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 29.59 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

[startup+29.7002 s]
/proc/loadavg: 1.97 2.09 2.06 3/199 10165
/proc/meminfo: memFree=31518636/32770624 swapFree=66960356/67108860
[pid=10162] ppid=10159 vsize=28000 memory=4552 CPUtime=29.69 cores=0,2,4,6
/proc/10162/stat : 10162 (cosoco) R 10159 10162 8655 0 -1 4202496 2404 0 0 0 2969 0 0 0 20 0 1 0 555540420 28672000 1138 33554432000 4194304 6211132 140725358823792 140725358821752 5186288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22249472 140725358830603 140725358830705 140725358830705 140725358833614 0
/proc/10162/statm: 7000 1138 853 493 0 305 0
Current children cumulated CPU time: 29.69 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 4552 KiB

Child status: 0
Real time (s): 29.7746
CPU time (s): 29.7714
CPU user time (s): 29.7674
CPU system time (s): 0.003999
CPU usage (%): 99.9892
Max. virtual memory (cumulated for all children) (KiB): 28000
Max. memory (cumulated for all children) (KiB): 4552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7674
system time used= 0.003999
maximum resident set size= 4620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2442
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= 47


# summary of solver processes directly reported to runsolver:
#   pid: 10162
#   total CPU time (s): 29.7714
#   total CPU user time (s): 29.7674
#   total CPU system time (s): 0.003999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185492 second user time and 0.171884 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-29 23:31:16
IDJOB=4408533
IDBENCH=126188
IDSOLVER=2875
FILE ID=node127/4408533-1569792716
RUNJOBID= node127-1569787352-8686
PBS_JOBID= 21705826
Free space on /tmp= 61996 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-4408533-1569792716/watcher-4408533-1569792716 -o /tmp/evaluation-result-4408533-1569792716/solver-4408533-1569792716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569787352-8686 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408533-1569792716.xml

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

MD5SUM BENCH= 8e028cdc732505d0b2fced1a2b36235c
RANDOM SEED=1500266636

node127.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.55
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.55
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.55
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.55
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:        31582256 kB
MemAvailable:   31716368 kB
Buffers:          132220 kB
Cached:           329748 kB
SwapCached:        44636 kB
Active:           409532 kB
Inactive:         204324 kB
Active(anon):     104920 kB
Inactive(anon):   129064 kB
Active(file):     304612 kB
Inactive(file):    75260 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66960356 kB
Dirty:              2856 kB
Writeback:             0 kB
AnonPages:        230596 kB
Mapped:            28164 kB
Shmem:             73608 kB
Slab:             169444 kB
SReclaimable:     140148 kB
SUnreclaim:        29296 kB
KernelStack:        3760 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     678156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61992 MiB
End job on node127 at 2019-09-29 23:31:45