Trace number 4294654

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 1.12UNSAT 20.539 20.5394

General information on the benchmark

NameDubois/
Dubois-018_c18.xml
MD5SUM87315209bf8a3d7a2526762832107213
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 benchmark0.007168
Satisfiable
(Un)Satisfiability was proved
Number of variables54
Number of constraints36
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":54}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":54}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":36}]
Number of extensional constraints36
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":36}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294654-1532481386.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 54
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 36
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 36
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 36  (nb tuples: 4..4) -- (shared: 31)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 101            916            3708           3541           0              0              18   51   39   
0.00/0.00	c 211            1625           6282           5992           0              0              26   43   39   
0.00/0.01	c 332            2364           8826           8418           0              0              11   37   27   
0.00/0.01	c 465            3083           11477          10914          0              0              36   53   46   
0.00/0.01	c 611            4028           14791          14100          0              0              32   49   46   
0.00/0.01	c 771            5121           18516          17693          0              0              23   41   35   
0.00/0.01	c 947            5966           21614          20606          0              0              8   52   42    
0.00/0.01	c 1140           7319           26447          25302          0              0              21   48   41   
0.00/0.01	c 1352           8688           31170          29878          0              0              22   50   41   
0.00/0.02	c 1585           10177          36696          35256          0              0              30   49   43   
0.00/0.02	c 1841           11943          43072          41330          0              0              15   48   40   
0.00/0.02	c 2122           13507          49142          47152          0              0              10   49   43   
0.00/0.02	c 2431           15626          56484          54280          0              0              16   48   42   
0.00/0.03	c 2770           17771          64308          61802          0              0              13   49   42   
0.00/0.03	c 3142           20674          74559          71806          0              0              22   48   41   
0.00/0.03	c 3551           23063          83286          80307          0              0              15   49   39   
0.00/0.04	c 4000           26407          94565          91342          0              0              23   48   42   
0.00/0.04	c 4493           29377          105566         101852         0              0              21   49   43   
0.00/0.05	c 5035           34047          122449         118148         0              0              15   48   41   
0.00/0.05	c 5631           38423          138219         133538         0              0              16   48   40   
0.00/0.06	c 6286           43355          155464         150256         0              0              16   47   36   
0.00/0.06	c 7006           47971          172157         166393         0              0              15   48   39   
0.00/0.07	c 7798           54514          195291         188896         0              0              15   45   40   
0.00/0.08	c 8669           60356          215958         209163         0              0              15   48   39   
0.00/0.09	c 9627           67914          242862         235360         0              0              17   48   41   
0.00/0.10	c 10680          76449          272730         264617         0              0              15   48   41   
0.10/0.11	c 11838          84482          301095         292565         0              0              16   49   41   
0.10/0.12	c 13111          94768          338645         329434         0              0              14   49   40   
0.10/0.14	c 14511          104808         374020         364191         0              0              13   49   40   
0.10/0.15	c 16051          118102         422455         411962         0              0              16   49   41   
0.10/0.17	c 17745          128296         459024         447777         0              0              11   49   39   
0.10/0.19	c 19608          143712         513883         501169         0              0              14   48   41   
0.10/0.21	c 21657          160995         575391         561373         0              0              15   48   41   
0.21/0.23	c 23910          177528         635168         619034         0              0              17   48   40   
0.21/0.25	c 26388          193651         694573         677088         0              0              14   48   39   
0.21/0.28	c 29113          214127         770197         751264         0              0              11   48   40   
0.21/0.31	c 32110          239025         858862         838562         0              0              12   48   40   
0.31/0.34	c 35406          262309         944978         922907         0              0              12   48   40   
0.31/0.37	c 39031          286294         1032071        1008062        0              0              12   48   39   
0.31/0.41	c 43018          315482         1135650        1108298        0              0              13   48   40   
0.41/0.46	c 47403          348224         1257079        1224452        0              0              10   48   40   
0.41/0.50	c 52226          381959         1378262        1343183        0              0              14   48   39   
0.51/0.56	c 57531          426380         1533672        1496973        0              0              9   47   39    
0.60/0.61	c 63366          466667         1675915        1635800        0              0              9   48   37    
0.60/0.67	c 69784          511505         1837877        1794245        0              0              14   48   38   
0.69/0.73	c 76843          559771         2010703        1964154        0              0              12   48   38   
0.79/0.80	c 84607          617452         2213743        2164900        0              0              9   47   38    
0.79/0.89	c 93147          680927         2444990        2388369        0              0              15   48   40   
0.89/0.96	c 102541         734667         2639035        2579448        0              0              11   48   36   
1.00/1.07	c 112874         820116         2939942        2876165        0              0              8   47   38    
1.10/1.18	c 124240         903202         3230917        3164523        0              0              9   48   38    
1.29/1.31	c 136742         1004808        3601091        3521322        0              0              11   48   40   
1.39/1.45	c 150494         1111080        3979369        3891971        0              0              6   48   39    
1.49/1.57	c 165621         1204340        4318924        4225309        0              0              11   48   36   
1.69/1.72	c 182260         1316103        4726307        4620461        0              0              8   48   37    
1.79/1.89	c 200562         1451663        5213961        5099152        0              0              10   48   39   
2.00/2.09	c 220694         1596049        5753405        5628633        0              0              8   48   38    
2.29/2.30	c 242839         1754561        6344383        6210086        0              0              8   48   38    
2.49/2.53	c 267198         1925559        6968459        6824327        0              0              7   48   40    
2.79/2.80	c 293992         2139225        7730942        7574473        0              0              6   48   39    
3.00/3.08	c 323465         2349231        8507194        8334019        0              0              9   48   37    
3.29/3.38	c 355885         2575035        9322482        9136527        0              0              7   48   38    
3.69/3.71	c 391547         2824938        10242610       10042103       0              0              5   48   38    
4.00/4.09	c 430775         3108771        11284302       11052001       0              0              8   48   39    
4.39/4.48	c 473925         3403435        12366059       12119489       0              0              9   48   39    
4.79/4.88	c 521390         3708413        13459081       13201294       0              0              8   48   38    
5.29/5.37	c 573601         4083703        14834314       14551278       0              0              8   48   38    
5.89/5.92	c 631033         4500762        16341434       16032002       0              0              5   47   38    
6.39/6.44	c 694208         4902001        17770201       17436050       0              0              9   48   37    
7.10/7.11	c 763700         5405001        19586844       19220914       0              0              7   48   37    
7.69/7.79	c 840141         5923004        21480312       21085369       0              0              5   48   38    
8.49/8.56	c 924226         6508628        23591268       23169519       0              0              8   48   38    
9.39/9.49	c 1016719        7219468        26122601       25622965       0              0              4   48   38    
10.39/10.48	c 1118461        7988661        28846407       28293058       0              0              6   48   39    
11.49/11.54	c 1230377        8787978        31796745       31159820       0              0              9   47   38    
12.69/12.78	c 1353484        9742623        35235989       34512161       0              0              3   48   39    
13.89/13.98	c 1488901        10659812       38561916       37773983       0              0              3   48   39    
15.39/15.43	c 1637859        11732537       42576704       41731524       0              0              3   48   39    
16.69/16.77	c 1801712        12753337       46250255       45364355       0              0              3   48   38    
18.19/18.28	c 1981950        13913272       50393124       49449302       1              0              6   47   37    
19.89/19.93	c 2180211        15168021       55018544       53967192       3              0              7   45   36    
20.49/20.53	c restarts              : 81          
20.49/20.53	c conflicts             : 2253709      (109746 /sec)
20.49/20.53	c decisions             : 15631480     (761183 /sec)
20.49/20.53	c propagations          : 55614155    (2708160 /sec)
20.49/20.53	c root propagations     : 0           
20.49/20.53	c filter calls          : 56684636       (2760287 /sec)
20.49/20.53	c useless filter calls  : 31395247       (55 %)
20.49/20.53	c Memory used           : 26.66 MB
20.49/20.53	c CPU time              : 20.5357 s
20.49/20.53	
20.49/20.53	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294654-1532481386/watcher-4294654-1532481386 -o /tmp/evaluation-result-4294654-1532481386/solver-4294654-1532481386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532481209-32055 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294654-1532481386.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
Current StackSize limit: 8192 KiB

solver pid=32208, runsolver pid=32205

[startup+0.100134 s]*
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22697132/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3672 CPUtime=0.1 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1095 0 0 0 10 0 0 0 20 0 1 0 65701754 27947008 918 33554432000 4194304 6142532 140734786998896 140734786995528 4991033 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 918 813 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209385 s]*
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22697132/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3672 CPUtime=0.21 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1095 0 0 0 21 0 0 0 20 0 1 0 65701754 27947008 918 33554432000 4194304 6142532 140734786998896 140734786995528 5347473 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 918 813 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.309004 s]*
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22697132/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3672 CPUtime=0.31 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1095 0 0 0 31 0 0 0 20 0 1 0 65701754 27947008 918 33554432000 4194304 6142532 140734786998896 140734786995528 140161401797728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 918 813 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.700273 s]
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22697132/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3672 CPUtime=0.69 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1095 0 0 0 69 0 0 0 20 0 1 0 65701754 27947008 918 33554432000 4194304 6142532 140734786998896 140734786995528 5013840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 918 813 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50027 s]
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22697132/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3672 CPUtime=1.49 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1095 0 0 0 149 0 0 0 20 0 1 0 65701754 27947008 918 33554432000 4194304 6142532 140734786998896 140734786995528 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 918 813 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10903 s]
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22697132/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=3.1 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1143 0 0 0 310 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+6.30026 s]
/proc/loadavg: 1.94 1.55 1.44 3/188 32209
/proc/meminfo: memFree=22696796/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=6.29 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1191 0 0 0 629 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5017672 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+12.7003 s]
/proc/loadavg: 1.95 1.56 1.44 3/188 32209
/proc/meminfo: memFree=22696796/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=12.69 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1239 0 0 0 1269 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5336586 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+20.5394 s]
# the end of solver process 32208 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20.536 s, system=0.003 s

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

[startup+12.8003 s]
/proc/loadavg: 1.95 1.56 1.44 3/188 32209
/proc/meminfo: memFree=22696796/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=12.79 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1239 0 0 0 1279 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+16.0002 s]*
/proc/loadavg: 1.95 1.57 1.45 3/188 32209
/proc/meminfo: memFree=22696828/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=16 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1287 0 0 0 1600 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5318987 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+17.6002 s]
/proc/loadavg: 1.95 1.57 1.45 3/188 32209
/proc/meminfo: memFree=22696828/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=17.59 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1287 0 0 0 1759 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5013856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+19.2002 s]
/proc/loadavg: 1.95 1.58 1.45 3/188 32209
/proc/meminfo: memFree=22696828/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=19.19 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1287 0 0 0 1919 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5326340 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 19.19 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+20.0003 s]*
/proc/loadavg: 1.95 1.58 1.45 3/188 32209
/proc/meminfo: memFree=22696828/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=20 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1287 0 0 0 2000 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 20 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+20.4002 s]
/proc/loadavg: 1.95 1.58 1.45 3/188 32209
/proc/meminfo: memFree=22696828/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=20.39 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1287 0 0 0 2039 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5017657 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 20.39 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+20.5002 s]
/proc/loadavg: 1.95 1.58 1.45 3/188 32209
/proc/meminfo: memFree=22696828/32770624 swapFree=67108860/67108860
[pid=32208] ppid=32205 vsize=27292 memory=3760 CPUtime=20.49 cores=1,3,5,7
/proc/32208/stat : 32208 (cosoco) R 32205 32208 24765 0 -1 4202496 1287 0 0 0 2049 0 0 0 20 0 1 0 65701754 27947008 940 33554432000 4194304 6142532 140734786998896 140734786996296 5333269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 14413824 140734787007622 140734787007752 140734787007752 140734787010510 0
/proc/32208/statm: 6823 940 830 476 0 145 0
Current children cumulated CPU time: 20.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

Child status: 0
Real time (s): 20.5394
CPU time (s): 20.539
CPU user time (s): 20.536
CPU system time (s): 0.003
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.536
system time used= 0.003
maximum resident set size= 3828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1328
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= 15
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 32208
#   total CPU time (s): 20.539
#   total CPU user time (s): 20.536
#   total CPU system time (s): 0.003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088961 second user time and 0.178581 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-25 03:16:26
IDJOB=4294654
IDBENCH=141407
IDSOLVER=2752
FILE ID=node105/4294654-1532481386
RUNJOBID= node105-1532481209-32055
PBS_JOBID= 21021581
Free space on /tmp= 44760 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Dubois/Dubois-018_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294654-1532481386/watcher-4294654-1532481386 -o /tmp/evaluation-result-4294654-1532481386/solver-4294654-1532481386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532481209-32055 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294654-1532481386.xml

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

MD5SUM BENCH= 87315209bf8a3d7a2526762832107213
RANDOM SEED=1535862711

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.32
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.32
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.32
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.32
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:        22698244 kB
MemAvailable:   31941836 kB
Buffers:          229736 kB
Cached:          9153628 kB
SwapCached:            0 kB
Active:          1610616 kB
Inactive:        7825100 kB
Active(anon):       6584 kB
Inactive(anon):    65528 kB
Active(file):    1604032 kB
Inactive(file):  7759572 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:         59696 kB
Mapped:            40740 kB
Shmem:             17068 kB
Slab:             335756 kB
SReclaimable:     308448 kB
SUnreclaim:        27308 kB
KernelStack:        3376 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44760 MiB
End job on node105 at 2018-07-25 03:16:47