Trace number 4242132

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
R1: cosoco 1.1? (TO) 2400.01 2400.21

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-60-3-5.xml
MD5SUMcb28c088349c564a44b865f26515e86f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.2825999
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 595         
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.0 --  
0.00/0.01	c
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: 46..46
0.00/0.01	c |
0.00/0.01	c |             Constraints: 60
0.00/0.01	c |                   Arity: 3..8  -- Ternary: 5
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Sum: 60
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[77]
0.00/0.02	c 101            125            3595           24895          38             0              2   19   18    
0.00/0.03	c 211            324            8822           41506          40             0              1   27   17    
0.00/0.04	c 332            497            12897          52926          40             0              1   27   24    
0.00/0.06	c 465            688            22367          94141          40             0              7   28   21    
0.00/0.07	c 611            894            28043          110789         40             0              4   25   18    
0.09/0.10	c 771            1176           47607          201130         40             0              7   33   30    
0.09/0.12	c 947            1487           54569          226400         40             0              1   23   19    
0.09/0.13	c 1140           1800           64135          281740         40             0              5   38   25    
0.09/0.15	c 1352           2152           78205          346724         40             0              2   41   26    
0.09/0.17	c 1585           2556           91520          393092         40             0              1   29   22    
0.09/0.19	c 1841           2944           105754         470883         40             0              2   28   23    
0.19/0.21	c 2122           3385           119084         546923         40             0              8   37   27    
0.19/0.24	c 2431           3869           145707         646927         40             0              1   26   17    
0.19/0.26	c 2770           4363           162321         715314         40             0              17   24   23   
0.19/0.28	c 3142           4933           178812         774530         40             0              3   27   22    
0.29/0.32	c 3551           5494           207704         906037         40             0              10   32   28   
0.29/0.35	c 4000           6132           231862         990782         40             0              7   22   11    
0.29/0.38	c 4493           6893           253439         1057342        40             0              1   27   24    
0.39/0.41	c 5035           7692           275634         1148485        40             0              5   27   24    
0.39/0.44	c 5631           8519           300408         1261392        40             0              2   22   15    
0.49/0.52	c 6286           9448           379312         1461562        41             0              2   30   25    
0.49/0.56	c 7006           10793          408924         1613352        41             0              5   26   21    
0.59/0.64	c 7798           11877          466329         1870148        41             0              4   32   28    
0.59/0.68	c 8669           13510          495211         2004531        41             0              5   15   13    
0.69/0.74	c 9627           15085          540549         2216942        41             0              5   29   22    
0.79/0.83	c 10680          16882          611057         2505701        41             0              6   26   16    
0.89/0.90	c 11838          18676          667358         2736950        41             0              15   27   21   
0.89/0.99	c 13111          20375          755236         2979503        41             0              3   28   26    
1.10/1.14	c 14511          22709          875780         3437065        41             0              5   28   15    
1.20/1.22	c 16051          25095          938052         3661577        41             0              2   31   21    
1.29/1.34	c 17745          27423          1025097        4106191        41             0              4   30   24    
1.39/1.49	c 19608          30710          1153115        4580570        41             0              1   40   23    
1.59/1.64	c 21657          33715          1267147        5115689        41             0              11   28   20   
1.69/1.77	c 23910          37144          1373143        5490478        41             0              2   40   21    
1.89/1.94	c 26388          40463          1518014        6022232        41             0              5   27   25    
1.99/2.06	c 29113          44256          1616645        6463112        41             0              5   32   24    
2.30/2.30	c 32110          49047          1802895        7282530        41             0              12   39   26   
2.39/2.45	c 35406          53738          1923764        7680056        41             0              6   29   23    
2.59/2.69	c 39031          58745          2092995        8576599        41             0              4   33   23    
3.09/3.14	c 43018          64738          2473523        9589566        41             0              4   24   12    
3.40/3.40	c 47403          71393          2697416        10320976       41             0              2   40   25    
3.69/3.73	c 52226          78695          2958345        11269806       41             0              5   30   23    
3.99/4.09	c 57531          87975          3217971        12781799       41             0              2   39   29    
4.40/4.46	c 63366          96206          3494686        14138818       41             0              5   30   25    
4.69/4.78	c 69784          105688         3747534        14983870       41             0              2   29   20    
5.29/5.33	c 76843          119569         4190394        16641524       41             0              10   32   24   
5.79/5.86	c 84607          131692         4598543        18579106       41             0              4   41   26    
6.39/6.48	c 93147          144057         5101167        20491154       41             0              3   29   19    
6.99/7.09	c 102541         158965         5570605        22783057       41             0              4   41   26    
7.89/7.98	c 112874         174519         6244694        26098394       41             0              5   39   27    
8.49/8.53	c 124240         191182         6710225        27206220       41             0              3   13   11    
9.39/9.49	c 136742         212455         7483717        30154763       41             0              10   38   25   
10.19/10.22	c 150494         231456         8063364        33044488       41             0              3   39   24    
11.19/11.29	c 165621         256811         8914086        36731234       41             0              11   41   28   
12.69/12.71	c 182260         283813         10009734       42236822       41             0              4   38   26    
14.19/14.25	c 200562         315375         11219113       47481227       41             0              4   42   27    
15.40/15.50	c 220694         345096         12201089       51547917       41             0              11   37   26   
17.49/17.52	c 242839         382054         13727958       59924956       41             0              4   38   28    
19.29/19.31	c 267198         420838         15191305       65615111       41             0              2   39   30    
22.10/22.18	c 293992         461369         17688633       73883895       41             0              4   29   18    
24.39/24.41	c 323465         505997         19552288       81091240       41             0              2   40   31    
27.49/27.56	c 355885         555420         22319652       89225417       41             0              4   29   18    
29.89/29.98	c 391547         612570         24139953       98255881       41             0              5   40   25    
32.99/33.06	c 430775         669508         26642935       108184625      41             0              5   40   26    
36.49/36.59	c 473925         736194         29493630       119574805      41             0              4   29   22    
39.79/39.89	c 521390         807640         32153420       131700791      41             0              5   40   28    
44.89/44.91	c 573601         886645         36537662       143759238      41             0              2   27   18    
49.19/49.29	c 631033         983982         40118414       155747623      41             0              4   40   23    
55.09/55.15	c 694208         1097973        45047882       171196540      41             0              4   38   18    
60.59/60.65	c 763700         1231920        49507405       186439730      41             0              4   39   22    
66.28/66.35	c 840141         1366450        54236607       203243107      41             0              5   43   22    
74.98/75.08	c 924226         1498214        61571093       220991946      41             0              3   29   13    
81.78/81.82	c 1016719        1642976        66963917       245101207      41             0              4   43   31    
89.48/89.59	c 1118461        1801713        73155239       269891841      41             0              4   42   26    
100.09/100.18	c 1230377        1953887        81327225       304589882      41             0              4   35   25    
107.98/108.00	c 1353484        2134918        87515827       335373917      41             0              5   44   28    
122.09/122.10	c 1488901        2343153        99638237       362104072      41             0              3   29   15    
131.48/131.56	c 1637859        2596502        107581626      388775246      41             0              2   47   25    
143.78/143.81	c 1801712        2872132        117736411      425778437      41             0              4   44   24    
156.28/156.39	c 1981950        3161478        128325613      461119676      41             0              4   39   19    
168.67/168.78	c 2180211        3508041        138599516      499456801      41             0              2   47   26    
186.87/187.00	c 2398298        3850381        154467274      550487023      41             0              4   38   21    
206.47/206.53	c 2638193        4187307        170119928      618427063      41             0              2   39   29    
230.47/230.58	c 2902077        4581536        189579803      701338876      41             0              3   40   27    
252.67/252.73	c 3192349        5005422        207367433      775455230      41             0              2   47   31    
270.17/270.23	c 3511648        5431253        222409355      822505496      41             0              5   38   19    
294.16/294.20	c 3862876        5951609        241949214      899265127      41             0              2   46   29    
322.06/322.10	c 4249226        6524130        266770801      966865090      41             0              4   33   18    
346.66/346.74	c 4674211        7174600        287663768      1030194363     41             0              5   42   21    
373.46/373.59	c 5141694        7797069        311537930      1103837634     41             0              4   38   22    
400.36/400.43	c 5655925        8578813        333505748      1181555856     41             0              5   38   20    
437.05/437.19	c 6221579        9422131        363154401      1301148425     41             0              5   46   29    
494.45/494.58	c 6843798        10315993       411563042      1463145713     41             0              4   38   23    
555.04/555.10	c 7528238        11320216       464033528      1595171356     41             0              2   41   16    
615.33/615.44	c 8281122        12449245       514127914      1776484874     41             0              4   42   26    
659.73/659.89	c 9109294        13695768       550789492      1885788590     41             0              3   41   22    
717.73/717.83	c 10020283       15064018       597207042      2081466528     41             0              4   46   24    
776.32/776.48	c 11022370       16631227       647215741      2238360385     41             0              2   47   22    
844.22/844.34	c 12124665       18067458       704360008      2434862705     41             0              5   26   20    
939.71/939.85	c 13337189       20020164       781083021      2746178513     41             0              4   43   24    
1023.60/1023.74	c 14670965       22166047       849553276      3009904772     41             0              4   47   27    
1116.20/1116.31	c 16138118       24352798       930241051      3255580778     41             0              4   41   21    
1214.30/1214.47	c 17751986       26778969       1013137400     3525511206     41             0              4   43   22    
1320.38/1320.51	c 19527240       29663817       1101366735     3823019671     41             0              4   46   23    
1466.47/1466.61	c 21480019       32435512       1225244201     4248176496     41             0              3   41   27    
1623.46/1623.61	c 23628075       35451242       1353705427     4713764079     41             0              4   46   28    
1760.15/1760.35	c 25990936       38856254       1466671687     5124000878     41             0              4   46   23    
1923.43/1923.65	c 28590083       42716455       1603440911     5582667776     41             0              2   50   25    
2108.62/2108.87	c 31449144       47100079       1764734444     6096626927     41             0              4   42   21    
2278.90/2279.16	c 34594111       51978760       1905799282     6575827617     41             0              4   46   21

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242132-1500657797/watcher-4242132-1500657797 -o /tmp/evaluation-result-4242132-1500657797/solver-4242132-1500657797 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2499 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242132-1500657797.xml 

pid=4042
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4045
/proc/meminfo: memFree=32040728/32770624 swapFree=5796/214656
[pid=4045] ppid=4042 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 1047334 27774976 898 33554432000 4194304 5970956 140726249755168 140726249751816 4908160 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 898 768 434 0 145 0

[startup+0.100122 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4045
/proc/meminfo: memFree=32040728/32770624 swapFree=5796/214656
[pid=4045] ppid=4042 vsize=27124 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1070 0 0 0 9 0 0 0 20 0 1 0 1047334 27774976 898 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 898 768 434 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27124

[startup+0.200305 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4045
/proc/meminfo: memFree=32040728/32770624 swapFree=5796/214656
[pid=4045] ppid=4042 vsize=27124 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1070 0 0 0 19 0 0 0 20 0 1 0 1047334 27774976 898 33554432000 4194304 5970956 140726249755168 140726249752504 5038302 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 898 768 434 0 145 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27124

[startup+0.300273 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4045
/proc/meminfo: memFree=32040728/32770624 swapFree=5796/214656
[pid=4045] ppid=4042 vsize=27124 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1070 0 0 0 29 0 0 0 20 0 1 0 1047334 27774976 898 33554432000 4194304 5970956 140726249755168 140726249752504 5039710 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 898 768 434 0 145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27124

[startup+0.700238 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4045
/proc/meminfo: memFree=32040728/32770624 swapFree=5796/214656
[pid=4045] ppid=4042 vsize=27124 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1070 0 0 0 69 0 0 0 20 0 1 0 1047334 27774976 898 33554432000 4194304 5970956 140726249755168 140726249752504 5319661 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 898 768 434 0 145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27124

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4046
/proc/meminfo: memFree=32040000/32770624 swapFree=5796/214676
[pid=4045] ppid=4042 vsize=27124 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1070 0 0 0 149 0 0 0 20 0 1 0 1047334 27774976 898 33554432000 4194304 5970956 140726249755168 140726249752504 5038183 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 898 768 434 0 145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27124

[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4046
/proc/meminfo: memFree=32039504/32770624 swapFree=5796/214676
[pid=4045] ppid=4042 vsize=27124 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1137 0 0 0 309 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038527 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27124

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4046
/proc/meminfo: memFree=32039340/32770624 swapFree=5796/214644
[pid=4045] ppid=4042 vsize=27124 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1204 0 0 0 629 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27124

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4046
/proc/meminfo: memFree=32038976/32770624 swapFree=5796/214656
[pid=4045] ppid=4042 vsize=27124 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1271 0 0 0 1269 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039162 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27124

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4046
/proc/meminfo: memFree=32039224/32770624 swapFree=5796/214668
[pid=4045] ppid=4042 vsize=27124 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1405 0 0 0 2549 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5040283 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27124

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4046
/proc/meminfo: memFree=32039160/32770624 swapFree=5796/214700
[pid=4045] ppid=4042 vsize=27124 CPUtime=51.09 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1472 0 0 0 5109 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038202 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27124

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4047
/proc/meminfo: memFree=32039236/32770624 swapFree=5796/214792
[pid=4045] ppid=4042 vsize=27124 CPUtime=102.29 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1539 0 0 0 10229 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 27124

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4049
/proc/meminfo: memFree=32037972/32770624 swapFree=5796/214848
[pid=4045] ppid=4042 vsize=27124 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1606 0 0 0 16227 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038233 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 27124

[startup+222.308 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4050
/proc/meminfo: memFree=32038860/32770624 swapFree=5796/214900
[pid=4045] ppid=4042 vsize=27124 CPUtime=222.28 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1673 0 0 0 22228 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 27124

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4051
/proc/meminfo: memFree=32038928/32770624 swapFree=5796/214948
[pid=4045] ppid=4042 vsize=27124 CPUtime=282.26 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1740 0 0 0 28226 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 27124

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4053
/proc/meminfo: memFree=32038228/32770624 swapFree=5796/214996
[pid=4045] ppid=4042 vsize=27124 CPUtime=342.26 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1807 0 0 0 34226 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5040323 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 27124

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4054
/proc/meminfo: memFree=32038276/32770624 swapFree=5796/215048
[pid=4045] ppid=4042 vsize=27124 CPUtime=402.25 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1874 0 0 0 40225 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 27124

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4062
/proc/meminfo: memFree=32038440/32770624 swapFree=5796/215088
[pid=4045] ppid=4042 vsize=27124 CPUtime=462.25 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 1941 0 0 0 46225 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 27124

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4063
/proc/meminfo: memFree=32038340/32770624 swapFree=5796/215128
[pid=4045] ppid=4042 vsize=27124 CPUtime=522.24 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 2008 0 0 0 52224 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039193 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 27124

[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4064
/proc/meminfo: memFree=32038668/32770624 swapFree=5796/215156
[pid=4045] ppid=4042 vsize=27124 CPUtime=582.24 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 2075 0 0 0 58224 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 27124


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4151
/proc/meminfo: memFree=32038124/32770624 swapFree=5796/215848
[pid=4045] ppid=4042 vsize=27124 CPUtime=1482.17 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3015 0 0 0 148217 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 27124

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4152
/proc/meminfo: memFree=32039636/32770624 swapFree=5796/215708
[pid=4045] ppid=4042 vsize=27124 CPUtime=1542.17 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3069 0 0 0 154217 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039152 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 27124

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4154
/proc/meminfo: memFree=32038148/32770624 swapFree=5796/215740
[pid=4045] ppid=4042 vsize=27124 CPUtime=1602.16 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3123 0 0 0 160216 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 27124

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=31874448/32770624 swapFree=5796/215820
[pid=4045] ppid=4042 vsize=27124 CPUtime=1662.15 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3190 0 0 0 166215 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 27124

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4296
/proc/meminfo: memFree=31873244/32770624 swapFree=5796/215864
[pid=4045] ppid=4042 vsize=27124 CPUtime=1722.15 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3244 0 0 0 172215 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 27124

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4297
/proc/meminfo: memFree=31872156/32770624 swapFree=5796/215900
[pid=4045] ppid=4042 vsize=27124 CPUtime=1782.14 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3311 0 0 0 178214 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038283 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 27124

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4298
/proc/meminfo: memFree=31870616/32770624 swapFree=5796/215928
[pid=4045] ppid=4042 vsize=27124 CPUtime=1842.14 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3369 0 0 0 184214 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 27124

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4299
/proc/meminfo: memFree=31871184/32770624 swapFree=5796/215956
[pid=4045] ppid=4042 vsize=27124 CPUtime=1902.13 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3428 0 0 0 190213 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038696 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 27124

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4301
/proc/meminfo: memFree=31871836/32770624 swapFree=5796/216000
[pid=4045] ppid=4042 vsize=27124 CPUtime=1962.13 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3496 0 0 0 196213 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 27124

[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4302
/proc/meminfo: memFree=31867200/32770624 swapFree=5796/216028
[pid=4045] ppid=4042 vsize=27124 CPUtime=2022.12 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3551 0 0 0 202212 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038640 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 27124

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4303
/proc/meminfo: memFree=31867160/32770624 swapFree=5796/216048
[pid=4045] ppid=4042 vsize=27124 CPUtime=2082.13 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3606 0 0 0 208213 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5327847 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 27124

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4305
/proc/meminfo: memFree=31866188/32770624 swapFree=5796/216092
[pid=4045] ppid=4042 vsize=27124 CPUtime=2142.11 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3674 0 0 0 214211 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5038721 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 27124

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4306
/proc/meminfo: memFree=31866008/32770624 swapFree=5796/216124
[pid=4045] ppid=4042 vsize=27124 CPUtime=2202.11 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3729 0 0 0 220211 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 27124

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4314
/proc/meminfo: memFree=31865540/32770624 swapFree=5796/216156
[pid=4045] ppid=4042 vsize=27124 CPUtime=2262.1 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3784 0 0 0 226210 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039162 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 27124

[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4338
/proc/meminfo: memFree=31865924/32770624 swapFree=5796/216200
[pid=4045] ppid=4042 vsize=27124 CPUtime=2322.1 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3852 0 0 0 232210 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039193 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 27124

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4339
/proc/meminfo: memFree=31864364/32770624 swapFree=5796/216224
[pid=4045] ppid=4042 vsize=27124 CPUtime=2382.09 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3907 0 0 0 238209 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039297 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 27124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4339
/proc/meminfo: memFree=31864616/32770624 swapFree=5796/216232
[pid=4045] ppid=4042 vsize=27124 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/4045/stat : 4045 (cosoco) R 4042 4045 2468 0 -1 4202496 3962 0 0 0 240000 0 0 0 20 0 1 0 1047334 27774976 911 33554432000 4194304 5970956 140726249755168 140726249752504 5039162 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 8679424 140726249759937 140726249760067 140726249760067 140726249762766 0
/proc/4045/statm: 6781 911 779 434 0 145 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 27124

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4045 sig 9
??? kill -4045 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.01
CPU user time (s): 2400
CPU system time (s): 0.004999
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 27124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.004999
maximum resident set size= 3688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3989
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= 120612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1665 second user time and 11.1726 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-21 19:23:17
IDJOB=4242132
IDBENCH=133401
IDSOLVER=2620
FILE ID=node125/4242132-1500657797
RUNJOBID= node125-1500648174-2499
PBS_JOBID= 20623295
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-60-3-5.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242132-1500657797/watcher-4242132-1500657797 -o /tmp/evaluation-result-4242132-1500657797/solver-4242132-1500657797 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2499 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242132-1500657797.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= cb28c088349c564a44b865f26515e86f
RANDOM SEED=1440197279

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32040816 kB
MemAvailable:   32029228 kB
Buffers:           32456 kB
Cached:           268200 kB
SwapCached:            0 kB
Active:           136944 kB
Inactive:         223356 kB
Active(anon):      62332 kB
Inactive(anon):     8700 kB
Active(file):      74612 kB
Inactive(file):   214656 kB
Unevictable:        5796 kB
Mlocked:            5796 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2668 kB
Writeback:             0 kB
AnonPages:         65200 kB
Mapped:            30476 kB
Shmem:              8840 kB
Slab:              61568 kB
SReclaimable:      29956 kB
SUnreclaim:        31612 kB
KernelStack:        4272 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-07-21 20:03:17