Trace number 4294726

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-08_c18.xml
MD5SUM86e4590fdf2acf70e62b7e4d974dbe81
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.121685
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints231
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":64}]
Minimum variable degree7
Maximum variable degree8
Distribution of variable degrees[{"degree":7,"count":50},{"degree":8,"count":14}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":231}]
Number of extensional constraints231
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":231}]
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-4294726-1532486319.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: 64
0.00/0.00	c |            Domain Sizes: 8..8
0.00/0.00	c |
0.00/0.00	c |             Constraints: 231
0.00/0.00	c |                   Arity: 2..2  -- Binary: 231
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 231  (nb tuples: 8..10) -- (shared: 227)
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            266            6932           1937           0              0              25   27   26   
0.00/0.00	c 211            543            13897          3945           0              0              14   16   15   
0.00/0.01	c 332            863            21853          6231           0              0              32   34   33   
0.00/0.01	c 465            1218           30779          8752           0              0              39   41   40   
0.00/0.01	c 611            1612           40747          11566          0              0              46   48   47   
0.00/0.01	c 771            2062           52112          14754          0              0              53   55   54   
0.00/0.01	c 947            2547           64208          18196          0              0              60   62   61   
0.00/0.01	c 1140           3094           77544          21948          0              0              45   47   46   
0.00/0.01	c 1352           3689           92198          26032          0              0              45   47   46   
0.00/0.01	c 1585           4338           108142         30571          0              0              45   47   46   
0.00/0.01	c 1841           5043           125392         35488          0              0              45   47   46   
0.00/0.01	c 2122           5794           144006         40776          0              0              45   47   46   
0.00/0.01	c 2431           6595           163881         46507          0              0              39   41   40   
0.00/0.02	c 2770           7538           186652         53053          0              0              45   47   46   
0.00/0.02	c 3142           8557           210815         60012          0              0              45   47   46   
0.00/0.02	c 3551           9730           238965         67995          0              0              45   47   46   
0.00/0.02	c 4000           10935          267932         76352          0              0              45   47   46   
0.00/0.02	c 4493           12283          300829         86004          0              0              45   47   46   
0.00/0.03	c 5035           13740          337419         96516          0              0              45   47   46   
0.00/0.03	c 5631           15366          377493         108011         0              0              45   47   46   
0.00/0.03	c 6286           17233          421903         120581         0              0              45   47   46   
0.00/0.04	c 7006           19191          468288         134165         0              0              45   47   46   
0.00/0.04	c 7798           21295          519474         149006         0              0              45   47   46   
0.00/0.04	c 8669           23684          576649         165316         0              0              45   47   46   
0.00/0.05	c 9627           26219          637665         183481         0              0              44   47   46   
0.00/0.05	c 10680          29051          706367         203529         0              0              44   47   46   
0.00/0.06	c 11838          32227          782589         225604         0              0              45   47   46   
0.00/0.06	c 13111          35750          865907         249551         0              0              43   47   46   
0.00/0.07	c 14511          39582          957596         276425         0              0              45   47   46   
0.00/0.07	c 16051          43673          1056222        305445         0              0              44   47   46   
0.00/0.08	c 17745          48417          1167759        337798         0              0              44   47   46   
0.00/0.09	c 19608          53468          1289252        373383         0              0              45   47   46   
0.00/0.10	c 21657          58902          1421654        412443         0              0              45   47   46   
0.10/0.11	c 23910          65162          1570464        455498         0              0              44   47   46   
0.10/0.12	c 26388          72178          1733600        502874         0              0              44   47   46   
0.10/0.13	c 29113          79725          1911962        554728         0              0              45   47   46   
0.10/0.14	c 32110          87997          2107842        612082         0              0              45   47   46   
0.10/0.16	c 35406          96814          2321879        674554         0              0              44   47   46   
0.10/0.17	c 39031          106662         2556194        743265         0              0              45   47   46   
0.10/0.19	c 43018          117582         2814624        818994         0              0              44   47   46   
0.10/0.21	c 47403          129383         3094812        900680         0              0              41   47   46   
0.21/0.23	c 52226          142691         3408197        991680         0              0              41   47   46   
0.21/0.26	c 57531          157422         3755217        1092765        0              0              44   47   46   
0.21/0.28	c 63366          173123         4128489        1202930        0              0              44   47   46   
0.21/0.31	c 69784          190766         4546246        1324317        0              0              40   47   46   
0.31/0.34	c 76843          210006         5004066        1458427        0              0              42   47   46   
0.31/0.37	c 84607          230999         5499963        1604489        0              0              44   47   46   
0.31/0.41	c 93147          254318         6058642        1767250        0              0              40   47   46   
0.41/0.45	c 102541         280125         6671465        1946614        0              0              44   47   46   
0.41/0.50	c 112874         310334         7346032        2142302        0              0              39   47   46   
0.51/0.55	c 124240         342836         8100831        2361078        0              0              39   47   46   
0.51/0.60	c 136742         376983         8906932        2598379        0              0              38   47   46   
0.60/0.66	c 150494         415150         9802311        2861189        0              0              40   47   46   
0.69/0.73	c 165621         457058         10785805       3151273        0              0              38   47   46   
0.79/0.80	c 182260         506290         11879937       3468550        0              0              39   47   46   
0.79/0.88	c 200562         562336         13098354       3820057        0              0              40   47   46   
0.89/0.97	c 220694         617433         14408736       4203210        0              0              41   47   46   
1.00/1.07	c 242839         683440         15866920       4625659        0              0              38   47   46   
1.10/1.17	c 267198         755006         17462366       5091544        0              0              40   47   46   
1.19/1.29	c 293992         834643         19215395       5596733        0              0              38   47   46   
1.39/1.42	c 323465         920292         21162333       6162500        0              0              39   47   46   
1.49/1.56	c 355885         1018639        23285836       6778219        0              0              39   47   46   
1.69/1.72	c 391547         1124890        25615774       7460737        0              0              38   47   46   
1.79/1.89	c 430775         1236729        28206628       8210397        0              0              39   47   46   
2.00/2.08	c 473925         1363486        31022043       9023773        0              0              39   47   46   
2.19/2.29	c 521390         1502673        34132255       9932711        0              0              39   47   46   
2.49/2.51	c 573601         1645917        37489868       10921207       0              0              39   47   46   
2.69/2.77	c 631033         1809221        41235330       12018480       0              0              33   41   40   
3.00/3.05	c 694208         1989967        45376581       13232666       0              0              39   47   46   
3.29/3.36	c 763700         2189244        49912633       14559745       0              0              39   47   46   
3.59/3.69	c 840141         2411328        54898989       16014006       0              0              38   47   46   
4.00/4.06	c 924226         2657561        60434920       17616524       0              0              38   47   46   
4.39/4.48	c 1016719        2932533        66539826       19397884       0              0              39   47   46   
4.89/4.93	c 1118461        3230706        73241162       21346126       0              0              39   47   46   
5.39/5.43	c 1230377        3564788        80596530       23487937       0              0              38   47   46   
5.89/5.98	c 1353484        3920155        88658277       25842953       0              0              39   47   46   
6.49/6.58	c 1488901        4320884        97625668       28450869       0              0              39   47   46   
7.19/7.24	c 1637859        4748247        107380375      31286328       0              0              37   47   46   
7.89/7.97	c 1801712        5228345        118111319      34420718       0              0              38   47   46   
8.69/8.78	c 1981950        5763524        130001493      37903702       0              0              39   47   46   
9.59/9.67	c 2180211        6337279        143035312      41708915       0              0              38   47   46   
10.59/10.64	c 2398298        6999771        157594287      45914395       0              0              39   47   46   
11.69/11.73	c 2638193        7744008        173595106      50549663       0              0              39   47   46   
12.89/12.92	c 2902077        8525434        190930941      55613406       0              0              38   47   46   
14.19/14.22	c 3192349        9392253        210078789      61181239       0              0              38   47   46   
15.59/15.64	c 3511648        10352604       231246595      67309973       0              0              38   47   46   
17.19/17.23	c 3862876        11446124       254516115      74083595       0              0              38   47   46   
18.89/18.97	c 4249226        12603428       280023452      81516076       0              0              39   47   46   
20.79/20.88	c 4674211        13911253       308157923      89720270       0              0              38   47   46   
22.89/22.98	c 5141694        15298752       339110698      98687726       0              0              37   47   46   
25.19/25.28	c 5655925        16861986       373124879      108577361      0              0              38   47   46   
27.79/27.84	c 6221579        18584395       410464589      119483764      0              0              38   47   46   
30.59/30.65	c 6843798        20479385       451703269      131468583      0              0              38   47   46   
33.69/33.70	c 7528238        22487481       496904876      144595257      0              0              38   47   46   
37.00/37.10	c 8281122        24742879       546520195      159156803      0              0              38   47   46   
40.79/40.89	c 9109294        27307247       601554420      175140560      0              0              38   47   46   
44.89/44.97	c 10020283       30063306       661896193      192678844      0              0              37   47   46   
49.39/49.48	c 11022370       33018758       727630643      211891702      0              0              37   47   46   
54.39/54.49	c 12124665       36372680       801123950      233156508      0              0              38   47   46   
60.00/60.04	c 13337189       40104536       881714941      256676966      0              0              36   47   46   
66.10/66.12	c 14670965       44136870       970782886      282456124      0              0              37   47   46   
72.89/72.90	c 16138118       48691029       1068673480     310892848      0              0              36   47   46   
80.29/80.35	c 17751986       53687976       1176187642     342274925      0              0              37   47   46   
88.39/88.45	c 19527240       59168333       1294626510     376699907      0              0              36   47   46   
97.39/97.44	c 21480019       65179429       1424462056     414475636      0              0              36   47   46   
107.39/107.46	c 23628075       71801051       1567385938     456073636      0              0              37   47   46   
118.29/118.34	c 25990936       79088509       1725575363     502006373      0              0              36   47   46   
130.29/130.34	c 28590083       87078322       1898737402     552412711      0              0              37   47   46   
143.59/143.69	c 31449144       95983250       2089134949     607707015      0              0              34   47   46   
158.19/158.28	c 34594111       105729169      2298771906     668844321      0              0              36   47   46   
174.10/174.17	c 38053574       116275506      2529599489     735825423      0              0              34   47   46   
191.89/191.90	c 41858983       128178245      2784114731     809652407      0              0              36   47   46   
211.49/211.55	c 46044932       141127068      3062716570     890758311      0              0              36   47   46   
232.79/232.84	c 50649475       155311135      3369243935     980181303      0              0              36   47   46   
256.28/256.32	c 55714472       171022928      3709724191     1078636334     0              0              36   47   46   
282.28/282.30	c 61285968       188127777      4079129642     1186427545     0              0              36   47   46   
310.99/311.02	c 67414613       207009425      4488595074     1305438245     0              0              36   47   46   
342.28/342.36	c 74156122       228136451      4939956009     1436477522     0              0              34   47   46   
376.99/377.06	c 81571781       251091663      5435843300     1580542834     0              0              37   47   46   
414.78/414.82	c 89729005       275893703      5977228568     1738581615     0              0              33   47   46   
456.99/457.03	c 98701951       303912901      6581149068     1913496808     0              0              34   47   46   
502.78/502.84	c 108572191      334081611      7237709735     2104861645     0              0              33   47   46   
552.99/553.10	c 119429455      365933429      7951936016     2313694385     0              0              33   47   46   
607.88/608.00	c 131372445      401956905      8746605277     2544799216     0              0              33   47   46   
669.37/669.40	c 144509734      440752914      9615731231     2798068795     0              0              33   47   46   
737.17/737.29	c 158960751      486275540      10587232486    3080053737     0              0              33   47   46   
811.57/811.67	c 174856869      535569157      11651972639    3389501982     0              0              33   47   46   
893.47/893.59	c 192342598      589997051      12820456510    3730066461     0              0              33   47   46   
983.36/983.40	c 211576899      649513597      14105839795    4103653596     0              0              34   47   46   
1081.56/1081.65	c 232734630      713513124      15518925918    4513253960     0              0              33   47   46   
1190.16/1190.22	c 256008134      782030759      17056812937    4963151708     0              0              33   47   46   
1311.36/1311.42	c 281608988      862210254      18776052898    5463736104     0              0              32   47   46   
1443.45/1443.59	c 309769927      949273483      20650652074    6011209390     0              0              33   47   46   
1588.85/1588.98	c 340746959      1046392407     22742285090    6616441357     0              0              33   47   46   
1749.84/1750.00	c 374821694      1151920633     25019048965    7278765849     0              0              33   47   46   
1926.44/1926.56	c 412303902      1267342402     27509089216    8006555382     0              0              33   47   46   
2121.94/2122.01	c 453534330      1394891944     30270809468    8808896013     0              0              33   47   46   
2335.53/2335.60	c 498887800      1537363227     33326480730    9694330556     0              0              33   47   46   
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 138         
2519.93/2520.00	c conflicts             : 537696870    (213377 /sec)
2519.93/2520.00	c decisions             : 1655420304   (656929 /sec)
2519.93/2520.00	c propagations          : 10447005632 (4145742 /sec)
2519.93/2520.00	c root propagations     : 0           
2519.93/2520.00	c filter calls          : 35911933609    (14251129 /sec)
2519.93/2520.00	c useless filter calls  : 29314967274    (81 %)
2519.93/2520.00	c Memory used           : 26.79 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 (4858 MiB free)
  memory of node 1: 16384 MiB (10847 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100104 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16083188/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3672 CPUtime=0.1 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1133 0 0 0 10 0 0 0 20 0 1 0 66195131 28082176 918 33554432000 4194304 6142532 140734997185600 140734997182232 5335553 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 918 791 476 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209212 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16083188/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3672 CPUtime=0.21 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1133 0 0 0 21 0 0 0 20 0 1 0 66195131 28082176 918 33554432000 4194304 6142532 140734997185600 140734997182232 4995681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 918 791 476 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3672 KiB

[startup+0.308779 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16083188/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3672 CPUtime=0.31 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1133 0 0 0 31 0 0 0 20 0 1 0 66195131 28082176 918 33554432000 4194304 6142532 140734997185600 140734997182232 5335498 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 918 791 476 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3672 KiB

[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16083032/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3672 CPUtime=0.69 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1133 0 0 0 69 0 0 0 20 0 1 0 66195131 28082176 918 33554432000 4194304 6142532 140734997185600 140734997183000 5326512 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 918 791 476 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082848/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3672 CPUtime=1.49 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1133 0 0 0 149 0 0 0 20 0 1 0 66195131 28082176 918 33554432000 4194304 6142532 140734997185600 140734997183000 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 918 791 476 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10882 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082724/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=3.1 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1215 0 0 0 310 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5326524 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082344/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=6.29 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1297 0 0 0 629 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995385 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082516/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=12.69 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1379 0 0 0 1269 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5326543 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082640/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=25.49 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1543 0 0 0 2549 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995248 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+51.1088 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082708/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=51.1 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1625 0 0 0 5110 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5318912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24363
/proc/meminfo: memFree=16082264/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=102.29 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1707 0 0 0 10229 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5318976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24364
/proc/meminfo: memFree=16083868/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=162.29 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1789 0 0 0 16229 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995436 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24365
/proc/meminfo: memFree=16083824/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=222.29 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1871 0 0 0 22229 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5326543 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24366
/proc/meminfo: memFree=16083708/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=282.28 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 1953 0 0 0 28228 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24367
/proc/meminfo: memFree=16083424/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=342.28 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 2035 0 0 0 34228 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5336789 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24368
/proc/meminfo: memFree=16083608/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=402.28 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 2117 0 0 0 40228 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5336771 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24369
/proc/meminfo: memFree=16083304/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=462.28 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 2199 0 0 0 46228 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4990899 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB


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

/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 24431
/proc/meminfo: memFree=16082048/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=1782.24 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 3848 0 0 0 178224 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4991116 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 24432
/proc/meminfo: memFree=16081932/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=1842.24 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 3913 0 0 0 184224 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5336759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 24441
/proc/meminfo: memFree=16081836/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=1902.24 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 3979 0 0 0 190224 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4990890 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24442
/proc/meminfo: memFree=16082440/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=1962.24 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4061 0 0 0 196224 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4991200 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24443
/proc/meminfo: memFree=16082052/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2022.24 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4127 0 0 0 202224 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5326540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24444
/proc/meminfo: memFree=16081804/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2082.23 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4193 0 0 0 208223 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24445
/proc/meminfo: memFree=16082052/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2142.23 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4275 0 0 0 214223 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5319104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24446
/proc/meminfo: memFree=16082092/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2202.23 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4338 0 0 0 220223 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5170140 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24447
/proc/meminfo: memFree=16081844/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2262.23 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4401 0 0 0 226223 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5170137 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24448
/proc/meminfo: memFree=16081968/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2322.23 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4465 0 0 0 232223 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5183536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24449
/proc/meminfo: memFree=16081836/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2382.23 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4546 0 0 0 238223 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24450
/proc/meminfo: memFree=16082028/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2442.22 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4608 0 0 0 244222 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24519
/proc/meminfo: memFree=16083412/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2502.22 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4673 0 0 0 250222 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 5326524 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24519
/proc/meminfo: memFree=16083412/32770624 swapFree=67108860/67108860
[pid=24353] ppid=24350 vsize=27424 memory=3908 CPUtime=2519.93 cores=1,3,5,7
/proc/24353/stat : 24353 (cosoco) R 24350 24353 22565 0 -1 4202496 4732 0 0 0 251993 0 0 0 20 0 1 0 66195131 28082176 977 33554432000 4194304 6142532 140734997185600 140734997183000 4995301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36052992 140734997189766 140734997189896 140734997189896 140734997192654 0
/proc/24353/statm: 6856 977 832 476 0 178 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3908 KiB

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

[startup+2520.01 s]
# the end of solver process 24353 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.94 s, system=0.002999 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.002999
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 27424
Max. memory (cumulated for all children) (KiB): 3908

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


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80787 second user time and 15.6849 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 04:38:39
IDJOB=4294726
IDBENCH=141415
IDSOLVER=2752
FILE ID=node150/4294726-1532486319
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= 86e4590fdf2acf70e62b7e4d974dbe81
RANDOM SEED=908933498

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:        16083936 kB
MemAvailable:   31938988 kB
Buffers:          237764 kB
Cached:         15701516 kB
SwapCached:            0 kB
Active:          1578064 kB
Inactive:       14415684 kB
Active(anon):      12744 kB
Inactive(anon):    61412 kB
Active(file):    1565320 kB
Inactive(file): 14354272 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:         61840 kB
Mapped:            41356 kB
Shmem:             17032 kB
Slab:             391308 kB
SReclaimable:     363920 kB
SUnreclaim:        27388 kB
KernelStack:        3360 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     346144 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 05:20:39