Trace number 4294753

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.12? (TO) 2519.94 2520.01

General information on the benchmark

NameHaystacks/
Haystacks-ext-07_c18.xml
MD5SUM67b8364c884536fb4f5e1967f94ac4a2
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.037051
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints153
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":49}]
Minimum variable degree6
Maximum variable degree7
Distribution of variable degrees[{"degree":6,"count":37},{"degree":7,"count":12}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":153}]
Number of extensional constraints153
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":153}]
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-4294753-1532488840.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: 49
0.00/0.00	c |            Domain Sizes: 7..7
0.00/0.00	c |
0.00/0.00	c |             Constraints: 153
0.00/0.00	c |                   Arity: 2..2  -- Binary: 153
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 153  (nb tuples: 7..9) -- (shared: 149)
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            248            5596           1810           2              0              4   14   6     
0.00/0.00	c 211            533            11719          3833           2              0              25   29   28   
0.00/0.00	c 332            871            18817          6167           2              0              32   35   33   
0.00/0.00	c 465            1228           26356          8667           2              0              37   41   39   
0.00/0.00	c 611            1639           35006          11527          2              0              32   47   44   
0.00/0.01	c 771            2085           44407          14607          2              0              31   34   33   
0.00/0.01	c 947            2601           54927          18008          2              0              29   34   33   
0.00/0.01	c 1140           3125           65782          21586          2              0              30   34   33   
0.00/0.01	c 1352           3693           77636          25517          2              0              30   34   32   
0.00/0.01	c 1585           4308           90526          29824          2              0              30   34   32   
0.00/0.01	c 1841           5009           104862         34593          2              0              30   34   33   
0.00/0.01	c 2122           5767           120198         39708          2              0              31   34   33   
0.00/0.01	c 2431           6651           137696         45486          2              0              30   34   33   
0.00/0.01	c 2770           7585           156171         51685          2              0              31   34   33   
0.00/0.01	c 3142           8644           177227         58665          2              0              29   34   33   
0.00/0.02	c 3551           9778           199477         66162          2              0              29   34   33   
0.00/0.02	c 4000           11042          224160         74413          2              0              29   34   32   
0.00/0.02	c 4493           12433          251178         83371          2              0              29   34   32   
0.00/0.02	c 5035           13981          281569         93452          2              0              27   34   32   
0.00/0.02	c 5631           15456          312904         104244         2              0              23   29   27   
0.00/0.03	c 6286           17334          350215         116630         2              0              33   35   34   
0.00/0.03	c 7006           19258          389098         129824         2              0              28   36   33   
0.00/0.03	c 7798           21529          432948         144373         2              0              29   36   34   
0.00/0.04	c 8669           24042          480790         160345         2              0              31   36   34   
0.00/0.04	c 9627           26764          533837         177975         2              0              29   36   34   
0.00/0.04	c 10680          30022          593007         197698         2              0              29   35   34   
0.00/0.05	c 11838          33406          657740         219218         2              0              29   35   34   
0.00/0.05	c 13111          37126          728850         243008         2              0              28   34   33   
0.00/0.06	c 14511          41255          805468         268611         2              0              27   34   32   
0.00/0.06	c 16051          45909          892466         297636         2              0              29   34   33   
0.00/0.07	c 17745          50969          987232         328873         2              0              28   34   33   
0.00/0.08	c 19608          56645          1092009        363707         2              0              26   34   33   
0.00/0.09	c 21657          62820          1205404        401476         2              0              28   34   33   
0.00/0.10	c 23910          69545          1335372        444533         2              0              28   34   33   
0.10/0.11	c 26388          76969          1472458        490189         2              0              28   34   33   
0.10/0.12	c 29113          85087          1621542        539782         2              0              27   34   33   
0.10/0.13	c 32110          93945          1786849        594330         2              0              26   34   32   
0.10/0.14	c 35406          104033         1969774        655542         2              0              27   34   33   
0.10/0.15	c 39031          115101         2170346        723068         2              0              27   34   33   
0.10/0.17	c 43018          127449         2393586        797227         2              0              27   34   33   
0.10/0.19	c 47403          140554         2635217        877998         2              0              28   34   33   
0.10/0.21	c 52226          155236         2901635        966894         2              0              28   34   33   
0.21/0.23	c 57531          171565         3201910        1066374        2              0              28   34   33   
0.21/0.25	c 63366          189216         3526855        1175088        2              0              27   34   33   
0.21/0.27	c 69784          208680         3878047        1292509        2              0              27   34   33   
0.21/0.30	c 76843          230206         4271314        1423706        2              0              26   34   33   
0.31/0.33	c 84607          253987         4700538        1566618        2              0              27   34   33   
0.31/0.37	c 93147          280168         5174560        1725657        2              0              28   34   33   
0.31/0.40	c 102541         308743         5701369        1901178        2              0              27   34   33   
0.41/0.44	c 112874         340503         6278254        2093641        2              0              27   34   33   
0.41/0.49	c 124240         375077         6907679        2304590        2              0              27   34   33   
0.51/0.54	c 136742         413693         7609047        2538185        2              0              27   34   33   
0.51/0.59	c 150494         455377         8371451        2792442        2              0              27   34   33   
0.60/0.65	c 165621         501424         9212580        3073698        2              0              26   34   33   
0.69/0.72	c 182260         552254         10142717       3383098        2              0              26   34   33   
0.69/0.79	c 200562         607969         11154165       3720174        2              0              26   34   33   
0.79/0.87	c 220694         669969         12271697       4093915        2              0              27   34   33   
0.89/0.95	c 242839         739178         13517097       4507358        2              0              27   34   33   
1.00/1.05	c 267198         812603         14890332       4964997        2              0              26   34   33   
1.10/1.16	c 293992         896399         16385996       5467303        2              0              26   34   33   
1.19/1.28	c 323465         988582         18051638       6021458        2              0              25   34   33   
1.39/1.41	c 355885         1089231        19875492       6629766        2              0              27   34   33   
1.49/1.55	c 391547         1200474        21882844       7302162        2              0              27   34   33   
1.69/1.71	c 430775         1323282        24091737       8039484        2              0              26   34   33   
1.79/1.89	c 473925         1457802        26562225       8860143        2              0              25   34   33   
2.00/2.08	c 521390         1605071        29223535       9752189        2              0              25   34   33   
2.19/2.29	c 573601         1768030        32167500       10733866       2              0              25   34   33   
2.49/2.52	c 631033         1947903        35399993       11809367       2              0              25   34   33   
2.69/2.78	c 694208         2146225        38956025       12995719       2              0              23   34   33   
3.00/3.06	c 763700         2372219        42915441       14310839       2              0              25   34   33   
3.29/3.38	c 840141         2610823        47224870       15743146       2              0              25   34   33   
3.69/3.71	c 924226         2872975        51946879       17320897       2              0              25   34   33   
4.00/4.09	c 1016719        3163970        57165799       19063562       2              0              25   34   33   
4.49/4.51	c 1118461        3481437        62942114       20983697       2              0              25   34   33   
4.89/4.96	c 1230377        3832699        69243549       23087812       2              0              23   34   33   
5.39/5.47	c 1353484        4216176        76194081       25411030       2              0              25   34   33   
6.00/6.02	c 1488901        4636395        83833114       27955064       2              0              23   34   33   
6.59/6.62	c 1637859        5100571        92194879       30752612       2              0              23   34   33   
7.19/7.29	c 1801712        5619967        101440900      33834592       2              0              25   34   33   
8.00/8.04	c 1981950        6183984        111663718      37234001       2              0              23   34   33   
8.79/8.84	c 2180211        6805510        122808626      40960488       2              0              23   34   32   
9.69/9.74	c 2398298        7495077        135153618      45080354       2              0              22   34   33   
10.69/10.75	c 2638193        8259717        148849656      49627751       2              0              22   34   33   
11.79/11.83	c 2902077        9096976        163769493      54610919       2              0              23   34   33   
13.00/13.03	c 3192349        10007527       180137214      60069684       2              0              22   34   33   
14.29/14.36	c 3511648        10993085       198205865      66086509       2              0              23   34   33   
15.79/15.81	c 3862876        12112555       218127646      72734212       2              0              22   34   33   
17.39/17.41	c 4249226        13329836       239976301      80017742       2              0              23   34   33   
19.19/19.21	c 4674211        14706540       264407861      88123346       2              0              22   34   33   
21.10/21.16	c 5141694        16197164       290970013      96989710       2              0              23   34   33   
23.19/23.29	c 5655925        17832150       320113731      106710885      2              0              22   34   33   
25.59/25.67	c 6221579        19614963       352326598      117393849      2              0              22   34   33   
28.19/28.24	c 6843798        21558736       387508677      129146659      2              0              22   34   33   
31.00/31.09	c 7528238        23744687       426322796      142087819      2              0              22   34   33   
34.19/34.23	c 8281122        26078657       468986083      156242126      2              0              22   34   33   
37.59/37.68	c 9109294        28724564       516068138      171962107      2              0              22   34   32   
41.49/41.50	c 10020283       31598172       567595934      189165838      2              0              22   34   33   
45.69/45.75	c 11022370       34807018       625199859      208301068      2              0              22   34   33   
50.29/50.35	c 12124665       38372377       688060691      229179351      2              0              22   34   33   
55.39/55.47	c 13337189       42244143       756974971      252184521      2              0              22   34   33   
61.00/61.09	c 14670965       46549396       833345484      277547691      2              0              22   34   33   
67.19/67.24	c 16138118       51219330       916958547      305459803      2              0              22   34   33   
74.00/74.05	c 17751986       56407827       1008949228     336119237      2              0              22   34   33   
81.49/81.51	c 19527240       62085268       1110690375     369917200      2              0              22   34   33   
89.59/89.63	c 21480019       68283517       1221509764     406878004      2              0              22   34   33   
98.69/98.74	c 23628075       75181477       1344334819     447831213      2              0              22   34   33   
108.59/108.61	c 25990936       82724441       1479250762     492589809      2              0              22   34   33   
119.49/119.56	c 28590083       91194637       1628694073     542395087      2              0              22   34   33   
131.49/131.58	c 31449144       100335457      1791891658     596829149      2              0              21   34   32   
144.69/144.77	c 34594111       110528979      1971630472     656907460      2              0              22   34   33   
159.19/159.29	c 38053574       121730050      2170497143     722710107      2              0              21   34   33   
175.49/175.55	c 41858983       134093688      2389685591     795753604      2              0              20   34   33   
193.00/193.05	c 46044932       147465163      2627851952     875275334      2              0              21   34   33   
212.59/212.63	c 50649475       162315063      2893004681     963357159      2              0              21   34   33   
233.99/234.02	c 55714472       178699484      3182668070     1059892416     2              0              22   34   33   
257.19/257.29	c 61285968       196459982      3500069280     1165733624     2              0              21   34   33   
283.28/283.31	c 67414613       216476843      3851535624     1282827607     2              0              21   34   33   
311.78/311.88	c 74156122       238583508      4241020951     1412089338     2              0              21   34   33   
342.99/343.04	c 81571781       262482500      4664863156     1553491282     2              0              20   34   33   
377.88/377.90	c 89729005       289153290      5133767045     1710082264     2              0              20   34   33   
415.88/415.95	c 98701951       317996509      5650809609     1882122123     2              0              21   34   33   
457.58/457.60	c 108572191      349681903      6215391481     2070447018     2              0              21   34   33   
503.38/503.44	c 119429455      385074974      6838663147     2278134315     2              0              21   34   33   
554.68/554.74	c 131372445      424172708      7528689795     2507739465     2              0              21   34   33   
609.98/610.05	c 144509734      466763524      8278910299     2758494922     2              0              20   34   33   
671.77/671.82	c 158960751      514284838      9113725496     3035398172     2              0              21   34   33   
738.57/738.64	c 174856869      565348418      10018938561    3338414203     2              0              20   34   33   
812.08/812.19	c 192342598      621304763      11022212954    3671925383     2              0              20   34   33   
894.08/894.14	c 211576899      683856494      12122212242    4039589183     2              0              20   34   33   
983.97/984.01	c 232734630      752912157      13342496729    4445207947     2              0              21   34   33   
1082.86/1082.96	c 256008134      828605501      14681447761    4890847880     2              0              20   34   33   
1192.07/1192.12	c 281608988      911296141      16144095982    5378835900     2              0              20   34   33   
1311.36/1311.49	c 309769927      1001529057     17763823264    5917133431     2              0              20   34   33   
1443.35/1443.46	c 340746959      1102615951     19547236394    6511030986     2              0              20   34   33   
1588.45/1588.56	c 374821694      1214172942     21503569293    7164236563     2              0              20   34   33   
1748.74/1748.85	c 412303902      1335466043     23661490113    7880997427     2              0              20   34   33   
1923.34/1923.43	c 453534330      1469029949     26024935725    8671290160     2              0              20   34   33   
2117.74/2117.82	c 498887800      1617493417     28649183058    9541945584     2              0              20   34   33   
2328.63/2328.75	c 548776617      1778788763     31504433410    10492900737    2              0              20   34   33   
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 139         
2519.93/2520.00	c conflicts             : 593814965    (235647 /sec)
2519.93/2520.00	c decisions             : 1926064378   (764330 /sec)
2519.93/2520.00	c propagations          : 11355141998 (4506120 /sec)
2519.93/2520.00	c root propagations     : 0           
2519.93/2520.00	c filter calls          : 34086401063    (13526683 /sec)
2519.93/2520.00	c useless filter calls  : 27198325078    (79 %)
2519.93/2520.00	c Memory used           : 26.66 MB
2519.93/2520.00	c CPU time              : 2519.94 s
2519.93/2520.00	
2519.93/2520.00	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294753-1532488840/watcher-4294753-1532488840 -o /tmp/evaluation-result-4294753-1532488840/solver-4294753-1532488840 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294753-1532488840.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=24640, runsolver pid=24637
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083448/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3668 CPUtime=0.1 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1111 0 0 0 10 0 0 0 20 0 1 0 66447233 27947008 917 33554432000 4194304 6142532 140732420530032 140732420526664 4995491 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 917 797 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+0.209259 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083448/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3668 CPUtime=0.21 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1111 0 0 0 21 0 0 0 20 0 1 0 66447233 27947008 917 33554432000 4194304 6142532 140732420530032 140732420526664 4995362 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 917 797 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+0.308897 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083448/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3668 CPUtime=0.31 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1111 0 0 0 31 0 0 0 20 0 1 0 66447233 27947008 917 33554432000 4194304 6142532 140732420530032 140732420526664 4995402 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 917 797 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083372/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3668 CPUtime=0.69 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1111 0 0 0 69 0 0 0 20 0 1 0 66447233 27947008 917 33554432000 4194304 6142532 140732420530032 140732420527432 4995600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 917 797 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083372/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3668 CPUtime=1.49 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1111 0 0 0 149 0 0 0 20 0 1 0 66447233 27947008 917 33554432000 4194304 6142532 140732420530032 140732420527432 5347492 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 917 797 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+3.10883 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083372/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=3.1 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1171 0 0 0 310 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5318912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083372/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=6.29 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1231 0 0 0 629 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995577 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083496/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=12.69 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1291 0 0 0 1269 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5183550 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083620/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=25.49 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1411 0 0 0 2549 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4990802 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+51.1088 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083888/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=51.1 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1471 0 0 0 5110 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5319104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24642
/proc/meminfo: memFree=16084420/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=102.29 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1531 0 0 0 10229 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5336728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24643
/proc/meminfo: memFree=16084296/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=162.29 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1591 0 0 0 16229 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24644
/proc/meminfo: memFree=16083948/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=222.29 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1651 0 0 0 22229 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5337705 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24646
/proc/meminfo: memFree=16083580/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=282.28 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1711 0 0 0 28228 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24647
/proc/meminfo: memFree=16083884/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=342.28 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1771 0 0 0 34228 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24648
/proc/meminfo: memFree=16084152/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=402.28 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1831 0 0 0 40228 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995332 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24650
/proc/meminfo: memFree=16083832/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=462.28 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 1891 0 0 0 46228 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995393 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB


################
# More data... #
################

/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24695
/proc/meminfo: memFree=16082272/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=1782.24 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3096 0 0 0 178224 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995297 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24696
/proc/meminfo: memFree=16082768/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=1842.24 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3141 0 0 0 184224 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24697
/proc/meminfo: memFree=16082768/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=1902.24 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3186 0 0 0 190224 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4990806 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24698
/proc/meminfo: memFree=16082992/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=1962.24 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3246 0 0 0 196224 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995872 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24699
/proc/meminfo: memFree=16083496/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2022.24 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3292 0 0 0 202224 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5319104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24702
/proc/meminfo: memFree=16083000/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2082.24 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3338 0 0 0 208224 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24703
/proc/meminfo: memFree=16083016/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2142.23 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3398 0 0 0 214223 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5170000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24704
/proc/meminfo: memFree=16083008/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2202.23 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3444 0 0 0 220223 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5327103 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24706
/proc/meminfo: memFree=16082416/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2262.23 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3490 0 0 0 226223 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24707
/proc/meminfo: memFree=16082492/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2322.23 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3536 0 0 0 232223 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995310 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2382.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/187 24715
/proc/meminfo: memFree=16082196/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2382.23 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3597 0 0 0 238223 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5336789 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2442.3 s]
/proc/loadavg: 2.23 2.11 2.08 3/188 24739
/proc/meminfo: memFree=16080828/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2442.23 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3644 0 0 0 244223 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 4995580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

[startup+2502.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/188 24801
/proc/meminfo: memFree=16080368/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2502.22 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3691 0 0 0 250222 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5170107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.06 2.08 2.07 3/188 24801
/proc/meminfo: memFree=16080368/32770624 swapFree=67108860/67108860
[pid=24640] ppid=24637 vsize=27292 memory=3820 CPUtime=2519.93 cores=1,3,5,7
/proc/24640/stat : 24640 (cosoco) R 24637 24640 22565 0 -1 4202496 3738 0 0 0 251993 0 0 0 20 0 1 0 66447233 27947008 955 33554432000 4194304 6142532 140732420530032 140732420527432 5326540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13082624 140732420531334 140732420531464 140732420531464 140732420534222 0
/proc/24640/statm: 6823 955 833 476 0 145 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3820 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 24640 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.94 s, system=0.002005 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.94
CPU user time (s): 2519.94
CPU system time (s): 0.002005
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.002005
maximum resident set size= 3884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3786
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= 639


# summary of solver processes directly reported to runsolver:
#   pid: 24640
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2519.94
#   total CPU system time (s): 0.002005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72023 second user time and 16.5449 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 05:20:40
IDJOB=4294753
IDBENCH=141418
IDSOLVER=2752
FILE ID=node150/4294753-1532488840
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-07_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294753-1532488840/watcher-4294753-1532488840 -o /tmp/evaluation-result-4294753-1532488840/solver-4294753-1532488840 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294753-1532488840.xml

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

MD5SUM BENCH= 67b8364c884536fb4f5e1967f94ac4a2
RANDOM SEED=621051139

node150.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.76
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.76
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.76
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.76
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:        16084356 kB
MemAvailable:   31940380 kB
Buffers:          238088 kB
Cached:         15701880 kB
SwapCached:            0 kB
Active:          1577476 kB
Inactive:       14416076 kB
Active(anon):      11472 kB
Inactive(anon):    61412 kB
Active(file):    1566004 kB
Inactive(file): 14354664 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:         60456 kB
Mapped:            40944 kB
Shmem:             17032 kB
Slab:             391024 kB
SReclaimable:     363816 kB
SUnreclaim:        27208 kB
KernelStack:        3312 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53100 MiB
End job on node150 at 2018-07-25 06:02:40