Trace number 4389445

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2UNSAT 97.022 97.0223

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-4389445-1568358538.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.50	c 465            2533           745989         44812          264            0              24   34   31   
0.51/0.52	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.58	c 1140           4770           1490293        89660          264            0              22   36   31   
0.60/0.61	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.72	c 2122           8695           2868375        170794         264            0              16   33   29   
0.69/0.76	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.88	c 3142           13223          4386177        257294         264            0              3   34   28    
0.89/0.94	c 3551           14958          4906444        284412         264            0              24   34   31   
0.89/1.00	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.28	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.50	c 7798           30940          10358568       600394         264            0              12   26   22   
1.59/1.63	c 8669           34684          11554562       670231         264            0              2   26   21    
1.69/1.77	c 9627           38726          12894591       742261         264            0              12   26   22   
1.89/1.93	c 10680          43253          14428632       831933         264            0              5   26   21    
2.10/2.11	c 11838          48264          16035625       921259         264            0              13   26   23   
2.19/2.29	c 13111          53251          17722018       1019931        264            0              5   25   17    
2.49/2.51	c 14511          59202          19900682       1137627        264            0              13   26   21   
2.69/2.74	c 16051          65693          22021974       1259909        264            0              8   26   23    
2.89/2.98	c 17745          72805          24379711       1395631        264            0              5   26   23    
3.19/3.24	c 19608          80287          26815461       1531738        264            0              9   26   23    
3.49/3.50	c 21657          88010          29265525       1678771        264            0              9   26   21    
3.79/3.81	c 23910          97033          32150492       1847616        264            0              10   26   21   
4.19/4.21	c 26388          108379         35972010       2058453        264            0              13   26   22   
4.59/4.62	c 29113          120225         39826429       2279164        264            0              9   26   22    
5.00/5.07	c 32110          132727         44091683       2521746        264            0              12   26   22   
5.49/5.53	c 35406          145981         48440880       2779930        264            0              9   26   21    
6.00/6.02	c 39031          160289         53089977       3044772        264            0              13   25   22   
6.49/6.53	c 43018          175715         57897469       3345589        264            0              7   25   21    
7.19/7.23	c 47403          195034         64583437       3722107        264            0              8   25   22    
7.79/7.87	c 52226          213429         70642998       4085002        264            0              9   25   22    
8.59/8.64	c 57531          235838         77925428       4504061        264            0              11   25   22   
9.39/9.47	c 63366          259370         85996384       4968357        264            0              12   25   22   
10.29/10.37	c 69784          286210         94462523       5445567        264            0              5   25   22    
11.29/11.39	c 76843          315136         104299572      6014336        264            0              11   25   22   
12.49/12.50	c 84607          347319         114854832      6623807        264            0              6   25   21    
13.69/13.75	c 93147          384026         126481297      7282846        264            0              8   25   22    
15.00/15.08	c 102541         423035         139247364      8023952        264            0              6   25   21    
16.69/16.76	c 112874         471409         155123832      8937541        264            0              8   25   22    
18.29/18.31	c 124240         515521         170113218      9838686        264            0              9   25   22    
20.10/20.12	c 136742         570377         187112111      10778581       264            0              8   25   22    
21.79/21.82	c 150494         620223         203443116      11798763       264            0              6   25   21    
24.10/24.12	c 165621         688123         224957803      13005388       264            0              9   25   22    
26.59/26.69	c 182260         763310         249013788      14375641       264            0              6   25   21    
29.10/29.12	c 200562         834421         272492797      15781814       264            0              5   25   21    
32.00/32.06	c 220694         921323         300471184      17351423       264            0              6   25   22    
35.00/35.10	c 242839         1012083        329394284      19073112       264            0              8   25   21    
38.39/38.48	c 267198         1110531        362567855      21031651       264            0              6   25   22    
42.19/42.27	c 293992         1229311        400406118      23203116       264            0              6   25   22    
46.59/46.60	c 323465         1354537        444605044      25724486       264            0              6   25   22    
50.59/50.65	c 355885         1498447        490011423      28346476       264            0              3   25   22    
55.29/55.38	c 391547         1660458        545696743      31450834       264            0              6   25   22    
59.48/59.51	c 430775         1816267        596157490      34359245       264            0              5   25   21    
64.78/64.87	c 473925         2012488        665342803      38182533       264            0              4   26   21    
69.99/70.06	c 521390         2214545        731907653      42004498       264            0              4   26   21    
75.69/75.75	c 573601         2433133        805209786      46153919       264            0              3   26   22    
82.69/82.76	c 631033         2709883        894714214      51185044       264            0              4   26   22    
90.29/90.39	c 694208         3005022        992679767      56568008       264            0              2   26   21    
97.00/97.02	s UNSATISFIABLE
97.00/97.02	c restarts              : 69          
97.00/97.02	c conflicts             : 745119       (7683 /sec)
97.00/97.02	c decisions             : 3254830      (33560 /sec)
97.00/97.02	c propagations          : 61161385    (630627 /sec)
97.00/97.02	c root propagations     : 5352        
97.00/97.02	c filter calls          : 1077835015     (11113418 /sec)
97.00/97.02	c useless filter calls  : 1023926345     (94 %)
97.00/97.02	c Memory used           : 73.32 MB
97.00/97.02	c CPU time              : 96.9849 s
97.00/97.02	c real time             : 97.0166 s
97.00/97.02

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389445-1568358538/watcher-4389445-1568358538 -o /tmp/evaluation-result-4389445-1568358538/solver-4389445-1568358538 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568354843-23221 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389445-1568358538.xml 

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

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=23243, runsolver pid=23237
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 1.00 1.28 1.69 3/198 23251
/proc/meminfo: memFree=31657264/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=28148 memory=4216 CPUtime=0.1 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 1239 0 0 0 10 0 0 0 20 0 1 0 412112208 28823552 1054 33554432000 4194304 6210612 140736915757312 140736915753848 5721684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 7037 1054 796 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.209485 s]*
/proc/loadavg: 1.00 1.28 1.69 3/198 23251
/proc/meminfo: memFree=31624788/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=44904 memory=20928 CPUtime=0.2 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 5474 0 0 0 20 0 0 0 20 0 1 0 412112208 45981696 5232 33554432000 4194304 6210612 140736915757312 140736915753848 139982191522682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 11226 5232 805 493 0 4531 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44904 KiB
Current children cumulated memory: 20928 KiB

[startup+0.309573 s]*
/proc/loadavg: 1.00 1.28 1.69 3/198 23251
/proc/meminfo: memFree=31605072/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=61084 memory=37296 CPUtime=0.3 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 9529 0 0 0 29 1 0 0 20 0 1 0 412112208 62550016 9324 33554432000 4194304 6210612 140736915757312 140736915753848 139982204224347 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 15271 9324 805 493 0 8576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61084 KiB
Current children cumulated memory: 37296 KiB

[startup+0.700315 s]
/proc/loadavg: 1.00 1.28 1.69 3/198 23251
/proc/meminfo: memFree=31566864/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51552 CPUtime=0.69 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 13101 0 0 0 67 2 0 0 20 0 1 0 412112208 76877824 12888 33554432000 4194304 6210612 140736915757312 140736915755272 5008730 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12888 851 493 0 12074 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51552 KiB

[startup+1.50029 s]
/proc/loadavg: 1.00 1.28 1.69 3/198 23251
/proc/meminfo: memFree=31566936/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51552 CPUtime=1.49 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 13101 0 0 0 147 2 0 0 20 0 1 0 412112208 76877824 12888 33554432000 4194304 6210612 140736915757312 140736915755272 5016909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12888 851 493 0 12074 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51552 KiB

[startup+3.10935 s]
/proc/loadavg: 0.92 1.26 1.68 3/198 23251
/proc/meminfo: memFree=31566700/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51644 CPUtime=3.1 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 20595 0 0 0 308 2 0 0 20 0 1 0 412112208 76877824 12911 33554432000 4194304 6210612 140736915757312 140736915755272 5008626 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12911 851 493 0 12074 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51644 KiB

[startup+6.30028 s]
/proc/loadavg: 0.92 1.26 1.68 3/198 23251
/proc/meminfo: memFree=31566700/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51644 CPUtime=6.29 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 28091 0 0 0 627 2 0 0 20 0 1 0 412112208 76877824 12911 33554432000 4194304 6210612 140736915757312 140736915755272 5016909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12911 851 493 0 12074 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51644 KiB

[startup+12.7003 s]
/proc/loadavg: 1.09 1.28 1.68 3/198 23251
/proc/meminfo: memFree=31565912/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51644 CPUtime=12.69 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 35669 0 0 0 1267 2 0 0 20 0 1 0 412112208 76877824 12911 33554432000 4194304 6210612 140736915757312 140736915755272 5016997 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12911 851 493 0 12074 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51644 KiB

[startup+25.5003 s]
/proc/loadavg: 1.23 1.30 1.68 3/198 23251
/proc/meminfo: memFree=31565660/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51644 CPUtime=25.49 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 50775 0 0 0 2546 3 0 0 20 0 1 0 412112208 76877824 12911 33554432000 4194304 6210612 140736915757312 140736915755272 5016909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12911 851 493 0 12074 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51644 KiB

[startup+51.1094 s]
/proc/loadavg: 1.43 1.34 1.69 3/198 23254
/proc/meminfo: memFree=31566876/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=51.09 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 56985 0 0 0 5106 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5185930 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+97.0223 s]
# the end of solver process 23243 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=96.985 s, system=0.037005 s

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

[startup+51.2003 s]
/proc/loadavg: 1.43 1.34 1.69 3/198 23254
/proc/meminfo: memFree=31566876/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=51.19 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 56985 0 0 0 5116 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5389268 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 51.19 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+76.8003 s]
/proc/loadavg: 1.63 1.40 1.69 3/199 23257
/proc/meminfo: memFree=31567072/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=76.79 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 7676 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5409284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 76.79 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+89.6003 s]
/proc/loadavg: 1.71 1.43 1.70 3/198 23257
/proc/meminfo: memFree=31567136/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=89.59 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 8956 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5409301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 89.59 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+92.8003 s]
/proc/loadavg: 1.71 1.43 1.70 3/198 23257
/proc/meminfo: memFree=31566732/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=92.79 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 9276 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5016853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 92.79 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+94.4003 s]
/proc/loadavg: 1.73 1.44 1.70 3/198 23257
/proc/meminfo: memFree=31566732/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=94.39 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 9436 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5389284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 94.39 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+96.0003 s]*
/proc/loadavg: 1.73 1.44 1.70 3/198 23257
/proc/meminfo: memFree=31566732/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=96 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 9597 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5016909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 96 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+96.8003 s]
/proc/loadavg: 1.73 1.44 1.70 3/198 23257
/proc/meminfo: memFree=31566732/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=96.79 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 9676 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5017005 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 96.79 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

[startup+97.0003 s]*
/proc/loadavg: 1.73 1.44 1.70 3/198 23257
/proc/meminfo: memFree=31566732/32770624 swapFree=66935948/67108860
[pid=23243] ppid=23237 vsize=75076 memory=51648 CPUtime=97 cores=1,3,5,7
/proc/23243/stat : 23243 (cosoco) R 23237 23243 23189 0 -1 4202496 57184 0 0 0 9697 3 0 0 20 0 1 0 412112208 76877824 12912 33554432000 4194304 6210612 140736915757312 140736915755272 5409264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 16297984 140736915760139 140736915760241 140736915760241 140736915763150 0
/proc/23243/statm: 18769 12912 851 493 0 12074 0
Current children cumulated CPU time: 97 s
Current children cumulated vsize: 75076 KiB
Current children cumulated memory: 51648 KiB

Child status: 0
Real time (s): 97.0223
CPU time (s): 97.022
CPU user time (s): 96.985
CPU system time (s): 0.037005
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 75076
Max. memory (cumulated for all children) (KiB): 51648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.985
system time used= 0.037005
maximum resident set size= 51720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57225
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= 32
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 23243
#   total CPU time (s): 97.022
#   total CPU user time (s): 96.985
#   total CPU system time (s): 0.037005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.38759 second user time and 0.680164 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-13 08:07:23
IDJOB=4389445
IDBENCH=139116
IDSOLVER=2829
FILE ID=node105/4389445-1568358538
RUNJOBID= node105-1568354843-23221
PBS_JOBID= 21701199
Free space on /tmp= 54372 MiB

SOLVER NAME= cosoco 2
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-4389445-1568358538/watcher-4389445-1568358538 -o /tmp/evaluation-result-4389445-1568358538/solver-4389445-1568358538 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568354843-23221 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389445-1568358538.xml

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

MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88
RANDOM SEED=971895804

node105.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.00
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.00
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.00
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.00
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:        31666080 kB
MemAvailable:   31855884 kB
Buffers:          136360 kB
Cached:           342208 kB
SwapCached:        68660 kB
Active:           225892 kB
Inactive:         321712 kB
Active(anon):      11692 kB
Inactive(anon):    89940 kB
Active(file):     214200 kB
Inactive(file):   231772 kB
Unevictable:      111220 kB
Mlocked:          111220 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:              3504 kB
Writeback:             0 kB
AnonPages:        112924 kB
Mapped:            34772 kB
Shmem:             23608 kB
Slab:             147212 kB
SReclaimable:     119332 kB
SUnreclaim:        27880 kB
KernelStack:        3280 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54364 MiB
End job on node105 at 2019-09-13 08:09:01