Trace number 4299071

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 480.267 480.234

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-08_mini_c18.xml
MD5SUMd1f29852cfb3bd3adbf49dd6146b1886
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.770402
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints136
Number of domains2
Minimum domain size8
Maximum domain size64
Distribution of domain sizes[{"size":8,"count":64},{"size":64,"count":56}]
Minimum variable degree0
Maximum variable degree60
Distribution of variable degrees[{"degree":0,"count":8},{"degree":2,"count":56},{"degree":59,"count":8},{"degree":60,"count":56}]
Minimum constraint arity1
Maximum constraint arity65
Distribution of constraint arities[{"arity":1,"count":8},{"arity":3,"count":56},{"arity":8,"count":16},{"arity":65,"count":56}]
Number of extensional constraints56
Number of intensional constraints8
Distribution of constraint types[{"type":"extension","count":56},{"type":"intension","count":8},{"type":"allDifferent","count":16},{"type":"element","count":56}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 908         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299071-1532786276.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 128
0.00/0.01	c |            Domain Sizes: 8..64
0.00/0.01	c |
0.00/0.01	c |             Constraints: 136
0.00/0.01	c |                   Arity: 1..65  -- Unary: 8  -- Ternary: 56
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 16
0.00/0.01	c |                          Element Constant: 56
0.00/0.01	c |                          Extension: 56  (nb tuples: 64..64) -- (shared: 55)
0.00/0.01	c |                          Unary: 8
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable y[0][0]
0.00/0.01	c remove useless variable y[1][1]
0.00/0.01	c remove useless variable y[2][2]
0.00/0.01	c remove useless variable y[3][3]
0.00/0.01	c remove useless variable y[4][4]
0.00/0.01	c remove useless variable y[5][5]
0.00/0.01	c remove useless variable y[6][6]
0.00/0.01	c remove useless variable y[7][7]
0.00/0.05	c 101            556            171785         123833         90             0              22   57   29   
0.00/0.09	c 211            926            310733         219503         90             0              20   30   23   
0.10/0.13	c 332            1513           485078         340487         90             0              16   53   24   
0.10/0.17	c 465            2001           633399         436656         90             0              19   31   25   
0.21/0.23	c 611            2652           843931         561031         90             0              17   32   24   
0.21/0.28	c 771            3401           1074507        692077         90             0              17   53   24   
0.31/0.34	c 947            4142           1320267        847431         90             0              18   33   23   
0.41/0.42	c 1140           5014           1613748        1043547        90             0              17   53   23   
0.41/0.49	c 1352           6007           1905640        1229152        90             0              16   53   24   
0.51/0.57	c 1585           6899           2183749        1419453        90             0              19   32   24   
0.60/0.66	c 1841           8159           2550894        1663139        90             0              17   53   24   
0.69/0.77	c 2122           9461           2959915        1926903        90             0              15   53   24   
0.79/0.88	c 2431           10721          3375730        2205269        90             0              17   33   24   
0.89/0.99	c 2770           12114          3793150        2471839        90             0              14   53   24   
1.10/1.11	c 3142           13474          4258789        2766076        90             0              16   31   23   
1.19/1.26	c 3551           15391          4875276        3121402        90             0              13   53   24   
1.39/1.40	c 4000           17111          5399455        3490799        90             0              13   53   24   
1.59/1.60	c 4493           19260          6112141        4035931        90             0              17   53   24   
1.69/1.79	c 5035           21567          6828939        4539105        90             0              16   53   24   
1.89/2.00	c 5631           24119          7657868        5082644        90             0              16   53   24   
2.19/2.25	c 6286           27202          8596285        5709773        90             0              16   53   24   
2.49/2.52	c 7006           30206          9601587        6450765        90             0              17   53   24   
2.69/2.78	c 7798           33334          10600810       7144092        90             0              16   53   24   
3.00/3.06	c 8669           36791          11738469       7879160        90             0              16   53   22   
3.39/3.41	c 9627           40550          13008829       8785062        90             0              16   53   23   
3.69/3.77	c 10680          44772          14358093       9786001        90             0              17   53   24   
4.19/4.20	c 11838          49784          15902545       10879800       90             0              13   53   24   
4.59/4.65	c 13111          55226          17534788       12058608       90             0              16   53   24   
5.10/5.12	c 14511          60946          19356899       13216753       90             0              15   53   23   
5.59/5.63	c 16051          67251          21444667       14477814       90             0              13   53   23   
6.20/6.25	c 17745          74594          23690307       16041921       90             0              13   53   24   
6.90/6.95	c 19608          82359          26263410       17922182       90             0              16   53   23   
7.60/7.69	c 21657          90720          28917719       19955284       90             0              16   53   24   
8.50/8.50	c 23910          100363         32162727       21937788       90             0              13   53   23   
9.30/9.38	c 26388          110596         35587809       24193195       90             0              13   53   23   
10.40/10.43	c 29113          122415         39367293       27011772       90             0              15   53   24   
11.40/11.48	c 32110          136032         43558805       29668488       90             0              12   53   24   
12.70/12.70	c 35406          149323         48054013       32973760       90             0              16   53   23   
14.00/14.07	c 39031          165957         53166919       36402563       90             0              12   53   24   
15.50/15.51	c 43018          183771         58818596       40022346       90             0              12   53   24   
17.10/17.13	c 47403          202197         64791687       43997940       90             0              14   53   24   
18.80/18.82	c 52226          222941         71371643       48333575       90             0              12   53   23   
20.80/20.81	c 57531          246056         79020053       53411514       90             0              13   53   23   
23.00/23.02	c 63366          272686         87509212       59146280       90             0              12   53   24   
25.40/25.41	c 69784          301659         96431760       65114869       90             0              12   53   24   
27.80/27.89	c 76843          332002         106428737      71309085       90             0              12   53   23   
30.60/30.64	c 84607          364190         116493733      78606569       90             0              13   53   23   
33.70/33.78	c 93147          401837         128502379      86539553       90             0              12   53   23   
37.11/37.15	c 102541         441304         141474926      94942370       90             0              12   53   22   
40.80/40.87	c 112874         484834         155868648      104311234      90             0              12   53   23   
45.01/45.02	c 124240         533122         171127879      114805472      90             0              12   53   24   
49.50/49.50	c 136742         586229         187599135      126368791      90             0              12   53   24   
54.40/54.48	c 150494         645807         206399476      139149864      90             0              11   53   24   
60.11/60.19	c 165621         712376         227891758      152887071      90             0              12   53   23   
66.01/66.07	c 182260         783732         249785277      167742229      90             0              12   53   24   
72.60/72.68	c 200562         864402         275371229      184139866      90             0              12   53   23   
79.80/79.82	c 220694         952271         302598959      202149648      90             0              12   53   23   
88.30/88.36	c 242839         1051041        334114097      223667511      90             0              12   53   23   
97.20/97.29	c 267198         1152403        368356487      247013030      90             0              12   53   23   
106.90/106.95	c 293992         1269474        405393106      271695890      90             0              11   53   23   
117.60/117.66	c 323465         1398953        446311371      298978744      90             0              12   53   23   
129.11/129.15	c 355885         1535788        490176502      329221203      90             0              11   53   24   
142.11/142.19	c 391547         1693504        541930602      361123916      90             0              12   53   23   
156.60/156.63	c 430775         1866223        595832687      397299868      90             0              11   53   23   
172.11/172.12	c 473925         2058591        656975378      435702047      90             0              11   53   23   
189.81/189.87	c 521390         2271783        726589524      479027258      90             0              12   53   23   
208.81/208.83	c 573601         2502282        800863519      525286573      90             0              12   53   23   
230.02/230.04	c 631033         2753562        879349059      578565820      90             0              12   53   24   
253.91/253.92	c 694208         3035934        970549234      638058309      90             0              11   53   23   
278.71/278.79	c 763700         3343474        1068004501     699269453      91             0              11   53   23   
306.61/306.67	c 840141         3685923        1175464478     768688567      92             0              11   53   23   
337.32/337.39	c 924226         4059456        1291844247     846172479      92             0              11   53   23   
371.52/371.57	c 1016719        4469948        1425954128     930457693      93             0              11   53   22   
408.13/408.11	c 1118461        4907869        1564836893     1024705519     93             0              11   53   23   
451.62/451.65	c 1230377        5394416        1721803711     1137125793     93             0              10   53   23   
480.23/480.23	c restarts              : 75          
480.23/480.23	c conflicts             : 1305381      (2718 /sec)
480.23/480.23	c decisions             : 5720235      (11911 /sec)
480.23/480.23	c propagations          : 1212183354  (2523992 /sec)
480.23/480.23	c root propagations     : 908         
480.23/480.23	c filter calls          : 1826550729     (3803220 /sec)
480.23/480.23	c useless filter calls  : 1391076820     (76 %)
480.23/480.23	c Memory used           : 27.04 MB
480.23/480.23	c CPU time              : 480.264 s
480.23/480.23	
480.23/480.23	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 (8459 MiB free)
  memory of node 1: 16384 MiB (11537 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299071-1532786276/watcher-4299071-1532786276 -o /tmp/evaluation-result-4299071-1532786276/solver-4299071-1532786276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299071-1532786276.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=12527, runsolver pid=12524

[startup+0.100151 s]*
/proc/loadavg: 2.09 2.01 2.04 3/187 12528
/proc/meminfo: memFree=20476520/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4204 CPUtime=0.1 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1218 0 0 0 10 0 0 0 20 0 1 0 96190737 28352512 1051 33554432000 4194304 6142532 140723041512976 140723041509608 5328304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1051 844 476 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+0.209409 s]*
/proc/loadavg: 2.09 2.01 2.04 3/187 12528
/proc/meminfo: memFree=20476520/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4204 CPUtime=0.21 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1218 0 0 0 21 0 0 0 20 0 1 0 96190737 28352512 1051 33554432000 4194304 6142532 140723041512976 140723041509608 5058889 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1051 844 476 0 244 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+0.308933 s]*
/proc/loadavg: 2.09 2.01 2.04 3/187 12528
/proc/meminfo: memFree=20476148/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4204 CPUtime=0.31 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1220 0 0 0 31 0 0 0 20 0 1 0 96190737 28352512 1051 33554432000 4194304 6142532 140723041512976 140723041509608 4991065 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1051 844 476 0 244 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+0.700265 s]
/proc/loadavg: 2.09 2.01 2.04 3/187 12528
/proc/meminfo: memFree=20475892/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4204 CPUtime=0.69 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1220 0 0 0 69 0 0 0 20 0 1 0 96190737 28352512 1051 33554432000 4194304 6142532 140723041512976 140723041509608 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1051 844 476 0 244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1.50027 s]
/proc/loadavg: 2.09 2.01 2.04 3/187 12528
/proc/meminfo: memFree=20475712/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4204 CPUtime=1.49 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1221 0 0 0 149 0 0 0 20 0 1 0 96190737 28352512 1051 33554432000 4194304 6142532 140723041512976 140723041510376 5060176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1051 844 476 0 244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+3.10896 s]
/proc/loadavg: 2.09 2.01 2.04 3/187 12528
/proc/meminfo: memFree=20475712/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=3.1 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1374 0 0 0 310 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5080022 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+6.30026 s]
/proc/loadavg: 2.08 2.01 2.04 3/187 12529
/proc/meminfo: memFree=20475280/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=6.3 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1527 0 0 0 630 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5079943 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+12.7003 s]
/proc/loadavg: 2.07 2.01 2.04 3/187 12529
/proc/meminfo: memFree=20475796/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=12.7 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1680 0 0 0 1270 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5018336 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.04 3/187 12529
/proc/meminfo: memFree=20475940/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=25.5 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 1986 0 0 0 2550 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5079936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+51.109 s]
/proc/loadavg: 2.10 2.02 2.05 3/187 12529
/proc/meminfo: memFree=20475940/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=51.11 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2139 0 0 0 5111 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5079985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 12530
/proc/meminfo: memFree=20475764/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=102.3 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2292 0 0 0 10230 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 12599
/proc/meminfo: memFree=20477108/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=162.31 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2445 0 0 0 16231 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 4990795 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+222.3 s]
/proc/loadavg: 2.54 2.16 2.09 3/189 12623
/proc/meminfo: memFree=20476380/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=222.31 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2598 0 0 0 22231 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5175273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+282.3 s]
/proc/loadavg: 2.64 2.27 2.13 3/189 12624
/proc/meminfo: memFree=20476504/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=282.31 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2598 0 0 0 28231 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5060830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+342.3 s]
/proc/loadavg: 2.24 2.22 2.13 3/189 12625
/proc/meminfo: memFree=20476504/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=342.32 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2751 0 0 0 34232 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5079981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+402.3 s]
/proc/loadavg: 2.09 2.18 2.12 3/189 12626
/proc/meminfo: memFree=20476628/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=402.32 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2751 0 0 0 40232 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5058848 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+462.3 s]
/proc/loadavg: 2.03 2.15 2.11 3/188 12627
/proc/meminfo: memFree=20476684/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=462.33 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 46233 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5062822 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+480.234 s]
# the end of solver process 12527 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=480.265 s, system=0.002 s

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

[startup+473.6 s]
/proc/loadavg: 2.03 2.14 2.11 3/188 12627
/proc/meminfo: memFree=20476700/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=473.63 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 47363 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5058760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 473.63 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+476.8 s]
/proc/loadavg: 2.03 2.14 2.11 3/188 12628
/proc/meminfo: memFree=20476056/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=476.83 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 47683 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5058163 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 476.83 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+478.4 s]
/proc/loadavg: 2.03 2.14 2.11 3/188 12628
/proc/meminfo: memFree=20476056/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=478.43 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 47843 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 478.43 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+479.2 s]
/proc/loadavg: 2.03 2.14 2.11 3/188 12628
/proc/meminfo: memFree=20476048/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=479.23 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 47923 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5062311 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 479.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+480 s]*
/proc/loadavg: 2.03 2.14 2.11 3/188 12628
/proc/meminfo: memFree=20476056/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=480.03 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 48003 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5080029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 480.03 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

[startup+480.2 s]
/proc/loadavg: 2.03 2.14 2.11 3/188 12628
/proc/meminfo: memFree=20476056/32770624 swapFree=67108860/67108860
[pid=12527] ppid=12524 vsize=27688 memory=4260 CPUtime=480.23 cores=1,3,5,7
/proc/12527/stat : 12527 (cosoco) R 12524 12527 11466 0 -1 4202496 2904 0 0 0 48023 0 0 0 20 0 1 0 96190737 28352512 1065 33554432000 4194304 6142532 140723041512976 140723041510376 5017775 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23855104 140723041518726 140723041518856 140723041518856 140723041521614 0
/proc/12527/statm: 6922 1065 851 476 0 244 0
Current children cumulated CPU time: 480.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4260 KiB

Child status: 0
Real time (s): 480.234
CPU time (s): 480.267
CPU user time (s): 480.265
CPU system time (s): 0.002
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27688
Max. memory (cumulated for all children) (KiB): 4260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 480.265
system time used= 0.002
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 12527
#   total CPU time (s): 480.267
#   total CPU user time (s): 480.265
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82658 second user time and 2.94718 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 15:57:56
IDJOB=4299071
IDBENCH=141291
IDSOLVER=2761
FILE ID=node105/4299071-1532786276
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v4-08_mini_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299071-1532786276/watcher-4299071-1532786276 -o /tmp/evaluation-result-4299071-1532786276/solver-4299071-1532786276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299071-1532786276.xml

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

MD5SUM BENCH= d1f29852cfb3bd3adbf49dd6146b1886
RANDOM SEED=113920609

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:        20477304 kB
MemAvailable:   31929892 kB
Buffers:          269216 kB
Cached:         11321996 kB
SwapCached:            0 kB
Active:          2391512 kB
Inactive:        9256300 kB
Active(anon):      10816 kB
Inactive(anon):    73344 kB
Active(file):    2380696 kB
Inactive(file):  9182956 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2720 kB
Writeback:             0 kB
AnonPages:         63892 kB
Mapped:            44776 kB
Shmem:             25228 kB
Slab:             344948 kB
SReclaimable:     317396 kB
SUnreclaim:        27552 kB
KernelStack:        3520 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 44620 MiB
End job on node105 at 2018-07-28 16:05:56