Trace number 4407985

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 114.456 114.454

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-12_X2.xml
MD5SUM0da6a8f2891de305d0b0efc67f372d88
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 benchmark3.28665
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
Optimization problemNO
Type of objective

Solver Data 

0.41/0.42	c root propagations     : 5352        
0.41/0.42	c restarts enabled, print stats at every restarts
0.41/0.42	c
0.41/0.42	c
0.41/0.42	c
0.41/0.42	c This is cosoco 2.00 --  
0.41/0.42	c
0.41/0.42	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407985-1569811302.xml 
0.41/0.42	c ========================================[ Problem Statistics ]===========================================
0.41/0.42	c |                                                                                                       
0.41/0.42	c |  Parse time        :         0.39 s 
0.41/0.42	c |
0.41/0.42	c |               Variables: 625
0.41/0.42	c |            Domain Sizes: 1..25
0.41/0.42	c |
0.41/0.42	c |             Constraints: 15000
0.41/0.42	c |                   Arity: 2..2  -- Binary: 15000
0.41/0.42	c | 
0.41/0.42	c |                   Types: 
0.41/0.42	c |                          Extension: 15000  (nb tuples: 0..25) -- (shared: 9456)
0.41/0.42	c |                          
0.41/0.42	c =========================================================================================================
0.41/0.42	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.41/0.44	c 101            749            203384         13975          264            0              384   427   399
0.41/0.47	c 211            1559           409338         25363          264            0              387   418   393
0.41/0.49	c 332            2004           575455         35431          264            0              8   22   15    
0.41/0.51	c 465            2533           745989         44812          264            0              24   34   31   
0.51/0.53	c 611            3027           905371         54388          264            0              23   35   31   
0.51/0.54	c 771            3596           1081622        64544          264            0              25   36   32   
0.51/0.56	c 947            4148           1273243        76064          264            0              18   28   23   
0.51/0.59	c 1140           4770           1490293        89660          264            0              22   36   31   
0.60/0.62	c 1352           5560           1786440        109102         264            0              23   36   30   
0.60/0.65	c 1585           6496           2123266        128964         264            0              10   24   17   
0.60/0.69	c 1841           7629           2506905        150674         264            0              24   35   32   
0.69/0.73	c 2122           8695           2868375        170794         264            0              16   33   29   
0.69/0.77	c 2431           9769           3250197        193945         264            0              10   27   22   
0.79/0.84	c 2770           11705          3932771        230714         264            0              18   31   26   
0.79/0.89	c 3142           13223          4386177        257294         264            0              3   34   28    
0.89/0.94	c 3551           14958          4906444        284412         264            0              24   34   31   
1.00/1.01	c 4000           16511          5510435        317958         264            0              17   27   23   
1.00/1.07	c 4493           18456          6133571        352495         264            0              4   26   23    
1.10/1.13	c 5035           20243          6749494        391006         264            0              19   26   23   
1.19/1.21	c 5631           22610          7471505        431898         264            0              16   26   24   
1.19/1.29	c 6286           24661          8229422        476594         264            0              18   26   23   
1.29/1.39	c 7006           27714          9231749        535437         264            0              7   26   23    
1.49/1.51	c 7798           30940          10358568       600394         264            0              12   26   22   
1.59/1.64	c 8669           34684          11554562       670231         264            0              2   26   21    
1.69/1.78	c 9627           38726          12894591       742261         264            0              12   26   22   
1.89/1.94	c 10680          43253          14428632       831933         264            0              5   26   21    
2.09/2.12	c 11838          48264          16035625       921259         264            0              13   26   23   
2.28/2.30	c 13111          53251          17722018       1019931        264            0              5   25   17    
2.49/2.52	c 14511          59202          19900682       1137627        264            0              13   26   21   
2.69/2.75	c 16051          65693          22021974       1259909        264            0              8   26   23    
2.89/3.00	c 17745          72805          24379711       1395631        264            0              5   26   23    
3.19/3.25	c 19608          80287          26815461       1531738        264            0              9   26   23    
3.49/3.51	c 21657          88010          29265525       1678771        264            0              9   26   21    
3.79/3.82	c 23910          97033          32150492       1847616        264            0              10   26   21   
4.19/4.23	c 26388          108379         35972010       2058453        264            0              13   26   22   
4.59/4.64	c 29113          120225         39826429       2279164        264            0              9   26   22    
5.00/5.09	c 32110          132727         44091683       2521746        264            0              12   26   22   
5.49/5.55	c 35406          145981         48440880       2779930        264            0              9   26   21    
6.00/6.04	c 39031          160289         53089977       3044772        264            0              13   25   22   
6.49/6.56	c 43018          175715         57897469       3345589        264            0              7   25   21    
7.19/7.26	c 47403          195034         64583437       3722107        264            0              8   25   22    
7.89/7.90	c 52226          213429         70642998       4085002        264            0              9   25   22    
8.59/8.67	c 57531          235838         77925428       4504061        264            0              11   25   22   
9.49/9.51	c 63366          259370         85996384       4968357        264            0              12   25   22   
10.39/10.40	c 69784          286210         94462523       5445567        264            0              5   25   22    
11.39/11.43	c 76843          315136         104299572      6014336        264            0              11   25   22   
12.49/12.55	c 84607          347319         114854832      6623807        264            0              6   25   21    
13.79/13.80	c 93147          384026         126481297      7282846        264            0              8   25   22    
15.10/15.14	c 102541         423035         139247364      8023952        264            0              6   25   21    
16.79/16.83	c 112874         471409         155123832      8937541        264            0              8   25   22    
18.29/18.38	c 124240         515521         170113218      9838686        264            0              9   25   22    
20.19/20.20	c 136742         570377         187112111      10778581       264            0              8   25   22    
21.89/21.90	c 150494         620223         203443116      11798763       264            0              6   25   21    
24.19/24.21	c 165621         688123         224957803      13005388       264            0              9   25   22    
26.69/26.79	c 182260         763310         249013788      14375641       264            0              6   25   21    
29.19/29.24	c 200562         834421         272492797      15781814       264            0              5   25   21    
32.19/32.22	c 220694         921323         300471184      17351423       264            0              6   25   22    
35.29/35.30	c 242839         1012083        329394284      19073112       264            0              8   25   21    
38.69/38.76	c 267198         1110531        362567855      21031651       264            0              6   25   22    
42.79/42.80	c 293992         1229311        400406118      23203116       264            0              6   25   22    
47.39/47.40	c 323465         1354537        444605044      25724486       264            0              6   25   22    
52.19/52.28	c 355885         1498447        490011423      28346476       264            0              3   25   22    
58.10/58.13	c 391547         1660458        545696743      31450834       264            0              6   25   22    
63.39/63.44	c 430775         1816267        596157490      34359245       264            0              5   25   21    
70.69/70.70	c 473925         2012488        665342803      38182533       264            0              4   26   21    
77.69/77.73	c 521390         2214545        731907653      42004498       264            0              4   26   21    
85.39/85.42	c 573601         2433133        805209786      46153919       264            0              3   26   22    
95.00/95.02	c 631033         2709883        894714214      51185044       264            0              4   26   22    
105.39/105.40	c 694208         3005022        992679767      56568008       264            0              2   26   21    
114.39/114.45	s UNSATISFIABLE
114.39/114.45	c restarts              : 69          
114.39/114.45	c conflicts             : 745119       (6513 /sec)
114.39/114.45	c decisions             : 3254830      (28450 /sec)
114.39/114.45	c propagations          : 61161385    (534607 /sec)
114.39/114.45	c root propagations     : 5352        
114.39/114.45	c filter calls          : 1077835015     (9421277 /sec)
114.39/114.45	c useless filter calls  : 1023926345     (94 %)
114.39/114.45	c Memory used           : 73.32 MB
114.39/114.45	c CPU time              : 114.404 s
114.39/114.45	c real time             : 114.445 s
114.39/114.45

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407985-1569811302/watcher-4407985-1569811302 -o /tmp/evaluation-result-4407985-1569811302/solver-4407985-1569811302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407985-1569811302.xml 

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

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


[startup+0.100198 s]*
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=30021532/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=28148 memory=4216 CPUtime=0.1 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 1242 0 0 0 10 0 0 0 20 0 1 0 557068449 28823552 1054 33554432000 4194304 6211132 140729178470128 140729178466664 5817917 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 7037 1054 799 493 0 342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4216 KiB

[startup+0.209477 s]*
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=30005216/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=44904 memory=20940 CPUtime=0.21 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 5478 0 0 0 20 1 0 0 20 0 1 0 557068449 45981696 5235 33554432000 4194304 6211132 140729178470128 140729178466664 5810242 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 11226 5235 808 493 0 4531 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44904 KiB
Current children cumulated memory: 20940 KiB

[startup+0.309952 s]*
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=29989824/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=61084 memory=37308 CPUtime=0.3 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 9530 0 0 0 29 1 0 0 20 0 1 0 557068449 62550016 9327 33554432000 4194304 6211132 140729178470128 140729178466664 5735498 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 15271 9327 808 493 0 8576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61084 KiB
Current children cumulated memory: 37308 KiB

[startup+0.700372 s]
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=29974696/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51564 CPUtime=0.69 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 13105 0 0 0 67 2 0 0 20 0 1 0 557068449 76877824 12891 33554432000 4194304 6211132 140729178470128 140729178466664 5009210 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12891 854 493 0 12074 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51564 KiB

[startup+1.50036 s]
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=29974696/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51564 CPUtime=1.49 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 13105 0 0 0 147 2 0 0 20 0 1 0 557068449 76877824 12891 33554432000 4194304 6211132 140729178470128 140729178468088 5008958 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12891 854 493 0 12074 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51564 KiB

[startup+3.10943 s]
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=29974332/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=3.1 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 20599 0 0 0 307 3 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5186344 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+6.30035 s]
/proc/loadavg: 1.93 2.07 2.09 3/199 8105
/proc/meminfo: memFree=29974108/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=6.29 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 28095 0 0 0 626 3 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5389460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+12.7004 s]
/proc/loadavg: 1.94 2.07 2.09 3/199 8107
/proc/meminfo: memFree=29973972/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=12.69 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 35673 0 0 0 1266 3 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5008827 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.07 2.09 3/199 8107
/proc/meminfo: memFree=29974636/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=25.49 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 50779 0 0 0 2545 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5017491 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+51.1094 s]
/proc/loadavg: 1.97 2.07 2.09 3/199 8108
/proc/meminfo: memFree=29974696/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=51.1 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 58411 0 0 0 5106 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.06 2.09 3/199 8113
/proc/meminfo: memFree=29974120/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=102.29 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 10225 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+114.454 s]
# the end of solver process 8104 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=114.404 s, system=0.052001 s

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

[startup+102.4 s]
/proc/loadavg: 1.99 2.06 2.09 3/199 8113
/proc/meminfo: memFree=29974120/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=102.39 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 10235 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5017277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 102.39 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+108.8 s]
/proc/loadavg: 1.99 2.05 2.08 3/199 8114
/proc/meminfo: memFree=29974604/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=108.79 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 10875 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5017280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 108.79 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+112 s]*
/proc/loadavg: 1.99 2.05 2.08 3/199 8114
/proc/meminfo: memFree=29974292/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=112 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 11196 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5008831 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 112 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+113.6 s]
/proc/loadavg: 1.99 2.05 2.08 3/199 8114
/proc/meminfo: memFree=29974292/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=113.59 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 11355 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5017472 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 113.59 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+114 s]*
/proc/loadavg: 1.99 2.05 2.08 3/199 8114
/proc/meminfo: memFree=29974292/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=114 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 11396 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5017277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 114 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

[startup+114.4 s]
/proc/loadavg: 1.99 2.05 2.08 3/199 8114
/proc/meminfo: memFree=29974292/32770624 swapFree=66997324/67108860
[pid=8104] ppid=8101 vsize=75076 memory=51656 CPUtime=114.39 cores=0,2,4,6
/proc/8104/stat : 8104 (cosoco) R 8101 8104 2465 0 -1 4202496 65997 0 0 0 11435 4 0 0 20 0 1 0 557068449 76877824 12914 33554432000 4194304 6211132 140729178470128 140729178468088 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30699520 140729178473483 140729178473585 140729178473585 140729178476494 0
/proc/8104/statm: 18769 12914 854 493 0 12074 0
Current children cumulated CPU time: 114.39 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51656 KiB

Child status: 0
Real time (s): 114.454
CPU time (s): 114.456
CPU user time (s): 114.404
CPU system time (s): 0.052001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 75076
Max. memory (cumulated for all children) (KiB): 51656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.404
system time used= 0.052001
maximum resident set size= 51724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66038
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= 14
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 8104
#   total CPU time (s): 114.456
#   total CPU user time (s): 114.404
#   total CPU system time (s): 0.052001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.620202 second user time and 0.65294 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-30 04:41:00
IDJOB=4407985
IDBENCH=139116
IDSOLVER=2874
FILE ID=node140/4407985-1569811302
RUNJOBID= node140-1569787351-2496
PBS_JOBID= 21705822
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407985-1569811302/watcher-4407985-1569811302 -o /tmp/evaluation-result-4407985-1569811302/solver-4407985-1569811302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2496 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407985-1569811302.xml

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

MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88
RANDOM SEED=1299423188

node140.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.43
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.43
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.43
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.43
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:        30022716 kB
MemAvailable:   31444064 kB
Buffers:          218960 kB
Cached:          1539932 kB
SwapCached:         3056 kB
Active:          1819916 kB
Inactive:         378052 kB
Active(anon):     446504 kB
Inactive(anon):    72436 kB
Active(file):    1373412 kB
Inactive(file):   305616 kB
Unevictable:      107036 kB
Mlocked:          107036 kB
SwapTotal:      67108860 kB
SwapFree:       66997324 kB
Dirty:              2720 kB
Writeback:             0 kB
AnonPages:        672996 kB
Mapped:            27972 kB
Shmem:             71208 kB
Slab:             145048 kB
SReclaimable:     116312 kB
SUnreclaim:        28736 kB
KernelStack:        3552 kB
PageTables:         6304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     998836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    624640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62024 MiB
End job on node140 at 2019-09-30 04:42:54