Trace number 4294735

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.81 2520.01

General information on the benchmark

NameHaystacks/
Haystacks-ext-06_c18.xml
MD5SUM40871f7837aaa5db219997aff65857eb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.011876
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints95
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":36}]
Minimum variable degree5
Maximum variable degree6
Distribution of variable degrees[{"degree":5,"count":26},{"degree":6,"count":10}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":95}]
Number of extensional constraints95
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":95}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294735-1532488798.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 36
0.00/0.00	c |            Domain Sizes: 6..6
0.00/0.00	c |
0.00/0.00	c |             Constraints: 95
0.00/0.00	c |                   Arity: 2..2  -- Binary: 95
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 95  (nb tuples: 6..8) -- (shared: 91)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 101            279            4855           1891           0              0              12   34   20   
0.00/0.00	c 211            549            9593           3823           0              0              15   34   22   
0.00/0.00	c 332            896            15040          6015           0              0              14   31   20   
0.00/0.00	c 465            1246           20883          8404           0              0              15   21   18   
0.00/0.00	c 611            1705           27673          11096          0              0              20   25   24   
0.00/0.01	c 771            2210           35242          14123          0              0              19   24   22   
0.00/0.01	c 947            2761           43169          17335          0              0              20   25   24   
0.00/0.01	c 1140           3359           51969          20851          0              0              18   23   21   
0.00/0.01	c 1352           4007           61600          24701          0              0              19   24   22   
0.00/0.01	c 1585           4722           72087          28933          0              0              18   23   21   
0.00/0.01	c 1841           5491           83650          33590          0              0              18   23   21   
0.00/0.01	c 2122           6332           96128          38655          0              0              18   23   21   
0.00/0.01	c 2431           7283           110073         44261          0              0              18   23   22   
0.00/0.01	c 2770           8312           125255         50323          0              0              18   23   21   
0.00/0.01	c 3142           9453           141783         57029          0              0              18   23   21   
0.00/0.01	c 3551           10673          159892         64302          0              0              18   23   21   
0.00/0.02	c 4000           12095          179930         72452          0              0              18   23   22   
0.00/0.02	c 4493           13650          202083         81414          0              0              18   23   22   
0.00/0.02	c 5035           15331          226316         91167          0              0              18   23   22   
0.00/0.02	c 5631           17100          252521         101744         0              0              18   23   21   
0.00/0.02	c 6286           19082          281552         113430         0              0              18   23   21   
0.00/0.03	c 7006           21236          312949         126179         0              0              18   23   21   
0.00/0.03	c 7798           23755          348389         140523         0              0              18   23   22   
0.00/0.03	c 8669           26484          387098         156250         0              0              18   23   22   
0.00/0.04	c 9627           29482          429970         173510         0              0              18   23   21   
0.00/0.04	c 10680          32734          476541         192259         0              0              18   23   22   
0.00/0.04	c 11838          36411          528054         213194         0              0              18   23   22   
0.00/0.05	c 13111          40444          584954         236187         0              0              18   23   22   
0.00/0.05	c 14511          44930          648499         261776         0              0              17   23   22   
0.00/0.06	c 16051          49800          716808         289421         0              0              18   23   22   
0.00/0.06	c 17745          55222          794333         320704         0              0              16   23   22   
0.00/0.07	c 19608          61317          879190         355184         0              0              18   23   22   
0.00/0.08	c 21657          67807          970535         391991         0              0              18   23   22   
0.00/0.08	c 23910          75014          1073817        433879         0              0              18   23   22   
0.00/0.09	c 26388          82970          1185321        479067         0              0              17   23   22   
0.00/0.10	c 29113          91805          1308326        528910         0              0              16   23   22   
0.10/0.11	c 32110          101554         1443688        583836         0              0              16   23   22   
0.10/0.13	c 35406          112094         1591352        643133         0              0              17   23   22   
0.10/0.14	c 39031          123837         1755998        709925         0              0              15   23   22   
0.10/0.15	c 43018          136683         1937743        783214         0              0              15   23   21   
0.10/0.17	c 47403          150929         2134920        863104         0              0              17   23   22   
0.10/0.18	c 52226          166474         2352934        951324         0              0              16   23   22   
0.10/0.20	c 57531          183452         2592047        1047990        0              0              15   23   21   
0.21/0.22	c 63366          202419         2857798        1155000        0              0              17   23   22   
0.21/0.25	c 69784          223505         3153494        1274569        0              0              15   23   21   
0.21/0.27	c 76843          246525         3478251        1405259        0              0              15   23   21   
0.21/0.30	c 84607          271613         3831148        1548386        0              0              15   23   21   
0.31/0.33	c 93147          299150         4213736        1704150        0              0              14   23   21   
0.31/0.36	c 102541         329821         4643216        1877320        0              0              14   23   22   
0.31/0.40	c 112874         364050         5121609        2071239        0              0              13   23   21   
0.41/0.44	c 124240         400586         5644849        2283828        0              0              14   23   21   
0.41/0.49	c 136742         441276         6226749        2520931        0              0              14   23   21   
0.51/0.54	c 150494         485715         6855793        2777546        0              0              14   23   21   
0.51/0.59	c 165621         533467         7554392        3061334        0              0              14   23   21   
0.60/0.66	c 182260         588121         8328194        3374838        0              0              14   23   22   
0.69/0.72	c 200562         647609         9198447        3726854        0              0              14   23   21   
0.79/0.80	c 220694         713181         10124850       4103232        0              0              14   23   21   
0.79/0.88	c 242839         786425         11180356       4532768        0              0              14   23   21   
0.89/0.97	c 267198         868835         12354371       5007760        0              0              13   23   21   
1.00/1.07	c 293992         955811         13607958       5516894        0              0              13   23   21   
1.10/1.18	c 323465         1052312        15007056       6084092        0              0              14   23   21   
1.29/1.31	c 355885         1160489        16554293       6710219        0              0              14   23   21   
1.39/1.44	c 391547         1273237        18228972       7390617        0              0              13   23   21   
1.49/1.58	c 430775         1402833        20064953       8133836        0              0              13   23   21   
1.69/1.74	c 473925         1546954        22099291       8960142        0              0              13   23   21   
1.89/1.92	c 521390         1707987        24346444       9868977        0              0              13   23   21   
2.10/2.12	c 573601         1879363        26823592       10877261       0              0              13   23   21   
2.29/2.33	c 631033         2067848        29486277       11957539       0              0              13   23   21   
2.49/2.56	c 694208         2275164        32468035       13168742       0              0              13   23   21   
2.79/2.83	c 763700         2506283        35765146       14502982       0              0              13   23   21   
3.10/3.11	c 840141         2761144        39364745       15959857       0              0              13   23   21   
3.39/3.42	c 924226         3040709        43278953       17550521       0              0              13   23   21   
3.69/3.77	c 1016719        3344454        47636156       19315970       0              0              13   23   21   
4.10/4.15	c 1118461        3678139        52450173       21271311       0              0              13   23   21   
4.49/4.57	c 1230377        4051840        57712331       23397805       0              0              13   23   21   
5.00/5.03	c 1353484        4465248        63542412       25755923       0              0              13   23   22   
5.49/5.54	c 1488901        4910034        69937933       28354769       0              0              13   23   21   
6.10/6.10	c 1637859        5407957        77038116       31224506       0              0              13   23   21   
6.69/6.72	c 1801712        5963815        84775161       34360296       0              0              12   23   22   
7.39/7.43	c 1981950        6567213        93565758       37926492       0              0              12   23   21   
8.10/8.19	c 2180211        7229113        103181123      41822697       0              0              12   23   21   
9.00/9.05	c 2398298        7954469        113804581      46147777       0              0              12   23   21   
9.89/9.99	c 2638193        8772749        125683725      50949836       0              0              13   23   21   
11.00/11.01	c 2902077        9644803        138436635      56148858       0              0              10   23   21   
12.10/12.13	c 3192349        10599328       152428966      61826123       0              0              12   23   21   
13.29/13.37	c 3511648        11664861       168119347      68220238       0              0              12   23   21   
14.69/14.74	c 3862876        12838874       185260755      75160348       0              0              12   23   21   
16.19/16.25	c 4249226        14133035       204123585      82839311       0              0              10   23   21   
17.89/17.92	c 4674211        15549497       225028377      91331727       0              0              11   23   21   
19.69/19.71	c 5141694        17129157       247440226      100424048      0              0              10   23   21   
21.69/21.75	c 5655925        18868097       273039990      110777341      0              0              11   23   21   
23.89/23.94	c 6221579        20808596       300433234      121886677      0              0              10   23   21   
26.29/26.39	c 6843798        22904617       330831632      134240346      0              0              12   23   21   
29.00/29.04	c 7528238        25160904       364227077      147828091      0              0              9   23   21    
32.00/32.02	c 8281122        27705318       401128910      162813459      0              0              11   23   21   
35.19/35.27	c 9109294        30567375       441990862      179346533      0              0              10   23   21   
38.79/38.85	c 10020283       33670577       486509649      197397512      0              0              9   23   21    
42.79/42.81	c 11022370       37087324       536026123      217573788      0              0              10   23   21   
47.00/47.07	c 12124665       40904219       589249562      239143853      0              0              11   23   22   
51.69/51.79	c 13337189       45104751       648068209      263035997      0              0              9   23   22    
57.00/57.10	c 14670965       49631890       714258766      289893244      0              0              9   23   21    
62.89/62.98	c 16138118       54651006       787594039      319667158      0              0              9   23   21    
69.39/69.43	c 17751986       60133641       868252965      352482108      0              0              10   23   21   
76.39/76.42	c 19527240       66247487       955241657      387765014      0              0              9   23   21    
84.19/84.29	c 21480019       72959752       1053627051     427709718      0              0              9   23   21    
92.88/93.00	c 23628075       80196728       1161777898     471614710      0              0              9   23   21    
102.38/102.46	c 25990936       88199836       1278702004     519219258      0              0              9   23   21    
112.58/112.69	c 28590083       96903963       1406922050     571265074      0              0              9   23   21    
124.18/124.29	c 31449144       106389165      1550574416     629875302      0              0              9   23   21    
136.68/136.71	c 34594111       117237460      1704936397     692418527      0              0              9   23   21    
150.38/150.43	c 38053574       129046028      1875561453     761833861      0              0              10   23   21   
165.58/165.61	c 41858983       142173193      2063867829     838176365      0              0              9   23   21    
182.48/182.54	c 46044932       156518552      2275545850     924527635      0              0              9   23   21    
201.09/201.15	c 50649475       172203929      2506833776     1018352580     0              0              9   23   21    
221.27/221.32	c 55714472       189515306      2758622836     1120730155     0              0              9   23   21    
243.27/243.35	c 61285968       208766847      3033542145     1232014063     0              0              8   23   22    
268.08/268.19	c 67414613       229659098      3340043363     1356673219     0              0              9   23   21    
295.47/295.53	c 74156122       252462851      3681204108     1495092920     0              0              9   23   21    
324.77/324.84	c 81571781       277769812      4045418175     1643391691     0              0              9   23   21    
357.36/357.41	c 89729005       305662913      4449032441     1807283638     0              0              9   23   21    
393.07/393.18	c 98701951       336268462      4897029001     1989190987     0              0              8   23   21    
432.86/433.00	c 108572191      370094957      5388912397     2189079761     0              0              9   23   21    
476.06/476.14	c 119429455      406672387      5923363049     2407330295     0              0              9   23   21    
524.25/524.31	c 131372445      446661691      6523400379     2651869749     0              0              8   23   21    
576.15/576.28	c 144509734      491202807      7168800501     2913824015     0              0              8   23   21    
634.14/634.21	c 158960751      540878344      7889223595     3206611327     0              0              8   23   21    
698.54/698.60	c 174856869      594956618      8684838141     3529781569     0              0              8   23   21    
767.53/767.62	c 192342598      655067784      9546279342     3879713432     0              0              9   23   21    
844.53/844.60	c 211576899      721605721      10497205019    4266323951     0              0              8   23   21    
930.62/930.74	c 232734630      793855218      11567269085    4701567357     0              0              8   23   21    
1023.71/1023.86	c 256008134      872736356      12716442168    5169891221     0              0              8   23   21    
1126.01/1126.14	c 281608988      961056166      13984809533    5683636811     0              0              8   23   21    
1239.90/1240.08	c 309769927      1057330844     15399383571    6259153150     0              0              8   23   21    
1363.69/1363.85	c 340746959      1162636544     16934128953    6882346859     0              0              8   23   21    
1499.58/1499.78	c 374821694      1277662139     18609633611    7565291815     0              0              8   23   21    
1651.06/1651.24	c 412303902      1402996088     20493087837    8331421044     0              0              8   23   21    
1817.15/1817.32	c 453534330      1543755301     22535300437    9162761386     0              0              8   23   21    
1998.95/1999.12	c 498887800      1699208089     24797658433    10080153648    0              0              8   23   21    
2200.83/2201.09	c 548776617      1869637074     27297281671    11097955520    0              0              6   23   21    
2423.11/2423.36	c 603654315      2057960386     30040549260    12209785859    0              0              8   23   21    
2519.81/2520.00	
2519.81/2520.00	c *** INTERRUPTED ***
2519.81/2520.00	c restarts              : 140         
2519.81/2520.00	c conflicts             : 628166767    (249291 /sec)
2519.81/2520.00	c decisions             : 2143973279   (850847 /sec)
2519.81/2520.00	c propagations          : 12698638361 (5039519 /sec)
2519.81/2520.00	c root propagations     : 0           
2519.81/2520.00	c filter calls          : 31244137047    (12399393 /sec)
2519.81/2520.00	c useless filter calls  : 23779781294    (76 %)
2519.81/2520.00	c Memory used           : 26.66 MB
2519.81/2520.00	c CPU time              : 2519.81 s
2519.81/2520.00	
2519.81/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4860 MiB free)
  memory of node 1: 16384 MiB (10845 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294735-1532488798/watcher-4294735-1532488798 -o /tmp/evaluation-result-4294735-1532488798/solver-4294735-1532488798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294735-1532488798.xml 

running on 4 cores: 0,2,4,6

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=24511, runsolver pid=24508

[startup+0.100143 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24512
/proc/meminfo: memFree=16083316/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3672 CPUtime=0.1 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1096 0 0 0 10 0 0 0 20 0 1 0 66443049 27947008 918 33554432000 4194304 6142532 140731370195488 140731370192120 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 918 812 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209181 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24512
/proc/meminfo: memFree=16083524/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3672 CPUtime=0.21 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1096 0 0 0 21 0 0 0 20 0 1 0 66443049 27947008 918 33554432000 4194304 6142532 140731370195488 140731370192888 5327103 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 918 812 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.308727 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24512
/proc/meminfo: memFree=16083352/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3672 CPUtime=0.31 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1096 0 0 0 31 0 0 0 20 0 1 0 66443049 27947008 918 33554432000 4194304 6142532 140731370195488 140731370192888 4995600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 918 812 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.700271 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24512
/proc/meminfo: memFree=16083352/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3672 CPUtime=0.69 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1096 0 0 0 69 0 0 0 20 0 1 0 66443049 27947008 918 33554432000 4194304 6142532 140731370195488 140731370192888 5170107 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 918 812 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24512
/proc/meminfo: memFree=16083352/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3672 CPUtime=1.49 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1096 0 0 0 149 0 0 0 20 0 1 0 66443049 27947008 918 33554432000 4194304 6142532 140731370195488 140731370192888 4990600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 918 812 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10883 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24512
/proc/meminfo: memFree=16083220/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=3.1 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1141 0 0 0 310 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24519
/proc/meminfo: memFree=16082528/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=6.29 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1186 0 0 0 629 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24519
/proc/meminfo: memFree=16082776/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=12.69 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1231 0 0 0 1269 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24519
/proc/meminfo: memFree=16083412/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=25.49 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1321 0 0 0 2549 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5319106 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+51.1088 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24641
/proc/meminfo: memFree=16083372/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=51.1 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1366 0 0 0 5110 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5345599 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24642
/proc/meminfo: memFree=16083888/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=102.28 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1411 0 0 0 10228 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24643
/proc/meminfo: memFree=16084172/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=162.28 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1456 0 0 0 16228 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5336669 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24643
/proc/meminfo: memFree=16084296/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=222.27 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1501 0 0 0 22227 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5318922 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24644
/proc/meminfo: memFree=16084072/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=282.27 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1546 0 0 0 28227 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5336535 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24646
/proc/meminfo: memFree=16083744/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=342.27 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1591 0 0 0 34227 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4990607 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24647
/proc/meminfo: memFree=16084080/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=402.26 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1636 0 0 0 40226 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24648
/proc/meminfo: memFree=16084152/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=462.26 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 1681 0 0 0 46226 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995561 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB


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

/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24686
/proc/meminfo: memFree=16082984/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=1782.15 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2554 0 0 0 178215 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995491 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24695
/proc/meminfo: memFree=16082272/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=1842.15 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2599 0 0 0 184215 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995667 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24696
/proc/meminfo: memFree=16082892/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=1902.15 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2631 0 0 0 190215 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24697
/proc/meminfo: memFree=16082768/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=1962.14 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2663 0 0 0 196214 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5345875 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24698
/proc/meminfo: memFree=16082992/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2022.14 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2708 0 0 0 202214 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5329299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24699
/proc/meminfo: memFree=16083620/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2082.13 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2740 0 0 0 208213 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5336852 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24702
/proc/meminfo: memFree=16083000/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2142.13 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2772 0 0 0 214213 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995458 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24703
/proc/meminfo: memFree=16083140/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2202.12 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2817 0 0 0 220212 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5170158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24704
/proc/meminfo: memFree=16083020/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2262.12 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2849 0 0 0 226212 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24706
/proc/meminfo: memFree=16082424/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2322.11 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2881 0 0 0 232211 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4995685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24707
/proc/meminfo: memFree=16082616/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2382.11 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2913 0 0 0 238211 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 4991073 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2442.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/187 24715
/proc/meminfo: memFree=16082196/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2442.1 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2958 0 0 0 244210 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5327315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

[startup+2502.3 s]
/proc/loadavg: 2.18 2.10 2.07 3/188 24739
/proc/meminfo: memFree=16080828/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2502.1 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 2990 0 0 0 250210 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5341780 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.13 2.10 2.07 3/188 24740
/proc/meminfo: memFree=16081076/32770624 swapFree=67108860/67108860
[pid=24511] ppid=24508 vsize=27292 memory=3760 CPUtime=2519.81 cores=0,2,4,6
/proc/24511/stat : 24511 (cosoco) R 24508 24511 22565 0 -1 4202496 3022 0 0 0 251981 0 0 0 20 0 1 0 66443049 27947008 940 33554432000 4194304 6142532 140731370195488 140731370192888 5335806 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 20807680 140731370202246 140731370202376 140731370202376 140731370205134 0
/proc/24511/statm: 6823 940 833 476 0 145 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3760 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.81
CPU user time (s): 2519.81
CPU system time (s): 0.001999
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.001999
maximum resident set size= 3824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3070
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= 15
involuntary context switches= 3151


# summary of solver processes directly reported to runsolver:
#   pid: 24511
#   total CPU time (s): 2519.81
#   total CPU user time (s): 2519.81
#   total CPU system time (s): 0.001999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77412 second user time and 15.6304 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 05:19:58
IDJOB=4294735
IDBENCH=141416
IDSOLVER=2752
FILE ID=node150/4294735-1532488798
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= 40871f7837aaa5db219997aff65857eb
RANDOM SEED=1878625869

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        16083308 kB
MemAvailable:   31939644 kB
Buffers:          238064 kB
Cached:         15702100 kB
SwapCached:            0 kB
Active:          1578040 kB
Inactive:       14416332 kB
Active(anon):      12032 kB
Inactive(anon):    61412 kB
Active(file):    1566008 kB
Inactive(file): 14354920 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         60844 kB
Mapped:            41480 kB
Shmem:             17032 kB
Slab:             391032 kB
SReclaimable:     363868 kB
SUnreclaim:        27164 kB
KernelStack:        3360 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

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