Trace number 4252564

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-mini 1.1 (2017-06-27)? (TO) 2400.39 2400.45

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0150.xml
MD5SUMb9bf68be3b756b1f34bbd3d4e06d542d
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 benchmark128.82
Satisfiable
(Un)Satisfiability was proved
Number of variables302
Number of constraints11626
Number of domains1
Minimum domain size22501
Maximum domain size22501
Distribution of domain sizes[{"size":22501,"count":302}]
Minimum variable degree2
Maximum variable degree151
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":149},{"degree":150,"count":149},{"degree":151,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11626}]
Number of extensional constraints0
Number of intensional constraints11626
Distribution of constraint types[{"type":"intension","count":11626}]
Optimization problemNO
Type of objective

Solver Data 

15.89/15.94	c root propagations     : 0           
15.89/15.94	c restarts enabled, print stats at every restarts
15.89/15.94	c
15.89/15.94	c
15.89/15.94	c
15.89/15.94	c This is cosoco 1.0 --  
15.89/15.94	c
15.89/15.94	c ========================================[ Problem Statistics ]===========================================
15.89/15.94	c |                                                                                                       
15.89/15.94	c |  Parse time        :        13.52 s 
15.89/15.94	c |
15.89/15.94	c |               Variables: 302
15.89/15.94	c |            Domain Sizes: 22501..22501
15.89/15.94	c |
15.89/15.94	c |             Constraints: 11626
15.89/15.94	c |                   Arity: 2..2  -- Binary: 11626
15.89/15.94	c | 
15.89/15.94	c |                   Types: 
15.89/15.94	c |                          Intension: 11626
15.89/15.94	c |                          
15.89/15.94	c =========================================================================================================
15.89/15.94	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.89/15.95	c 101            102            42279          304            0              0              2   2   1      
15.89/15.97	c 211            364            66333          789            0              0              2   153   148  
15.89/15.98	c 332            488            103180         1155           0              0              4   4   3      
15.89/15.98	c 465            624            143204         1561           0              0              2   4   3      
15.89/15.98	c 611            773            145124         2005           0              0              3   4   3      
15.89/15.99	c 771            936            193591         2490           0              0              4   4   3      
15.89/15.99	c 947            1115           247048         3021           0              0              4   4   3      
15.99/16.00	c 1140           1311           305192         3607           0              0              2   4   3      
15.99/16.00	c 1352           1526           307508         4249           0              0              3   4   3      
15.99/16.01	c 1585           1762           377948         4953           0              0              4   4   3      
15.99/16.01	c 1841           2021           455565         5724           0              0              4   4   3      
15.99/16.02	c 2122           2305           540285         6574           0              0              2   4   3      
15.99/16.02	c 2431           2617           543183         7507           0              0              3   4   3      
15.99/16.03	c 2770           2959           645529         8529           0              0              4   4   3      
15.99/16.04	c 3142           3334           758178         9648           0              0              4   4   3      
15.99/16.05	c 3551           3746           881554         10882          0              0              2   4   3      
15.99/16.06	c 4000           4198           885292         12235          0              0              3   4   3      
15.99/16.07	c 4493           4694           1033992        13719          0              0              4   4   3      
15.99/16.08	c 5035           5239           1197981        15348          0              0              4   4   3      
15.99/16.09	c 5631           5838           1377831        17143          0              0              2   4   3      
16.09/16.10	c 6286           6496           1382805        19114          0              0              3   4   3      
16.09/16.12	c 7006           7219           1599832        21279          0              0              4   4   3      
16.09/16.14	c 7798           8014           1839321        23658          0              0              4   4   3      
16.09/16.16	c 8669           8888           2102221        26278          0              0              2   4   3      
16.09/16.17	c 9627           9849           2109013        29158          0              0              3   4   3      
16.09/16.19	c 10680          10905          2426273        32322          0              0              4   4   3      
16.19/16.23	c 11838          12066          2776294        35799          0              0              4   4   3      
16.19/16.25	c 13111          13342          3160598        39625          0              0              2   4   3      
16.19/16.27	c 14511          14745          3170042        43831          0              0              3   4   3      
16.29/16.30	c 16051          16288          3633889        48456          0              0              4   4   3      
16.29/16.35	c 17745          17985          4145782        53541          0              0              4   4   3      
16.29/16.39	c 19608          19851          4708266        59137          0              0              2   4   3      
16.39/16.42	c 21657          21903          4721604        65290          0              0              3   4   3      
16.39/16.47	c 23910          24159          5400064        72054          0              0              4   4   3      
16.50/16.54	c 26388          26640          6148725        79491          0              0              4   4   3      
16.50/16.60	c 29113          29368          6971533        87673          0              0              2   4   3      
16.60/16.64	c 32110          32368          6990559        96670          0              0              3   4   3      
16.69/16.71	c 35406          35667          7982962        106563         0              0              4   4   3      
16.79/16.82	c 39031          39295          9078017        117441         0              0              4   4   3      
16.89/16.91	c 43018          43285          10281949       129409         0              0              2   4   3      
16.89/16.96	c 47403          47673          10309303       142570         0              0              3   4   3      
16.99/17.07	c 52226          52499          11761333       157044         0              0              4   4   3      
17.19/17.23	c 57531          57807          13363748       172962         0              0              4   4   3      
17.29/17.36	c 63366          63645          15125776       190474         0              0              2   4   3      
17.39/17.44	c 69784          70066          15165328       209734         0              0              3   4   3      
17.60/17.60	c 76843          77128          17290394       230916         0              0              4   4   3      
17.79/17.85	c 84607          84895          19635427       254211         0              0              4   4   3      
17.99/18.04	c 93147          93438          22214365       279838         0              0              2   4   3      
18.09/18.18	c 102541         102835         22271773       308026         0              0              3   4   3      
18.39/18.41	c 112874         113171         25382313       339030         0              0              4   4   3      
18.70/18.78	c 124240         124540         28815150       373131         0              0              4   4   3      
18.99/19.09	c 136742         137045         32590612       410644         0              0              2   4   3      
19.19/19.29	c 150494         150801         32674468       461909         0              0              3   4   3      
19.59/19.64	c 165621         165932         37228305       517298         0              0              4   4   3      
20.09/20.18	c 182260         182575         42253740       577220         0              0              4   4   3      
20.59/20.61	c 200562         200881         47780508       642136         0              0              2   4   3      
20.79/20.90	c 220694         221017         47902644       712541         0              0              3   4   3      
21.39/21.41	c 242839         243166         54568899       788984         0              0              4   4   3      
22.19/22.21	c 267198         267529         61925774       872066         0              0              4   4   3      
22.79/22.86	c 293992         294328         70016682       972462         0              0              2   4   3      
23.20/23.28	c 323465         323806         70195163       1080894        0              0              3   4   3      
23.99/24.04	c 355885         356231         79954496       1198165        0              0              4   4   3      
25.19/25.21	c 391547         391898         90724879       1325159        0              0              4   4   3      
26.09/26.15	c 430775         431132         102570261      1472862        0              0              2   4   3      
26.69/26.78	c 473925         474288         102831102      1632330        0              0              3   4   3      
27.89/27.90	c 521390         521759         117119283      1804739        0              0              4   4   3      
29.59/29.61	c 573601         573977         132887018      2001389        0              0              4   4   3      
30.90/30.99	c 631033         631416         150229264      2213710        0              0              2   4   3      
31.90/31.92	c 694208         694599         150610848      2453266        0              0              3   4   3      
33.49/33.56	c 763700         764099         171529762      2711762        0              0              4   4   3      
35.99/36.07	c 840141         840549         194613911      3001115        0              0              4   4   3      
37.99/38.09	c 924226         924643         220003425      3313410        0              0              2   4   3      
39.39/39.46	c 1016719        1017146        220561506      3660937        0              0              3   4   3      
41.79/41.86	c 1118461        1118899        251188579      4046192        0              0              4   4   3      
45.49/45.53	c 1230377        1230826        284984532      4461987        0              0              4   4   3      
48.49/48.51	c 1353484        1353945        322154658      4921378        0              0              2   4   3      
50.49/50.51	c 1488901        1489375        322971159      5427710        0              0              3   4   3      
53.99/54.03	c 1637859        1638347        367811157      5984622        0              0              4   4   3      
59.39/59.41	c 1801712        1802216        417285344      6606288        0              0              4   4   3      
63.69/63.77	c 1981950        1982471        471699312      7287142        0              0              2   4   3      
66.69/66.70	c 2180211        2180750        472894317      8032081        0              0              3   4   3      
71.79/71.86	c 2398298        2398857        538543962      8856398        0              0              4   4   3      
79.69/79.75	c 2638193        2638774        610969795      9766295        0              0              4   4   3      
86.09/86.14	c 2902077        2902682        690624947      10768227       0              0              2   4   3      
90.39/90.46	c 3192349        3192980        692374270      11869371       0              0              3   4   3      
97.99/98.02	c 3511648        3512307        788491151      13077348       0              0              4   4   3      
109.49/109.58	c 3862876        3863566        894509868      14411469       0              0              4   4   3      
118.89/118.94	c 4249226        4249949        1011113356     15871051       0              0              2   4   3      
125.19/125.26	c 4674211        4674970        1013673682     17476639       0              0              3   4   3      
136.29/136.35	c 5141694        5142493        1154397583     19249204       0              0              4   4   3      
153.19/153.28	c 5655925        5656768        1309578882     21202802       0              0              4   4   3      
166.89/166.99	c 6221579        6222470        1480244518     23350896       0              0              2   4   3      
176.19/176.25	c 6843798        6844741        1483992400     25708882       0              0              3   4   3      
192.39/192.48	c 7528238        7529238        1690025509     28302369       0              0              4   4   3      
217.19/217.28	c 8281122        8282185        1917140402     31162914       0              0              4   4   3      
237.28/237.36	c 9109294        9110426        2166907050     34309780       0              0              2   4   3      
250.90/250.93	c 10020283       10021490       2172393072     37765525       0              0              3   4   3      
274.69/274.72	c 11022370       11023660       2474045806     41572031       0              0              4   4   3      
310.98/311.03	c 12124665       12126046       2806378377     45762923       0              0              4   4   3      
340.38/340.46	c 13337189       13338669       3171848259     50365350       0              0              2   4   3      
360.29/360.35	c 14670965       14672554       3179878194     55432567       0              0              3   4   3      
395.18/395.21	c 16138118       16139827       3621527005     61004382       0              0              4   4   3      
448.39/448.41	c 17751986       17753827       4107696654     67144503       0              0              4   4   3      
491.48/491.55	c 19527240       19529225       4642301266     73890565       0              0              2   4   3      
520.69/520.73	c 21480019       21482163       4654053694     81321466       0              0              3   4   3      
571.78/571.83	c 23628075       23630393       5300670670     89476152       0              0              4   4   3      
649.68/649.79	c 25990936       25993445       6011646873     98462692       0              0              4   4   3      
712.98/713.01	c 28590083       28592802       6793330117     108352082      0              0              2   4   3      
755.79/755.84	c 31449144       31452094       6810528049     119235833      0              0              3   4   3      
830.68/830.78	c 34594111       34597315       7757239476     131181492      0              0              4   4   3      
944.98/945.04	c 38053574       38057057       8796347059     144358386      0              0              4   4   3      
1037.68/1037.78	c 41858983       41862773       9938582659     158861588      0              0              2   4   3      
1100.68/1100.70	c 46044932       46049059       9963743986     174816054      0              0              3   4   3      
1210.68/1210.70	c 50649475       50653973       11349823240    192310792      0              0              4   4   3      
1357.14/1357.27	c 55714472       55719378       12867242699    211638406      0              0              4   4   3      
1488.64/1488.73	c 61285968       61291322       14534885019    232903026      0              0              2   4   3      
1580.94/1581.03	c 67414613       67420460       14571685128    256310242      0              0              3   4   3      
1736.44/1736.53	c 74156122       74162511       16601042961    281926391      0              0              4   4   3      
1926.23/1926.34	c 81571781       81578766       18814333220    310280085      0              0              4   4   3      
2119.43/2119.51	c 89729005       89736645       21245789138    341485946      0              0              2   4   3      
2255.53/2255.60	c 98701951       98710311       21299586272    375833627      0              0              3   4   3

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-4252564-1500922431/watcher-4252564-1500922431 -o /tmp/evaluation-result-4252564-1500922431/solver-4252564-1500922431 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500914943-3947 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252564-1500922431.xml 

pid=7858
running on 4 cores: 1,3,5,7

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: 1.90 1.97 2.03 3/181 7861
/proc/meminfo: memFree=30762840/32770624 swapFree=5832/125524
[pid=7861] ppid=7858 vsize=29220 CPUtime=0 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 1802228 29921280 1353 33554432000 4194304 5744392 140732171969472 140732171966120 5019373 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 7305 1353 685 379 0 724 0

[startup+0.100165 s]
/proc/loadavg: 1.90 1.97 2.03 3/181 7861
/proc/meminfo: memFree=30762840/32770624 swapFree=5832/125524
[pid=7861] ppid=7858 vsize=110832 CPUtime=0.09 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 21969 0 0 0 7 2 0 0 20 0 1 0 1802228 113491968 21794 33554432000 4194304 5744392 140732171969472 140732171966120 4907005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 27708 21794 772 379 0 21127 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 110832

[startup+0.20037 s]
/proc/loadavg: 1.90 1.97 2.03 3/181 7861
/proc/meminfo: memFree=30762840/32770624 swapFree=5832/125524
[pid=7861] ppid=7858 vsize=162824 CPUtime=0.19 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 35037 0 0 0 16 3 0 0 20 0 1 0 1802228 166731776 34813 33554432000 4194304 5744392 140732171969472 140732171966120 4907005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 40706 34813 772 379 0 34125 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162824

[startup+0.300345 s]
/proc/loadavg: 1.90 1.97 2.03 3/181 7861
/proc/meminfo: memFree=30762840/32770624 swapFree=5832/125524
[pid=7861] ppid=7858 vsize=213876 CPUtime=0.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 47784 0 0 0 24 5 0 0 20 0 1 0 1802228 219009024 47622 33554432000 4194304 5744392 140732171969472 140732171966120 140494439961834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 53469 47622 773 379 0 46888 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 213876

[startup+0.700279 s]
/proc/loadavg: 1.90 1.97 2.03 3/181 7861
/proc/meminfo: memFree=30762840/32770624 swapFree=5832/125524
[pid=7861] ppid=7858 vsize=352300 CPUtime=0.69 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 82423 0 0 0 60 9 0 0 20 0 1 0 1802228 360755200 82172 33554432000 4194304 5744392 140732171969472 140732171963096 4907005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 88075 82172 773 379 0 81494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 352300

[startup+1.50029 s]
/proc/loadavg: 1.90 1.97 2.03 3/182 7862
/proc/meminfo: memFree=30170940/32770624 swapFree=5832/125328
[pid=7861] ppid=7858 vsize=769200 CPUtime=1.49 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 186645 0 0 0 126 23 0 0 20 0 1 0 1802228 787660800 186386 33554432000 4194304 5744392 140732171969472 140732171963096 140494439974036 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 192300 186386 773 379 0 185719 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 769200

[startup+3.10029 s]
/proc/loadavg: 1.91 1.97 2.03 3/182 7862
/proc/meminfo: memFree=29539532/32770624 swapFree=5832/125328
[pid=7861] ppid=7858 vsize=1603004 CPUtime=3.09 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 395286 0 0 0 261 48 0 0 20 0 1 0 1802228 1641476096 394811 33554432000 4194304 5744392 140732171969472 140732171963096 4907005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 400751 394811 773 379 0 394170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1603004

[startup+6.30028 s]
/proc/loadavg: 1.91 1.97 2.03 3/182 7862
/proc/meminfo: memFree=27644772/32770624 swapFree=5832/125336
[pid=7861] ppid=7858 vsize=3273420 CPUtime=6.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 813164 0 0 0 534 95 0 0 20 0 1 0 1802228 3351982080 812434 33554432000 4194304 5744392 140732171969472 140732171963096 140494440256307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 818355 812434 773 379 0 811774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3273420

[startup+12.7003 s]
/proc/loadavg: 1.92 1.97 2.03 3/182 7862
/proc/meminfo: memFree=23849736/32770624 swapFree=5832/125340
[pid=7861] ppid=7858 vsize=6617684 CPUtime=12.69 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 1649558 0 0 0 1075 194 0 0 20 0 1 0 1802228 6776508416 1648522 33554432000 4194304 5744392 140732171969472 140732171963096 140494439974756 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 1654421 1648522 773 379 0 1647840 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6617684

[startup+25.5003 s]
/proc/loadavg: 1.93 1.97 2.03 3/182 7862
/proc/meminfo: memFree=21693124/32770624 swapFree=5832/125364
[pid=7861] ppid=7858 vsize=8312932 CPUtime=25.49 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2093223 0 0 0 2306 243 0 0 20 0 1 0 1802228 8512442368 2072426 33554432000 4194304 5744392 140732171969472 140732171966872 5139175 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072426 810 379 0 2071652 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8312932

[startup+51.1003 s]
/proc/loadavg: 1.96 1.97 2.03 3/182 7862
/proc/meminfo: memFree=21682908/32770624 swapFree=5832/125396
[pid=7861] ppid=7858 vsize=8312932 CPUtime=51.09 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2095539 0 0 0 4866 243 0 0 20 0 1 0 1802228 8512442368 2072427 33554432000 4194304 5744392 140732171969472 140732171966872 4872571 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072427 810 379 0 2071652 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8312932

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/182 7864
/proc/meminfo: memFree=21682264/32770624 swapFree=5832/125476
[pid=7861] ppid=7858 vsize=8312932 CPUtime=102.3 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2100932 0 0 0 9981 249 0 0 20 0 1 0 1802228 8512442368 2072428 33554432000 4194304 5744392 140732171969472 140732171966872 5139185 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072428 810 379 0 2071652 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 8312932

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/182 7865
/proc/meminfo: memFree=21682544/32770624 swapFree=5832/125536
[pid=7861] ppid=7858 vsize=8312932 CPUtime=162.28 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2110326 0 0 0 15970 258 0 0 20 0 1 0 1802228 8512442368 2072428 33554432000 4194304 5744392 140732171969472 140732171966872 4872571 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072428 810 379 0 2071652 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 8312932

[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 7866
/proc/meminfo: memFree=21682384/32770624 swapFree=5832/125612
[pid=7861] ppid=7858 vsize=8312932 CPUtime=222.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2119716 0 0 0 21961 268 0 0 20 0 1 0 1802228 8512442368 2072429 33554432000 4194304 5744392 140732171969472 140732171966872 5115995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072429 810 379 0 2071652 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 8312932

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 7868
/proc/meminfo: memFree=21681856/32770624 swapFree=5832/125676
[pid=7861] ppid=7858 vsize=8312932 CPUtime=282.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2127827 0 0 0 27951 278 0 0 20 0 1 0 1802228 8512442368 2072429 33554432000 4194304 5744392 140732171969472 140732171966872 5139160 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072429 810 379 0 2071652 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 8312932

[startup+342.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/182 7869
/proc/meminfo: memFree=21682064/32770624 swapFree=5832/125744
[pid=7861] ppid=7858 vsize=8312932 CPUtime=342.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2136752 0 0 0 33941 288 0 0 20 0 1 0 1802228 8512442368 2072430 33554432000 4194304 5744392 140732171969472 140732171966872 5115995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072430 810 379 0 2071652 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 8312932

[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/182 7877
/proc/meminfo: memFree=21680120/32770624 swapFree=5832/125796
[pid=7861] ppid=7858 vsize=8312932 CPUtime=402.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2144120 0 0 0 39931 298 0 0 20 0 1 0 1802228 8512442368 2072430 33554432000 4194304 5744392 140732171969472 140732171966872 4872424 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072430 810 379 0 2071652 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 8312932

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.04 3/182 7900
/proc/meminfo: memFree=21678464/32770624 swapFree=5832/125840
[pid=7861] ppid=7858 vsize=8312932 CPUtime=462.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2152012 0 0 0 45921 308 0 0 20 0 1 0 1802228 8512442368 2072430 33554432000 4194304 5744392 140732171969472 140732171966872 5115995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072430 810 379 0 2071652 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 8312932

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/182 7901
/proc/meminfo: memFree=21678992/32770624 swapFree=5832/125880
[pid=7861] ppid=7858 vsize=8312932 CPUtime=522.28 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2160316 0 0 0 51910 318 0 0 20 0 1 0 1802228 8512442368 2072431 33554432000 4194304 5744392 140732171969472 140732171966872 5124108 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072431 810 379 0 2071652 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 8312932

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7902
/proc/meminfo: memFree=21679988/32770624 swapFree=5832/125924
[pid=7861] ppid=7858 vsize=8312932 CPUtime=582.29 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2167284 0 0 0 57901 328 0 0 20 0 1 0 1802228 8512442368 2072431 33554432000 4194304 5744392 140732171969472 140732171966872 4872424 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072431 810 379 0 2071652 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 8312932


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


[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7925
/proc/meminfo: memFree=21678472/32770624 swapFree=5832/126552
[pid=7861] ppid=7858 vsize=8312932 CPUtime=1542.24 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2259378 0 0 0 153747 477 0 0 20 0 1 0 1802228 8512442368 2072453 33554432000 4194304 5744392 140732171969472 140732171966872 5139189 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072453 810 379 0 2071652 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 8312932

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7934
/proc/meminfo: memFree=21676580/32770624 swapFree=5832/126596
[pid=7861] ppid=7858 vsize=8312932 CPUtime=1602.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2261019 0 0 0 159738 485 0 0 20 0 1 0 1802228 8512442368 2072455 33554432000 4194304 5744392 140732171969472 140732171966872 4905519 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072455 810 379 0 2071652 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 8312932

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7935
/proc/meminfo: memFree=21676872/32770624 swapFree=5832/126624
[pid=7861] ppid=7858 vsize=8312932 CPUtime=1662.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2262075 0 0 0 165731 492 0 0 20 0 1 0 1802228 8512442368 2072455 33554432000 4194304 5744392 140732171969472 140732171966872 4905523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072455 810 379 0 2071652 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 8312932

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7936
/proc/meminfo: memFree=21677184/32770624 swapFree=5832/126652
[pid=7861] ppid=7858 vsize=8312932 CPUtime=1722.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2263130 0 0 0 171724 499 0 0 20 0 1 0 1802228 8512442368 2072455 33554432000 4194304 5744392 140732171969472 140732171966872 4872924 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072455 810 379 0 2071652 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 8312932

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7937
/proc/meminfo: memFree=21677124/32770624 swapFree=5832/126684
[pid=7861] ppid=7858 vsize=8312932 CPUtime=1782.24 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2264502 0 0 0 177718 506 0 0 20 0 1 0 1802228 8512442368 2072455 33554432000 4194304 5744392 140732171969472 140732171966872 4872440 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072455 810 379 0 2071652 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 8312932

[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 7938
/proc/meminfo: memFree=21677296/32770624 swapFree=5832/126724
[pid=7861] ppid=7858 vsize=8312932 CPUtime=1842.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2265714 0 0 0 183711 512 0 0 20 0 1 0 1802228 8512442368 2072455 33554432000 4194304 5744392 140732171969472 140732171966872 4872518 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078233 2072455 810 379 0 2071652 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 8312932

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7940
/proc/meminfo: memFree=21677304/32770624 swapFree=5832/126760
[pid=7861] ppid=7858 vsize=8313064 CPUtime=1902.24 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2266946 0 0 0 189705 519 0 0 20 0 1 0 1802228 8512577536 2072456 33554432000 4194304 5744392 140732171969472 140732171966616 5115984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072456 810 379 0 2071685 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 8313064

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7941
/proc/meminfo: memFree=21677664/32770624 swapFree=5832/126800
[pid=7861] ppid=7858 vsize=8313064 CPUtime=1962.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2268664 0 0 0 195697 526 0 0 20 0 1 0 1802228 8512577536 2072457 33554432000 4194304 5744392 140732171969472 140732171966872 4872512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072457 810 379 0 2071685 0
Current children cumulated CPU time (s) 1962.23
Current children cumulated vsize (KiB) 8313064

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7942
/proc/meminfo: memFree=21677804/32770624 swapFree=5832/126832
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2022.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2270200 0 0 0 201691 532 0 0 20 0 1 0 1802228 8512577536 2072457 33554432000 4194304 5744392 140732171969472 140732171966872 5126208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072457 810 379 0 2071685 0
Current children cumulated CPU time (s) 2022.23
Current children cumulated vsize (KiB) 8313064

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7944
/proc/meminfo: memFree=21677696/32770624 swapFree=5832/126864
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2082.24 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2271730 0 0 0 207685 539 0 0 20 0 1 0 1802228 8512577536 2072457 33554432000 4194304 5744392 140732171969472 140732171966872 5115984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072457 810 379 0 2071685 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 8313064

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7945
/proc/meminfo: memFree=21677712/32770624 swapFree=5832/126904
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2142.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2273439 0 0 0 213678 545 0 0 20 0 1 0 1802228 8512577536 2072458 33554432000 4194304 5744392 140732171969472 140732171966872 5139160 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072458 810 379 0 2071685 0
Current children cumulated CPU time (s) 2142.23
Current children cumulated vsize (KiB) 8313064

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7953
/proc/meminfo: memFree=21677016/32770624 swapFree=5832/126936
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2202.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2275040 0 0 0 219670 553 0 0 20 0 1 0 1802228 8512577536 2072458 33554432000 4194304 5744392 140732171969472 140732171966872 5115995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072458 810 379 0 2071685 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 8313064

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7954
/proc/meminfo: memFree=21677044/32770624 swapFree=5832/126968
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2262.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2276835 0 0 0 225662 561 0 0 20 0 1 0 1802228 8512577536 2072462 33554432000 4194304 5744392 140732171969472 140732171966872 4905519 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072462 810 379 0 2071685 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 8313064

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7955
/proc/meminfo: memFree=21677196/32770624 swapFree=5832/127008
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2322.22 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2278129 0 0 0 231655 567 0 0 20 0 1 0 1802228 8512577536 2072462 33554432000 4194304 5744392 140732171969472 140732171966872 5139185 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072462 810 379 0 2071685 0
Current children cumulated CPU time (s) 2322.22
Current children cumulated vsize (KiB) 8313064

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=23781032/32770624 swapFree=5832/127064
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2382.23 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2279517 0 0 0 237648 575 0 0 20 0 1 0 1802228 8512577536 2072462 33554432000 4194304 5744392 140732171969472 140732171966872 5139160 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072462 810 379 0 2071685 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 8313064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=23780528/32770624 swapFree=5832/127080
[pid=7861] ppid=7858 vsize=8313064 CPUtime=2400.03 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202496 2279858 0 0 0 239426 577 0 0 20 0 1 0 1802228 8512577536 2072462 33554432000 4194304 5744392 140732171969472 140732171966872 5139185 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 32309248 140732171977921 140732171978051 140732171978051 140732171980750 0
/proc/7861/statm: 2078266 2072462 810 379 0 2071685 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 8313064

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 7861 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=27412652/32770624 swapFree=5832/127084
[pid=7861] ppid=7858 vsize=0 CPUtime=2400.33 cores=1,3,5,7
/proc/7861/stat : 7861 (cosoco) R 7858 7861 3915 0 -1 4202500 2279884 0 0 0 239426 607 0 0 20 0 1 0 1802228 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/7861/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.33
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2400.45
CPU time (s): 2400.39
CPU user time (s): 2394.27
CPU system time (s): 6.12193
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 8313064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.27
system time used= 6.12193
maximum resident set size= 8289888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2279884
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= 47
involuntary context switches= 3168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56717 second user time and 8.28287 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-24 20:53:51
IDJOB=4252564
IDBENCH=126842
IDSOLVER=2633
FILE ID=node143/4252564-1500922431
RUNJOBID= node143-1500914943-3947
PBS_JOBID= 20625420
Free space on /tmp= 61820 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0150.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252564-1500922431/watcher-4252564-1500922431 -o /tmp/evaluation-result-4252564-1500922431/solver-4252564-1500922431 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500914943-3947 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252564-1500922431.xml

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

MD5SUM BENCH= b9bf68be3b756b1f34bbd3d4e06d542d
RANDOM SEED=663072989

node143.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:        30764352 kB
MemAvailable:   30735388 kB
Buffers:           36940 kB
Cached:           248088 kB
SwapCached:            0 kB
Active:          1519948 kB
Inactive:         134116 kB
Active(anon):    1371724 kB
Inactive(anon):     8592 kB
Active(file):     148224 kB
Inactive(file):   125524 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2380 kB
Writeback:             0 kB
AnonPages:       1374548 kB
Mapped:            29820 kB
Shmem:              8848 kB
Slab:              51708 kB
SReclaimable:      26248 kB
SUnreclaim:        25460 kB
KernelStack:        3232 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1609628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61820 MiB
End job on node143 at 2017-07-24 21:33:51