Trace number 4299605

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) 2520 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 benchmark17.7585
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-4299605-1532812129.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.02	c 771            2142           80024          17717          0              0              30   71   58   
0.00/0.02	c 947            2632           96316          21098          0              0              23   25   24   
0.00/0.02	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.03	c 2431           6824           236711         50610          0              0              57   59   58   
0.00/0.03	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.04	c 4000           11318          385466         82417          0              0              32   79   77   
0.00/0.04	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.05	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.06	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.07	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.09	c 13111          36632          1214649        260081         0              0              78   81   80   
0.00/0.10	c 14511          40506          1339239        287131         0              0              71   74   73   
0.10/0.11	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.14	c 21657          60198          1975397        423918         0              0              77   79   78   
0.10/0.15	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.18	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.21/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.26	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.31	c 52226          145278         4733863        1025648        0              0              75   79   78   
0.31/0.34	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.41	c 69784          195551         6318964        1370176        0              0              75   79   78   
0.41/0.45	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.74	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.84/0.86	c 150494         423902         13614099       2954493        0              0              75   79   78   
0.89/0.95	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.04	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.62	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.81	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.83	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.34	c 1801712        5182026        164627523      35951867       0              0              75   79   78   
11.29/11.37	c 1981950        5700010        180955017      39553337       0              0              72   79   78   
12.49/12.51	c 2180211        6277084        199181810      43520479       0              0              74   79   78   
13.79/13.80	c 2398298        6907747        219254356      47918430       0              0              75   79   78   
15.19/15.20	c 2638193        7598486        241251219      52743791       0              0              73   79   78   
16.69/16.73	c 2902077        8357281        265524044      58074437       0              0              74   79   78   
18.39/18.40	c 3192349        9191788        291928659      63901219       0              0              73   79   78   
20.19/20.23	c 3511648        10118138       321141967      70276874       0              0              72   79   78   
22.19/22.23	c 3862876        11127943       353169220      77305573       0              0              74   79   78   
24.39/24.44	c 4249226        12254522       388731366      85046892       0              0              73   79   78   
26.79/26.89	c 4674211        13483394       427558982      93575499       0              0              71   79   78   
29.49/29.56	c 5141694        14829265       470288523      102918991      0              0              70   79   78   
32.49/32.59	c 5655925        16313481       517291443      113200922      0              0              72   79   78   
35.79/35.86	c 6221579        17933298       568555443      124375164      0              0              67   79   77   
39.39/39.41	c 6843798        19683090       624430186      136645147      0              0              59   71   69   
43.28/43.33	c 7528238        21665525       686991715      150380331      0              0              73   81   80   
47.58/47.65	c 8281122        23845428       756243470      165483102      0              0              73   81   80   
52.28/52.38	c 9109294        26239540       832195312      182133025      0              0              72   81   80   
57.48/57.56	c 10020283       28858091       915767073      200338494      0              0              72   81   80   
63.28/63.32	c 11022370       31741965       1006943563     220433630      0              0              73   81   80   
69.58/69.62	c 12124665       34921310       1107695703     242481478      0              0              71   81   80   
76.68/76.76	c 13337189       38425043       1219009694     266808063      0              0              69   81   80   
84.48/84.56	c 14670965       42279942       1340918038     293519165      0              0              63   73   71   
93.09/93.15	c 16138118       46517692       1475482082     322907369      0              0              69   81   80   
101.99/102.04	c 17751986       50809438       1615498627     354085653      0              0              58   73   69   
112.18/112.20	c 19527240       55909153       1777355199     389577214      0              0              72   82   80   
123.27/123.33	c 21480019       61546940       1954928043     428409741      0              0              59   81   80   
135.47/135.51	c 23628075       67741772       2151007203     471312560      0              0              67   81   79   
149.57/149.61	c 25990936       74547760       2367584771     518726782      0              0              64   73   72   
164.47/164.53	c 28590083       82050500       2605461112     570800767      0              0              72   81   80   
180.87/180.98	c 31449144       90296457       2866555830     627995194      0              0              68   81   80   
199.07/199.19	c 34594111       99406988       3153859106     691115613      0              0              69   81   80   
219.36/219.45	c 38053574       109408169      3471632470     760716780      0              0              69   81   80   
241.46/241.51	c 41858983       120459139      3820204440     837128032      0              0              67   81   80   
265.46/265.54	c 46044932       132677186      4204588861     920929923      0              0              69   81   80   
292.15/292.29	c 50649475       146017469      4625813803     1013275628     0              0              71   80   79   
321.75/321.89	c 55714472       160808264      5090245561     1114716173     0              0              69   81   80   
353.75/353.82	c 61285968       176961963      5600569961     1226343947     0              0              68   81   79   
389.54/389.67	c 67414613       194904742      6162245888     1349178408     0              0              69   81   80   
428.24/428.36	c 74156122       214523481      6779017724     1483746072     0              0              68   81   80   
471.04/471.17	c 81571781       236170539      7457625253     1632269865     0              0              69   81   80   
518.63/518.78	c 89729005       259807142      8200555028     1794923020     0              0              69   81   80   
570.32/570.43	c 98701951       286334684      9016795966     1973379754     0              0              66   79   78   
627.82/627.98	c 108572191      315114303      9923012366     2171191894     0              0              68   80   79   
690.33/690.44	c 119429455      347501372      10919839564    2388677096     0              0              66   79   78   
760.23/760.31	c 131372445      382779920      12011204145    2627716764     0              0              66   79   78   
836.23/836.35	c 144509734      420951015      13212402709    2891072888     0              0              67   79   78   
920.53/920.68	c 158960751      463869430      14527932721    3179727906     0              0              67   79   78   
1012.34/1012.41	c 174856869      510828905      15984953154    3497948228     0              0              67   79   78   
1113.34/1113.40	c 192342598      561731339      17590441931    3848582700     0              0              67   79   78   
1226.54/1226.63	c 211576899      618683458      19350229534    4233672334     0              0              66   79   78   
1350.85/1350.91	c 232734630      682107558      21286243888    4654909639     0              0              66   79   78   
1485.55/1485.64	c 256008134      750244065      23419566387    5121886597     0              0              67   79   78   
1634.65/1634.70	c 281608988      825884117      25768651705    5635524813     0              0              67   79   78   
1800.96/1801.04	c 309769927      910350336      28356199737    6200729762     0              0              68   79   -73  
1983.46/1983.54	c 340746959      1002022643     31210583482    6823117238     0              0              68   79   -59  
2183.47/2183.58	c 374821694      1105995379     34342003623    7506538172     0              0              67   79   -47  
2401.28/2401.30	c 412303902      1217854247     37789159672    8259778805     0              0              66   79   -35  
2519.99/2520.00	
2519.99/2520.00	c *** INTERRUPTED ***
2519.99/2520.00	c restarts              : 136         
2519.99/2520.00	c conflicts             : 432813444    (171752 /sec)
2519.99/2520.00	c decisions             : 1277175517   (506817 /sec)
2519.99/2520.00	c propagations          : 8668679833  (3439962 /sec)
2519.99/2520.00	c root propagations     : 0           
2519.99/2520.00	c filter calls          : 39658779348    (15737656 /sec)
2519.99/2520.00	c useless filter calls  : 33977445623    (85 %)
2519.99/2520.00	c Memory used           : 27.04 MB
2519.99/2520.00	c CPU time              : 2519.99 s
2519.99/2520.00	
2519.99/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 (10353 MiB free)
  memory of node 1: 16384 MiB (15795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299605-1532812129/watcher-4299605-1532812129 -o /tmp/evaluation-result-4299605-1532812129/solver-4299605-1532812129 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532812129-2126 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299605-1532812129.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2152, runsolver pid=2148

[startup+0.100106 s]*
/proc/loadavg: 1.36 1.40 1.41 3/187 2159
/proc/meminfo: memFree=26774932/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=3936 CPUtime=0.1 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1206 0 0 0 10 0 0 0 20 0 1 0 98776060 28352512 984 33554432000 4194304 6142532 140724063832240 140724063829640 5170008 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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.209521 s]*
/proc/loadavg: 1.36 1.40 1.41 4/187 2159
/proc/meminfo: memFree=26774932/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=3936 CPUtime=0.21 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1206 0 0 0 21 0 0 0 20 0 1 0 98776060 28352512 984 33554432000 4194304 6142532 140724063832240 140724063829640 4995558 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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.308984 s]*
/proc/loadavg: 1.36 1.40 1.41 3/187 2159
/proc/meminfo: memFree=26774932/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=3936 CPUtime=0.31 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1206 0 0 0 31 0 0 0 20 0 1 0 98776060 28352512 984 33554432000 4194304 6142532 140724063832240 140724063829640 5336826 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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.700224 s]
/proc/loadavg: 1.36 1.40 1.41 3/187 2159
/proc/meminfo: memFree=26774668/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=3936 CPUtime=0.69 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1206 0 0 0 69 0 0 0 20 0 1 0 98776060 28352512 984 33554432000 4194304 6142532 140724063832240 140724063829640 4995896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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.50024 s]
/proc/loadavg: 1.36 1.40 1.41 3/187 2159
/proc/meminfo: memFree=26774148/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=3936 CPUtime=1.49 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1206 0 0 0 149 0 0 0 20 0 1 0 98776060 28352512 984 33554432000 4194304 6142532 140724063832240 140724063829640 5335350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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.10894 s]
/proc/loadavg: 1.33 1.40 1.41 3/187 2159
/proc/meminfo: memFree=26774200/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4200 CPUtime=3.1 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1362 0 0 0 310 0 0 0 20 0 1 0 98776060 28352512 1050 33554432000 4194304 6142532 140724063832240 140724063829640 4995540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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: 1.33 1.40 1.41 3/187 2159
/proc/meminfo: memFree=26774448/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4200 CPUtime=6.29 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1518 0 0 0 629 0 0 0 20 0 1 0 98776060 28352512 1050 33554432000 4194304 6142532 140724063832240 140724063829640 5347492 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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: 1.43 1.42 1.41 3/187 2159
/proc/meminfo: memFree=26774852/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4200 CPUtime=12.69 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1674 0 0 0 1269 0 0 0 20 0 1 0 98776060 28352512 1050 33554432000 4194304 6142532 140724063832240 140724063829640 4990890 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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: 1.52 1.44 1.42 3/187 2159
/proc/meminfo: memFree=26774880/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4200 CPUtime=25.49 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 1986 0 0 0 2549 0 0 0 20 0 1 0 98776060 28352512 1050 33554432000 4194304 6142532 140724063832240 140724063829640 4995491 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/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.1089 s]
/proc/loadavg: 1.68 1.48 1.43 3/187 2159
/proc/meminfo: memFree=26775128/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4200 CPUtime=51.09 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 2142 0 0 0 5109 0 0 0 20 0 1 0 98776060 28352512 1050 33554432000 4194304 6142532 140724063832240 140724063829640 4991065 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+102.3 s]
/proc/loadavg: 1.87 1.57 1.46 3/188 2168
/proc/meminfo: memFree=26774148/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4200 CPUtime=102.28 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 2299 0 0 0 10228 0 0 0 20 0 1 0 98776060 28352512 1050 33554432000 4194304 6142532 140724063832240 140724063829640 5336759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1050 834 476 0 244 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+162.3 s]
/proc/loadavg: 1.95 1.65 1.50 3/188 2169
/proc/meminfo: memFree=26774396/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=162.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 2456 0 0 0 16227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995676 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.71 1.53 3/188 2170
/proc/meminfo: memFree=26774140/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=222.26 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 2613 0 0 0 22226 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5347465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.76 1.56 3/188 2171
/proc/meminfo: memFree=26774264/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=282.25 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 2770 0 0 0 28225 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995332 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.81 1.59 3/188 2172
/proc/meminfo: memFree=26773884/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=342.25 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 2927 0 0 0 34225 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995279 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.84 1.61 3/187 2173
/proc/meminfo: memFree=26773884/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=402.24 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 3084 0 0 0 40224 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5354352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.87 1.63 3/187 2174
/proc/meminfo: memFree=26773992/32770624 swapFree=67028412/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=462.23 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 3241 0 0 0 46223 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995353 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB


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

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

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 2213
/proc/meminfo: memFree=26773360/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=1782.26 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 5841 0 0 0 178226 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995577 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 2214
/proc/meminfo: memFree=26773564/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=1842.26 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 5998 0 0 0 184226 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 2223
/proc/meminfo: memFree=26772696/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=1902.26 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6096 0 0 0 190226 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 2224
/proc/meminfo: memFree=26773380/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=1962.26 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6182 0 0 0 196226 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 2225
/proc/meminfo: memFree=26773952/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2022.26 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6339 0 0 0 202226 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995872 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 2226
/proc/meminfo: memFree=26773712/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2082.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6438 0 0 0 208227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5326512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 2227
/proc/meminfo: memFree=26773588/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2142.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6521 0 0 0 214227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5319106 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 2228
/proc/meminfo: memFree=26773556/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2202.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6678 0 0 0 220227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5327162 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 2229
/proc/meminfo: memFree=26773192/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2262.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6760 0 0 0 226227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995604 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 2230
/proc/meminfo: memFree=26773424/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2322.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6851 0 0 0 232227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5337445 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 2231
/proc/meminfo: memFree=26773424/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2382.27 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 6941 0 0 0 238227 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5336745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 2232
/proc/meminfo: memFree=26773284/32770624 swapFree=67028428/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2442.28 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 7098 0 0 0 244228 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995565 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 2241
/proc/meminfo: memFree=26772572/32770624 swapFree=67028432/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2502.28 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 7188 0 0 0 250228 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 4995872 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2502.28 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 1.95 3/188 2241
/proc/meminfo: memFree=26772640/32770624 swapFree=67028432/67108860
[pid=2152] ppid=2148 vsize=27688 memory=4204 CPUtime=2519.99 cores=1,3,5,7
/proc/2152/stat : 2152 (cosoco) R 2148 2152 2093 0 -1 4202496 7273 0 0 0 251999 0 0 0 20 0 1 0 98776060 28352512 1051 33554432000 4194304 6142532 140724063832240 140724063829640 5319096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 18358272 140724063839366 140724063839496 140724063839496 140724063842254 0
/proc/2152/statm: 6922 1051 834 476 0 244 0
Current children cumulated CPU time: 2519.99 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 2152 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.99 s, system=0.003999 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): 2520
CPU user time (s): 2519.99
CPU system time (s): 0.003999
CPU usage (%): 99.9995
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.99
system time used= 0.003999
maximum resident set size= 4268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7321
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= 35
involuntary context switches= 928


# summary of solver processes directly reported to runsolver:
#   pid: 2152
#   total CPU time (s): 2520
#   total CPU user time (s): 2519.99
#   total CPU system time (s): 0.003999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64333 second user time and 15.0745 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-28 23:08:49
IDJOB=4299605
IDBENCH=141420
IDSOLVER=2761
FILE ID=node102/4299605-1532812129
RUNJOBID= node102-1532812129-2126
PBS_JOBID= 21022490
Free space on /tmp= 52744 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-4299605-1532812129/watcher-4299605-1532812129 -o /tmp/evaluation-result-4299605-1532812129/solver-4299605-1532812129 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532812129-2126 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299605-1532812129.xml

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

MD5SUM BENCH= a3b0ef5b97c309412ed30b7773154191
RANDOM SEED=1398866968

node102.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.51
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.51
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.51
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.51
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:        26777928 kB
MemAvailable:   31934672 kB
Buffers:          218044 kB
Cached:          5193948 kB
SwapCached:        53388 kB
Active:          1216436 kB
Inactive:        4276388 kB
Active(anon):       6604 kB
Inactive(anon):    99116 kB
Active(file):    1209832 kB
Inactive(file):  4177272 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028412 kB
Dirty:              5292 kB
Writeback:             0 kB
AnonPages:         34296 kB
Mapped:            36272 kB
Shmem:             22188 kB
Slab:             198604 kB
SReclaimable:     170952 kB
SUnreclaim:        27652 kB
KernelStack:        3088 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52740 MiB
End job on node102 at 2018-07-28 23:50:49