Trace number 4408866

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 NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0? (exit code) 312.56 312.619

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-10-opt_c18.xml
MD5SUMd97bf760713e7741c92fd1268dd09e15
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4689
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}]
Number of extensional constraints4409
Number of intensional constraints280
Distribution of constraint types[{"type":"extension","count":4409},{"type":"intension","count":280}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

8.19/8.27	c
8.19/8.27	c This is cosoco 2.00 --  
8.19/8.27	c
8.19/8.27	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408866-1569811333.xml 
8.19/8.27	c enable optimization
8.19/8.27	c ========================================[ Problem Statistics ]===========================================
8.19/8.27	c |                                                                                                       
8.19/8.27	c |  Parse time        :         6.56 s 
8.19/8.27	c |
8.19/8.27	c |               Variables: 4749
8.19/8.27	c |            Domain Sizes: 2..44
8.19/8.27	c |
8.19/8.27	c |             Constraints: 4690
8.19/8.27	c |                   Arity: 1..4069  -- Unary: 280  -- Binary: 646  -- Ternary: 3763
8.19/8.27	c | 
8.19/8.27	c |                   Types: 
8.19/8.27	c |                          Extension: 4409  (nb tuples: 6..1936) -- (shared: 3337)
8.19/8.27	c |                          Sum: 1
8.19/8.27	c |                          Unary: 280
8.19/8.27	c |                          
8.19/8.27	c |               Objective: Minimize Sum
8.19/8.27	
8.19/8.27	c =========================================================================================================
8.19/8.27	o 2250853
8.19/8.28	c    1 calls to solver(id=0): best=2250853 lower=0 upper=2250852 
10.69/10.78	o 2250754
13.28/13.30	o 2250753
13.28/13.30	c    3 calls to solver(id=0): best=2250753 lower=0 upper=2250752 
15.69/15.72	o 2250653
18.00/18.08	o 2050653
18.00/18.08	c    5 calls to solver(id=0): best=2050653 lower=0 upper=2050652 
20.49/20.52	o 2050462
22.79/22.87	o 2030462
22.79/22.87	c    7 calls to solver(id=0): best=2030462 lower=0 upper=2030461 
25.18/25.20	o 2012662
27.48/27.50	o 2010666
27.48/27.51	c    9 calls to solver(id=0): best=2010666 lower=0 upper=2010665 
29.78/29.84	o 1991666
32.10/32.12	o 1991664
32.10/32.12	c   11 calls to solver(id=0): best=1991664 lower=0 upper=1991663 
34.29/34.38	o 1991663
36.58/36.64	o 1971663
36.58/36.64	c   13 calls to solver(id=0): best=1971663 lower=0 upper=1971662 
38.78/38.88	o 1970764
41.09/41.13	o 1950864
41.09/41.14	c   15 calls to solver(id=0): best=1950864 lower=0 upper=1950863 
43.28/43.38	o 1750864
45.58/45.63	o 1730966
45.58/45.63	c   17 calls to solver(id=0): best=1730966 lower=0 upper=1730965 
47.78/47.84	o 1730863
49.99/50.05	o 1530864
49.99/50.05	c   19 calls to solver(id=0): best=1530864 lower=0 upper=1530863 
52.18/52.23	o 1530667
54.47/54.52	o 1529667
54.47/54.52	c   21 calls to solver(id=0): best=1529667 lower=0 upper=1529666 
56.67/56.71	o 1527667
58.76/58.86	o 1527666
58.76/58.86	c   23 calls to solver(id=0): best=1527666 lower=0 upper=1527665 
65.26/65.38	o 1381101
67.47/67.56	o 1380101
67.47/67.56	c   25 calls to solver(id=0): best=1380101 lower=0 upper=1380100 
69.67/69.73	o 1380001
71.87/71.90	o 1380000
71.87/71.91	c   27 calls to solver(id=0): best=1380000 lower=0 upper=1379999 
73.97/74.09	o 1379998
78.16/78.23	o 1379898
78.16/78.23	c   29 calls to solver(id=0): best=1379898 lower=0 upper=1379897 
82.26/82.33	o 1379896
84.36/84.48	o 1379895
84.36/84.48	c   31 calls to solver(id=0): best=1379895 lower=0 upper=1379894 
88.45/88.55	o 1379795
92.55/92.60	o 1379695
92.55/92.60	c   33 calls to solver(id=0): best=1379695 lower=0 upper=1379694 
98.45/98.50	o 1379693
102.45/102.52	o 1379692
102.45/102.52	c   35 calls to solver(id=0): best=1379692 lower=0 upper=1379691 
108.24/108.33	o 1379592
112.14/112.25	o 1379591
112.14/112.26	c   37 calls to solver(id=0): best=1379591 lower=0 upper=1379590 
114.24/114.32	o 1379491
119.94/120.04	o 1379291
119.94/120.04	c   39 calls to solver(id=0): best=1379291 lower=0 upper=1379290 
125.63/125.73	o 1379191
129.44/129.59	o 1379190
129.54/129.60	c   41 calls to solver(id=0): best=1379190 lower=0 upper=1379189 
135.23/135.30	o 1359190
139.04/139.16	o 1359188
139.04/139.16	c   43 calls to solver(id=0): best=1359188 lower=0 upper=1359187 
144.73/144.85	o 1358988
146.73/146.89	o 1358987
146.73/146.89	c   45 calls to solver(id=0): best=1358987 lower=0 upper=1358986 
152.43/152.59	o 1358985
158.04/158.18	o 1358084
158.04/158.18	c   47 calls to solver(id=0): best=1358084 lower=0 upper=1358083 
163.62/163.70	o 1338085
169.12/169.24	o 1337885
169.12/169.24	c   49 calls to solver(id=0): best=1337885 lower=0 upper=1337884 
174.62/174.73	o 1337685
178.32/178.47	o 1337585
178.32/178.47	c   51 calls to solver(id=0): best=1337585 lower=0 upper=1337584 
183.82/183.90	o 1337483
185.72/185.89	o 1337383
185.72/185.89	c   53 calls to solver(id=0): best=1337383 lower=0 upper=1337382 
191.12/191.28	o 1337381
196.52/196.63	o 1335382
196.52/196.63	c   55 calls to solver(id=0): best=1335382 lower=0 upper=1335381 
201.82/201.99	o 1335182
205.22/205.40	o 1335082
205.32/205.40	c   57 calls to solver(id=0): best=1335082 lower=0 upper=1335081 
210.62/210.75	o 1334882
215.93/216.03	o 1334685
215.93/216.03	c   59 calls to solver(id=0): best=1334685 lower=0 upper=1334684 
221.33/221.45	o 1334485
226.63/226.77	o 1334383
226.63/226.77	c   61 calls to solver(id=0): best=1334383 lower=0 upper=1334382 
231.94/232.08	o 1334183
237.23/237.34	o 1333983
237.23/237.34	c   63 calls to solver(id=0): best=1333983 lower=0 upper=1333982 
242.53/242.67	o 1333783
247.94/248.08	o 1333583
247.94/248.08	c   65 calls to solver(id=0): best=1333583 lower=0 upper=1333582 
253.04/253.19	o 1333581
258.04/258.16	o 1333481
258.04/258.16	c   67 calls to solver(id=0): best=1333481 lower=0 upper=1333480 
264.94/265.06	o 1331986
271.94/272.02	o 1331785
271.94/272.02	c   69 calls to solver(id=0): best=1331785 lower=0 upper=1331784 
278.94/279.02	o 1331782
285.73/285.88	o 1331582
285.73/285.88	c   71 calls to solver(id=0): best=1331582 lower=0 upper=1331581 
292.53/292.69	o 1331382
299.13/299.23	o 1331182
299.13/299.23	c   73 calls to solver(id=0): best=1331182 lower=0 upper=1331181 
305.63/305.73	o 1329493
312.53/312.61	Solution Error : constraint number 4270 (name ) is not valid

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408866-1569811333/watcher-4408866-1569811333 -o /tmp/evaluation-result-4408866-1569811333/solver-4408866-1569811333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408866-1569811333.xml 

running on 4 cores: 0-3

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=32481, runsolver pid=32478

[startup+0.100316 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 32482
/proc/meminfo: memFree=31458776/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=33956 memory=10268 CPUtime=0.1 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 2752 0 0 0 10 0 0 0 20 0 1 0 557074889 34770944 2567 33554432000 4194304 6211132 140730137541760 140730137539032 139999425664128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 8489 2567 815 493 0 1794 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33956 KiB
Current children cumulated memory: 10268 KiB

[startup+0.21084 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 32482
/proc/meminfo: memFree=31456980/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=36036 memory=12116 CPUtime=0.21 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 3243 0 0 0 21 0 0 0 20 0 1 0 557074889 36900864 3029 33554432000 4194304 6211132 140730137541760 140730137539032 5519554 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 9009 3029 816 493 0 2314 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36036 KiB
Current children cumulated memory: 12116 KiB

[startup+0.310161 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 32482
/proc/meminfo: memFree=31454884/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=38144 memory=14416 CPUtime=0.31 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 3794 0 0 0 31 0 0 0 20 0 1 0 557074889 39059456 3604 33554432000 4194304 6211132 140730137541760 140730137539032 5743398 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 9536 3604 816 493 0 2841 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 14416 KiB

[startup+0.700258 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 32482
/proc/meminfo: memFree=31450048/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=46552 memory=22596 CPUtime=0.68 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 5847 0 0 0 68 0 0 0 20 0 1 0 557074889 47669248 5649 33554432000 4194304 6211132 140730137541760 140730137539032 5484897 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 11638 5649 816 493 0 4943 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46552 KiB
Current children cumulated memory: 22596 KiB

[startup+1.50026 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 32482
/proc/meminfo: memFree=31440192/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=63032 memory=38784 CPUtime=1.48 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 9920 0 0 0 147 1 0 0 20 0 1 0 557074889 64544768 9696 33554432000 4194304 6211132 140730137541760 140730137539032 5567656 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 15758 9696 816 493 0 9063 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63032 KiB
Current children cumulated memory: 38784 KiB

[startup+3.11068 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 32484
/proc/meminfo: memFree=31381224/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=110060 memory=85424 CPUtime=3.09 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 22790 0 0 0 307 2 0 0 20 0 1 0 557074889 112701440 21356 33554432000 4194304 6211132 140730137541760 140730137539032 5812093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 27515 21356 819 493 0 20820 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 85424 KiB

[startup+6.30029 s]
/proc/loadavg: 2.07 2.03 2.05 3/200 32484
/proc/meminfo: memFree=31316136/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=184336 memory=158804 CPUtime=6.29 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 42579 0 0 0 623 6 0 0 20 0 1 0 557074889 188760064 39701 33554432000 4194304 6211132 140730137541760 140730137537416 5818703 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 46084 39701 819 493 0 39389 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 184336 KiB
Current children cumulated memory: 158804 KiB

[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 32484
/proc/meminfo: memFree=31131252/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=367980 memory=337676 CPUtime=12.69 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 135495 0 0 0 1255 14 0 0 20 0 1 0 557074889 376811520 84419 33554432000 4194304 6211132 140730137541760 140730137539896 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 91995 84419 875 493 0 85300 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 367980 KiB
Current children cumulated memory: 337676 KiB

[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 32484
/proc/meminfo: memFree=31123732/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=377492 memory=346816 CPUtime=25.48 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 187567 0 0 0 2530 18 0 0 20 0 1 0 557074889 386551808 86704 33554432000 4194304 6211132 140730137541760 140730137529640 5027225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 94373 86704 875 493 0 87678 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 377492 KiB
Current children cumulated memory: 346816 KiB

[startup+51.1108 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 32487
/proc/meminfo: memFree=31118008/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=379504 memory=349076 CPUtime=51.09 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 235102 0 0 0 5087 22 0 0 20 0 1 0 557074889 388612096 87269 33554432000 4194304 6211132 140730137541760 140730137529640 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 94876 87269 875 493 0 88181 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 379504 KiB
Current children cumulated memory: 349076 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 32491
/proc/meminfo: memFree=31110424/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=385268 memory=355736 CPUtime=102.25 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 303711 0 0 0 10199 26 0 0 20 0 1 0 557074889 394514432 88934 33554432000 4194304 6211132 140730137541760 140730137539896 5032641 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 96317 88934 875 493 0 89622 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 385268 KiB
Current children cumulated memory: 355736 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 32559
/proc/meminfo: memFree=31091748/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=386108 memory=356756 CPUtime=162.22 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 324706 0 0 0 16194 28 0 0 20 0 1 0 557074889 395374592 89189 33554432000 4194304 6211132 140730137541760 140730137529640 5193776 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 96527 89189 875 493 0 89832 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 386108 KiB
Current children cumulated memory: 356756 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32563
/proc/meminfo: memFree=31086520/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=386948 memory=360264 CPUtime=222.23 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 337549 0 0 0 22193 30 0 0 20 0 1 0 557074889 396234752 90066 33554432000 4194304 6211132 140730137541760 140730137539896 5250330 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 96737 90066 875 493 0 90042 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 386948 KiB
Current children cumulated memory: 360264 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081060/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=387936 memory=364284 CPUtime=282.23 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340150 0 0 0 28193 30 0 0 20 0 1 0 557074889 397246464 91071 33554432000 4194304 6211132 140730137541760 140730137539896 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 96984 91071 875 493 0 90289 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 387936 KiB
Current children cumulated memory: 364284 KiB

[startup+312.619 s]
# the end of solver process 32481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=312.252 s, system=0.308007 s

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

[startup+294.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081216/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388168 memory=364416 CPUtime=294.33 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340266 0 0 0 29403 30 0 0 20 0 1 0 557074889 397484032 91104 33554432000 4194304 6211132 140730137541760 140730137539896 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97042 91104 875 493 0 90347 0
Current children cumulated CPU time: 294.33 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364416 KiB

[startup+300.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081308/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388168 memory=364416 CPUtime=300.73 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340280 0 0 0 30043 30 0 0 20 0 1 0 557074889 397484032 91104 33554432000 4194304 6211132 140730137541760 140730137539896 5250497 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97042 91104 875 493 0 90347 0
Current children cumulated CPU time: 300.73 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364416 KiB

[startup+307.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081184/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388168 memory=364416 CPUtime=307.13 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340298 0 0 0 30683 30 0 0 20 0 1 0 557074889 397484032 91104 33554432000 4194304 6211132 140730137541760 140730137539896 5155976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97042 91104 875 493 0 90347 0
Current children cumulated CPU time: 307.13 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364416 KiB

[startup+310.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081176/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388168 memory=364472 CPUtime=310.33 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341197 0 0 0 31003 30 0 0 20 0 1 0 557074889 397484032 91118 33554432000 4194304 6211132 140730137541760 140730137539896 5157572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97042 91118 875 493 0 90347 0
Current children cumulated CPU time: 310.33 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364472 KiB

[startup+312 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081300/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388168 memory=364472 CPUtime=311.94 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341285 0 0 0 31164 30 0 0 20 0 1 0 557074889 397484032 91118 33554432000 4194304 6211132 140730137541760 140730137539896 5250321 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97042 91118 875 493 0 90347 0
Current children cumulated CPU time: 311.94 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364472 KiB

[startup+312.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081300/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388168 memory=364472 CPUtime=312.33 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341294 0 0 0 31203 30 0 0 20 0 1 0 557074889 397484032 91118 33554432000 4194304 6211132 140730137541760 140730137539896 5158055 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97042 91118 875 493 0 90347 0
Current children cumulated CPU time: 312.33 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364472 KiB

[startup+312.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32569
/proc/meminfo: memFree=31081300/32770688 swapFree=67001380/67108860
[pid=32481] ppid=32478 vsize=388312 memory=364512 CPUtime=312.53 cores=0-3
/proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341367 0 0 0 31223 30 0 0 20 0 1 0 557074889 397631488 91128 33554432000 4194304 6211132 140730137541760 140730137539896 5392110 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0
/proc/32481/statm: 97078 91128 875 493 0 90383 0
Current children cumulated CPU time: 312.53 s
Current children cumulated vsize: 388312 KiB
Current children cumulated memory: 364512 KiB

Child status: 1
Real time (s): 312.619
CPU time (s): 312.56
CPU user time (s): 312.252
CPU system time (s): 0.308007
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 388312
Max. memory (cumulated for all children) (KiB): 364512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.252
system time used= 0.308007
maximum resident set size= 364600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341399
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= 108
involuntary context switches= 550


# summary of solver processes directly reported to runsolver:
#   pid: 32481
#   total CPU time (s): 312.56
#   total CPU user time (s): 312.252
#   total CPU system time (s): 0.308007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46498 second user time and 2.43519 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-30 04:41:31
IDJOB=4408866
IDBENCH=141098
IDSOLVER=2875
FILE ID=node116/4408866-1569811333
RUNJOBID= node116-1569787351-26363
PBS_JOBID= 21705835
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-10-opt_c18.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408866-1569811333/watcher-4408866-1569811333 -o /tmp/evaluation-result-4408866-1569811333/solver-4408866-1569811333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408866-1569811333.xml

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

MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15
RANDOM SEED=1833346197

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        31465520 kB
MemAvailable:   31850848 kB
Buffers:          197072 kB
Cached:           508356 kB
SwapCached:         3344 kB
Active:           397376 kB
Inactive:         319816 kB
Active(anon):      29172 kB
Inactive(anon):    63420 kB
Active(file):     368204 kB
Inactive(file):   256396 kB
Unevictable:      108916 kB
Mlocked:          108916 kB
SwapTotal:      67108860 kB
SwapFree:       67001380 kB
Dirty:             18208 kB
Writeback:             0 kB
AnonPages:        118420 kB
Mapped:            28332 kB
Shmem:             72416 kB
Slab:             183876 kB
SReclaimable:     153124 kB
SUnreclaim:        30752 kB
KernelStack:        3552 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     573976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node116 at 2019-09-30 04:46:44