Trace number 4294771

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-10_c18.xml
MD5SUMa3b0ef5b97c309412ed30b7773154191
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.957128
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints459
Number of domains1
Minimum domain size10
Maximum domain size10
Distribution of domain sizes[{"size":10,"count":100}]
Minimum variable degree9
Maximum variable degree10
Distribution of variable degrees[{"degree":9,"count":82},{"degree":10,"count":18}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":459}]
Number of extensional constraints459
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":459}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294771-1532491360.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 100
0.00/0.01	c |            Domain Sizes: 10..10
0.00/0.01	c |
0.00/0.01	c |             Constraints: 459
0.00/0.01	c |                   Arity: 2..2  -- Binary: 459
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 459  (nb tuples: 10..12) -- (shared: 455)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            271            9862           2061           0              0              33   35   34   
0.00/0.01	c 211            563            19552          4138           0              0              18   20   19   
0.00/0.01	c 332            899            31061          6584           0              0              42   44   43   
0.00/0.01	c 465            1266           43658          9261           0              0              51   53   52   
0.00/0.01	c 611            1689           58320          12379          0              0              30   62   60   
0.00/0.01	c 771            2142           80024          17717          0              0              30   71   58   
0.00/0.01	c 947            2632           96316          21098          0              0              23   25   24   
0.00/0.01	c 1140           3171           114531         24859          0              0              32   34   33   
0.00/0.02	c 1352           3756           134424         28972          0              0              34   36   35   
0.00/0.02	c 1585           4428           156939         33644          0              0              78   80   79   
0.00/0.02	c 1841           5142           180815         38749          0              0              87   89   88   
0.00/0.02	c 2122           5948           208034         44481          0              0              96   98   97   
0.00/0.02	c 2431           6824           236711         50610          0              0              57   59   58   
0.00/0.02	c 2770           7823           270108         57527          0              0              72   75   74   
0.00/0.03	c 3142           8880           305154         64968          0              0              75   77   76   
0.00/0.03	c 3551           10062          343423         73188          0              0              68   70   69   
0.00/0.03	c 4000           11318          385466         82417          0              0              32   79   77   
0.00/0.03	c 4493           12710          430882         92116          0              0              70   72   71   
0.00/0.04	c 5035           14268          481868         103057         0              0              79   81   80   
0.00/0.04	c 5631           15870          536028         114722         0              0              71   74   73   
0.00/0.05	c 6286           17705          596748         127617         0              0              81   83   82   
0.00/0.05	c 7006           19667          662192         141667         0              0              78   80   79   
0.00/0.05	c 7798           21805          732534         156902         0              0              80   83   82   
0.00/0.06	c 8669           24279          813372         174016         0              0              81   83   82   
0.00/0.06	c 9627           26964          898637         192378         0              0              73   75   74   
0.00/0.07	c 10680          29823          991840         212603         0              0              80   82   81   
0.00/0.08	c 11838          33030          1097278        235397         0              0              73   75   74   
0.00/0.08	c 13111          36632          1214649        260081         0              0              78   81   80   
0.00/0.09	c 14511          40506          1339239        287131         0              0              71   74   73   
0.00/0.10	c 16051          44794          1477750        316610         0              0              78   81   80   
0.10/0.11	c 17745          49423          1625970        348710         0              0              79   82   81   
0.10/0.12	c 19608          54580          1792980        384529         0              0              77   79   78   
0.10/0.13	c 21657          60198          1975397        423918         0              0              77   79   78   
0.10/0.14	c 23910          66329          2175587        467021         0              0              76   79   78   
0.10/0.16	c 26388          73226          2394409        514960         0              0              75   79   78   
0.10/0.17	c 29113          80867          2640532        568759         0              0              76   79   78   
0.10/0.19	c 32110          89082          2912860        629037         0              0              75   79   78   
0.10/0.21	c 35406          98179          3211802        694921         0              0              75   79   78   
0.21/0.23	c 39031          108459         3541343        766271         0              0              75   79   78   
0.21/0.25	c 43018          119854         3906698        844372         0              0              75   79   78   
0.21/0.28	c 47403          132048         4299528        930675         0              0              75   79   78   
0.21/0.30	c 52226          145278         4733863        1025648        0              0              75   79   78   
0.31/0.33	c 57531          160120         5214993        1130389        0              0              76   79   78   
0.31/0.37	c 63366          177171         5738573        1244576        0              0              77   79   78   
0.31/0.40	c 69784          195551         6318964        1370176        0              0              75   79   78   
0.41/0.44	c 76843          215835         6959075        1507176        0              0              74   79   78   
0.41/0.49	c 84607          237204         7658356        1660900        0              0              68   72   71   
0.51/0.54	c 93147          260561         8427021        1829238        0              0              75   79   78   
0.51/0.59	c 102541         287646         9277907        2011730        0              0              75   79   78   
0.60/0.65	c 112874         317183         10218256       2215962        0              0              75   79   78   
0.69/0.71	c 124240         348529         11231976       2437966        0              0              75   79   78   
0.69/0.78	c 136742         384024         12361996       2683732        0              0              75   79   78   
0.79/0.86	c 150494         423902         13614099       2954493        0              0              75   79   78   
0.89/0.94	c 165621         465800         14976321       3253024        0              0              75   79   78   
1.00/1.04	c 182260         513390         16493950       3582188        0              0              74   79   78   
1.10/1.15	c 200562         564700         18138334       3944075        0              0              74   79   78   
1.19/1.26	c 220694         622404         19956314       4344248        0              0              74   79   78   
1.29/1.39	c 242839         686000         21976185       4787607        0              0              74   79   78   
1.49/1.53	c 267198         757383         24207775       5271907        0              0              74   79   78   
1.59/1.68	c 293992         834272         26660759       5806136        0              0              74   79   78   
1.79/1.85	c 323465         918338         29385225       6403418        0              0              75   79   78   
2.00/2.03	c 355885         1010849        32341043       7055306        0              0              74   79   78   
2.19/2.24	c 391547         1112981        35563255       7759883        0              0              75   79   78   
2.39/2.47	c 430775         1225302        39165718       8551790        0              0              75   79   78   
2.69/2.72	c 473925         1349387        43142558       9420365        0              0              75   79   78   
2.89/3.00	c 521390         1487105        47485828       10374078       0              0              73   79   78   
3.29/3.30	c 573601         1638934        52263677       11415648       0              0              75   79   78   
3.59/3.63	c 631033         1805155        57479380       12559675       0              0              74   79   78   
3.89/3.98	c 694208         1987485        63259555       13817201       0              0              75   79   78   
4.29/4.38	c 763700         2185158        69642866       15212334       0              0              73   79   78   
4.79/4.82	c 840141         2405051        76534186       16739209       0              0              74   79   78   
5.19/5.29	c 924226         2647011        84142246       18405372       0              0              74   79   78   
5.79/5.84	c 1016719        2912739        92622637       20253565       0              0              74   79   78   
6.39/6.43	c 1118461        3206686        101964659      22287474       0              0              74   79   78   
7.00/7.07	c 1230377        3528633        112168814      24517096       0              0              74   79   78   
7.69/7.78	c 1353484        3884068        123477483      26998606       0              0              74   79   78   
8.49/8.56	c 1488901        4276165        135913630      29707954       0              0              74   79   78   
9.39/9.40	c 1637859        4704707        149503597      32675450       0              0              73   79   78   
10.29/10.35	c 1801712        5182026        164627523      35951867       0              0              75   79   78   
11.29/11.38	c 1981950        5700010        180955017      39553337       0              0              72   79   78   
12.49/12.52	c 2180211        6277084        199181810      43520479       0              0              74   79   78   
13.79/13.81	c 2398298        6907747        219254356      47918430       0              0              75   79   78   
15.19/15.21	c 2638193        7598486        241251219      52743791       0              0              73   79   78   
16.69/16.75	c 2902077        8357281        265524044      58074437       0              0              74   79   78   
18.39/18.42	c 3192349        9191788        291928659      63901219       0              0              73   79   78   
20.19/20.25	c 3511648        10118138       321141967      70276874       0              0              72   79   78   
22.19/22.24	c 3862876        11127943       353169220      77305573       0              0              74   79   78   
24.39/24.46	c 4249226        12254522       388731366      85046892       0              0              73   79   78   
26.89/26.91	c 4674211        13483394       427558982      93575499       0              0              71   79   78   
29.49/29.60	c 5141694        14829265       470288523      102918991      0              0              70   79   78   
32.59/32.63	c 5655925        16313481       517291443      113200922      0              0              72   79   78   
35.79/35.89	c 6221579        17933298       568555443      124375164      0              0              67   79   77   
39.39/39.45	c 6843798        19683090       624430186      136645147      0              0              59   71   69   
43.29/43.38	c 7528238        21665525       686991715      150380331      0              0              73   81   80   
47.59/47.69	c 8281122        23845428       756243470      165483102      0              0              73   81   80   
52.39/52.41	c 9109294        26239540       832195312      182133025      0              0              72   81   80   
57.49/57.59	c 10020283       28858091       915767073      200338494      0              0              72   81   80   
63.29/63.36	c 11022370       31741965       1006943563     220433630      0              0              73   81   80   
69.59/69.68	c 12124665       34921310       1107695703     242481478      0              0              71   81   80   
76.79/76.82	c 13337189       38425043       1219009694     266808063      0              0              69   81   80   
84.59/84.64	c 14670965       42279942       1340918038     293519165      0              0              63   73   71   
93.19/93.20	c 16138118       46517692       1475482082     322907369      0              0              69   81   80   
102.00/102.06	c 17751986       50809438       1615498627     354085653      0              0              58   73   69   
112.19/112.24	c 19527240       55909153       1777355199     389577214      0              0              72   82   80   
123.29/123.39	c 21480019       61546940       1954928043     428409741      0              0              59   81   80   
135.49/135.56	c 23628075       67741772       2151007203     471312560      0              0              67   81   79   
149.59/149.68	c 25990936       74547760       2367584771     518726782      0              0              64   73   72   
164.59/164.67	c 28590083       82050500       2605461112     570800767      0              0              72   81   80   
181.10/181.16	c 31449144       90296457       2866555830     627995194      0              0              68   81   80   
199.29/199.38	c 34594111       99406988       3153859106     691115613      0              0              69   81   80   
219.59/219.62	c 38053574       109408169      3471632470     760716780      0              0              69   81   80   
241.58/241.64	c 41858983       120459139      3820204440     837128032      0              0              67   81   80   
265.58/265.69	c 46044932       132677186      4204588861     920929923      0              0              69   81   80   
292.38/292.48	c 50649475       146017469      4625813803     1013275628     0              0              71   80   79   
322.09/322.17	c 55714472       160808264      5090245561     1114716173     0              0              69   81   80   
354.09/354.14	c 61285968       176961963      5600569961     1226343947     0              0              68   81   79   
389.88/389.98	c 67414613       194904742      6162245888     1349178408     0              0              69   81   80   
428.68/428.73	c 74156122       214523481      6779017724     1483746072     0              0              68   81   80   
471.68/471.70	c 81571781       236170539      7457625253     1632269865     0              0              69   81   80   
519.28/519.37	c 89729005       259807142      8200555028     1794923020     0              0              69   81   80   
571.18/571.25	c 98701951       286334684      9016795966     1973379754     0              0              66   79   78   
628.67/628.76	c 108572191      315114303      9923012366     2171191894     0              0              68   80   79   
691.27/691.35	c 119429455      347501372      10919839564    2388677096     0              0              66   79   78   
761.17/761.26	c 131372445      382779920      12011204145    2627716764     0              0              66   79   78   
837.57/837.63	c 144509734      420951015      13212402709    2891072888     0              0              67   79   78   
922.17/922.24	c 158960751      463869430      14527932721    3179727906     0              0              67   79   78   
1014.16/1014.26	c 174856869      510828905      15984953154    3497948228     0              0              67   79   78   
1115.36/1115.40	c 192342598      561731339      17590441931    3848582700     0              0              67   79   78   
1228.66/1228.79	c 211576899      618683458      19350229534    4233672334     0              0              66   79   78   
1352.65/1352.77	c 232734630      682107558      21286243888    4654909639     0              0              66   79   78   
1487.55/1487.61	c 256008134      750244065      23419566387    5121886597     0              0              67   79   78   
1637.25/1637.35	c 281608988      825884117      25768651705    5635524813     0              0              67   79   78   
1803.44/1803.50	c 309769927      910350336      28356199737    6200729762     0              0              68   79   -73  
1986.34/1986.46	c 340746959      1002022643     31210583482    6823117238     0              0              68   79   -59  
2186.53/2186.62	c 374821694      1105995379     34342003623    7506538172     0              0              67   79   -47  
2404.83/2404.92	c 412303902      1217854247     37789159672    8259778805     0              0              66   79   -35  
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 136         
2519.93/2520.00	c conflicts             : 432137558    (171487 /sec)
2519.93/2520.00	c decisions             : 1275229159   (506056 /sec)
2519.93/2520.00	c propagations          : 8655082072  (3434643 /sec)
2519.93/2520.00	c root propagations     : 0           
2519.93/2520.00	c filter calls          : 39597065398    (15713516 /sec)
2519.93/2520.00	c useless filter calls  : 33924760831    (85 %)
2519.93/2520.00	c Memory used           : 27.04 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 (10845 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100106 s]*
/proc/loadavg: 2.06 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080552/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=3936 CPUtime=0.1 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1205 0 0 0 10 0 0 0 20 0 1 0 66699293 28352512 984 33554432000 4194304 6142532 140729028779024 140729028775656 4991130 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 984 792 476 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.20927 s]*
/proc/loadavg: 2.06 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080552/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=3936 CPUtime=0.21 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1205 0 0 0 21 0 0 0 20 0 1 0 66699293 28352512 984 33554432000 4194304 6142532 140729028779024 140729028775656 4995353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 984 792 476 0 244 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.308906 s]*
/proc/loadavg: 2.06 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080552/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=3936 CPUtime=0.31 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1205 0 0 0 31 0 0 0 20 0 1 0 66699293 28352512 984 33554432000 4194304 6142532 140729028779024 140729028775656 5170008 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 984 792 476 0 244 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.700223 s]
/proc/loadavg: 2.06 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080552/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=3936 CPUtime=0.69 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1205 0 0 0 69 0 0 0 20 0 1 0 66699293 28352512 984 33554432000 4194304 6142532 140729028779024 140729028775656 5336586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 984 792 476 0 244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50023 s]
/proc/loadavg: 2.06 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080188/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=3936 CPUtime=1.49 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1205 0 0 0 149 0 0 0 20 0 1 0 66699293 28352512 984 33554432000 4194304 6142532 140729028779024 140729028776424 4995385 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 984 792 476 0 244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10885 s]
/proc/loadavg: 2.06 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080172/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4200 CPUtime=3.1 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1361 0 0 0 310 0 0 0 20 0 1 0 66699293 28352512 1050 33554432000 4194304 6142532 140729028779024 140729028776424 4995483 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+6.30023 s]
/proc/loadavg: 2.05 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080104/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4200 CPUtime=6.29 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1517 0 0 0 629 0 0 0 20 0 1 0 66699293 28352512 1050 33554432000 4194304 6142532 140729028779024 140729028776424 4990616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+12.7002 s]
/proc/loadavg: 2.05 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080104/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4200 CPUtime=12.69 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1673 0 0 0 1269 0 0 0 20 0 1 0 66699293 28352512 1050 33554432000 4194304 6142532 140729028779024 140729028776424 5327382 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+25.5002 s]
/proc/loadavg: 2.04 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080104/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4200 CPUtime=25.49 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 1985 0 0 0 2549 0 0 0 20 0 1 0 66699293 28352512 1050 33554432000 4194304 6142532 140729028779024 140729028776424 5329904 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+51.1088 s]
/proc/loadavg: 2.03 2.07 2.06 3/188 24862
/proc/meminfo: memFree=16080180/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4200 CPUtime=51.1 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 2141 0 0 0 5110 0 0 0 20 0 1 0 66699293 28352512 1050 33554432000 4194304 6142532 140729028779024 140729028776424 5326540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 24863
/proc/meminfo: memFree=16080660/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4200 CPUtime=102.29 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 2298 0 0 0 10229 0 0 0 20 0 1 0 66699293 28352512 1050 33554432000 4194304 6142532 140729028779024 140729028776424 4995681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 24864
/proc/meminfo: memFree=16080660/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=162.29 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 2455 0 0 0 16229 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995498 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24865
/proc/meminfo: memFree=16080528/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=222.29 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 2612 0 0 0 22229 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4990688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24866
/proc/meminfo: memFree=16080428/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=282.28 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 2769 0 0 0 28228 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 24867
/proc/meminfo: memFree=16080428/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=342.28 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 2926 0 0 0 34228 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5336826 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+402.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/187 24868
/proc/meminfo: memFree=16080044/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=402.28 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 3083 0 0 0 40228 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 24877
/proc/meminfo: memFree=16079736/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=462.28 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 3240 0 0 0 46228 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995347 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB


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

/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/192 24938
/proc/meminfo: memFree=16077376/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=1782.24 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6083 0 0 0 178224 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4990992 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1842.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/188 24940
/proc/meminfo: memFree=16079424/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=1842.24 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6240 0 0 0 184224 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5327382 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/188 24941
/proc/meminfo: memFree=16079796/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=1902.24 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6337 0 0 0 190224 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4991065 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 24942
/proc/meminfo: memFree=16080308/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=1962.24 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6422 0 0 0 196224 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24943
/proc/meminfo: memFree=16080056/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2022.24 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6579 0 0 0 202224 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24944
/proc/meminfo: memFree=16080468/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2082.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6677 0 0 0 208223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995506 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24945
/proc/meminfo: memFree=16080380/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2142.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6759 0 0 0 214223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995458 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24946
/proc/meminfo: memFree=16080256/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2202.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6916 0 0 0 220223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5336759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24955
/proc/meminfo: memFree=16079188/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2262.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 6997 0 0 0 226223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5347492 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24956
/proc/meminfo: memFree=16079684/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2322.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 7089 0 0 0 232223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 24957
/proc/meminfo: memFree=16079740/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2382.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 7178 0 0 0 238223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4990822 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 24958
/proc/meminfo: memFree=16079864/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2442.23 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 7335 0 0 0 244223 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5326540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25020
/proc/meminfo: memFree=16064964/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2502.22 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 7424 0 0 0 250222 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 5319096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 25020
/proc/meminfo: memFree=16066092/32770624 swapFree=67108860/67108860
[pid=24861] ppid=24858 vsize=27688 memory=4204 CPUtime=2519.93 cores=1,3,5,7
/proc/24861/stat : 24861 (cosoco) R 24858 24861 22565 0 -1 4202496 7508 0 0 0 251993 0 0 0 20 0 1 0 66699293 28352512 1051 33554432000 4194304 6142532 140729028779024 140729028776424 4995343 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 36593664 140729028781190 140729028781320 140729028781320 140729028784078 0
/proc/24861/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.003488
maximum resident set size= 4268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7556
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: 24861
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2519.94
#   total CPU system time (s): 0.003488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97722 second user time and 16.4271 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 06:02:40
IDJOB=4294771
IDBENCH=141420
IDSOLVER=2752
FILE ID=node150/4294771-1532491360
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= a3b0ef5b97c309412ed30b7773154191
RANDOM SEED=1746332311

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:        16081836 kB
MemAvailable:   31939240 kB
Buffers:          238488 kB
Cached:         15703080 kB
SwapCached:            0 kB
Active:          1579188 kB
Inactive:       14416580 kB
Active(anon):      12476 kB
Inactive(anon):    61412 kB
Active(file):    1566712 kB
Inactive(file): 14355168 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2788 kB
Writeback:           228 kB
AnonPages:         73600 kB
Mapped:            40928 kB
Shmem:             17032 kB
Slab:             391196 kB
SReclaimable:     363984 kB
SUnreclaim:        27212 kB
KernelStack:        3584 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:44:40