Trace number 4241408

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco 1.1? (TO) 2400.31 2400.86

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 benchmark14.0419
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.77/15.80	c root propagations     : 0           
15.77/15.80	c restarts enabled, print stats at every restarts
15.77/15.80	c
15.77/15.80	c
15.77/15.80	c
15.77/15.80	c This is cosoco 1.0 --  
15.77/15.80	c
15.77/15.80	c ========================================[ Problem Statistics ]===========================================
15.77/15.80	c |                                                                                                       
15.77/15.80	c |  Parse time        :        13.30 s 
15.77/15.80	c |
15.77/15.80	c |               Variables: 302
15.77/15.80	c |            Domain Sizes: 22501..22501
15.77/15.80	c |
15.77/15.80	c |             Constraints: 11626
15.77/15.80	c |                   Arity: 2..2  -- Binary: 11626
15.77/15.80	c | 
15.77/15.80	c |                   Types: 
15.77/15.80	c |                          Intension: 11626
15.77/15.80	c |                          
15.77/15.80	c =========================================================================================================
15.77/15.80	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.77/15.81	c 101            102            42279          304            0              0              2   2   1      
15.77/15.83	c 211            364            66333          789            0              0              2   153   148  
15.77/15.84	c 332            488            103180         1155           0              0              4   4   3      
15.77/15.84	c 465            624            143204         1561           0              0              2   4   3      
15.77/15.84	c 611            773            145124         2005           0              0              3   4   3      
15.77/15.85	c 771            936            193591         2490           0              0              4   4   3      
15.77/15.85	c 947            1115           247048         3021           0              0              4   4   3      
15.77/15.86	c 1140           1311           305192         3607           0              0              2   4   3      
15.77/15.86	c 1352           1526           307508         4249           0              0              3   4   3      
15.77/15.86	c 1585           1762           377948         4953           0              0              4   4   3      
15.77/15.87	c 1841           2021           455565         5724           0              0              4   4   3      
15.77/15.88	c 2122           2305           540285         6574           0              0              2   4   3      
15.77/15.88	c 2431           2617           543183         7507           0              0              3   4   3      
15.77/15.89	c 2770           2959           645529         8529           0              0              4   4   3      
15.87/15.90	c 3142           3334           758178         9648           0              0              4   4   3      
15.87/15.91	c 3551           3746           881554         10882          0              0              2   4   3      
15.87/15.91	c 4000           4198           885292         12235          0              0              3   4   3      
15.87/15.92	c 4493           4694           1033992        13719          0              0              4   4   3      
15.87/15.94	c 5035           5239           1197981        15348          0              0              4   4   3      
15.87/15.95	c 5631           5838           1377831        17143          0              0              2   4   3      
15.87/15.96	c 6286           6496           1382805        19114          0              0              3   4   3      
15.87/15.98	c 7006           7219           1599832        21279          0              0              4   4   3      
15.97/16.00	c 7798           8014           1839321        23658          0              0              4   4   3      
15.97/16.02	c 8669           8888           2102221        26278          0              0              2   4   3      
15.97/16.03	c 9627           9849           2109013        29158          0              0              3   4   3      
15.97/16.05	c 10680          10905          2426273        32322          0              0              4   4   3      
15.97/16.09	c 11838          12066          2776294        35799          0              0              4   4   3      
16.07/16.11	c 13111          13342          3160598        39625          0              0              2   4   3      
16.07/16.13	c 14511          14745          3170042        43831          0              0              3   4   3      
16.07/16.16	c 16051          16288          3633889        48456          0              0              4   4   3      
16.17/16.21	c 17745          17985          4145782        53541          0              0              4   4   3      
16.17/16.25	c 19608          19851          4708266        59137          0              0              2   4   3      
16.17/16.28	c 21657          21903          4721604        65290          0              0              3   4   3      
16.27/16.33	c 23910          24159          5400064        72054          0              0              4   4   3      
16.37/16.40	c 26388          26640          6148725        79491          0              0              4   4   3      
16.37/16.46	c 29113          29368          6971533        87673          0              0              2   4   3      
16.37/16.50	c 32110          32368          6990559        96670          0              0              3   4   3      
16.48/16.57	c 35406          35667          7982962        106563         0              0              4   4   3      
16.58/16.68	c 39031          39295          9078017        117441         0              0              4   4   3      
16.67/16.77	c 43018          43285          10281949       129409         0              0              2   4   3      
16.77/16.82	c 47403          47673          10309303       142570         0              0              3   4   3      
16.87/16.93	c 52226          52499          11761333       157044         0              0              4   4   3      
16.97/17.09	c 57531          57807          13363748       172962         0              0              4   4   3      
17.17/17.22	c 63366          63645          15125776       190474         0              0              2   4   3      
17.27/17.30	c 69784          70066          15165328       209734         0              0              3   4   3      
17.37/17.46	c 76843          77128          17290394       230916         0              0              4   4   3      
17.68/17.71	c 84607          84895          19635427       254211         0              0              4   4   3      
17.87/17.90	c 93147          93438          22214365       279838         0              0              2   4   3      
17.97/18.02	c 102541         102835         22271773       308026         0              0              3   4   3      
18.17/18.27	c 112874         113171         25382313       339030         0              0              4   4   3      
18.57/18.64	c 124240         124540         28815150       373131         0              0              4   4   3      
18.87/18.94	c 136742         137045         32590612       410644         0              0              2   4   3      
19.07/19.12	c 150494         150801         32674468       461909         0              0              3   4   3      
19.37/19.47	c 165621         165932         37228305       517298         0              0              4   4   3      
19.97/20.02	c 182260         182575         42253740       577220         0              0              4   4   3      
20.37/20.44	c 200562         200881         47780508       642136         0              0              2   4   3      
20.67/20.70	c 220694         221017         47902644       712541         0              0              3   4   3      
21.17/21.22	c 242839         243166         54568899       788984         0              0              4   4   3      
21.98/22.03	c 267198         267529         61925774       872066         0              0              4   4   3      
22.57/22.66	c 293992         294328         70016682       972462         0              0              2   4   3      
22.97/23.03	c 323465         323806         70195163       1080894        0              0              3   4   3      
23.77/23.81	c 355885         356231         79954496       1198165        0              0              4   4   3      
24.87/24.98	c 391547         391898         90724879       1325159        0              0              4   4   3      
25.87/25.91	c 430775         431132         102570261      1472862        0              0              2   4   3      
26.37/26.48	c 473925         474288         102831102      1632330        0              0              3   4   3      
27.57/27.61	c 521390         521759         117119283      1804739        0              0              4   4   3      
29.17/29.28	c 573601         573977         132887018      2001389        0              0              4   4   3      
30.57/30.63	c 631033         631416         150229264      2213710        0              0              2   4   3      
31.36/31.47	c 694208         694599         150610848      2453266        0              0              3   4   3      
33.07/33.12	c 763700         764099         171529762      2711762        0              0              4   4   3      
35.46/35.53	c 840141         840549         194613911      3001115        0              0              4   4   3      
37.36/37.49	c 924226         924643         220003425      3313410        0              0              2   4   3      
38.66/38.71	c 1016719        1017146        220561506      3660937        0              0              3   4   3      
41.05/41.14	c 1118461        1118899        251188579      4046192        0              0              4   4   3      
44.25/44.30	c 1230377        1230826        284984532      4461987        0              0              4   4   3      
47.05/47.15	c 1353484        1353945        322154658      4921378        0              0              2   4   3      
48.75/48.89	c 1488901        1489375        322971159      5427710        0              0              3   4   3      
52.25/52.37	c 1637859        1638347        367811157      5984622        0              0              4   4   3      
56.44/56.51	c 1801712        1802216        417285344      6606288        0              0              4   4   3      
60.54/60.65	c 1981950        1982471        471699312      7287142        0              0              2   4   3      
63.14/63.20	c 2180211        2180750        472894317      8032081        0              0              3   4   3      
68.14/68.29	c 2398298        2398857        538543962      8856398        0              0              4   4   3      
74.04/74.18	c 2638193        2638774        610969795      9766295        0              0              4   4   3      
80.14/80.25	c 2902077        2902682        690624947      10768227       0              0              2   4   3      
83.83/83.99	c 3192349        3192980        692374270      11869371       0              0              3   4   3      
91.34/91.43	c 3511648        3512307        788491151      13077348       0              0              4   4   3      
100.04/100.11	c 3862876        3863566        894509868      14411469       0              0              4   4   3      
108.94/109.03	c 4249226        4249949        1011113356     15871051       0              0              2   4   3      
114.33/114.50	c 4674211        4674970        1013673682     17476639       0              0              3   4   3      
125.33/125.41	c 5141694        5142493        1154397583     19249204       0              0              4   4   3      
138.02/138.14	c 5655925        5656768        1309578882     21202802       0              0              4   4   3      
151.02/151.19	c 6221579        6222470        1480244518     23350896       0              0              2   4   3      
159.12/159.24	c 6843798        6844741        1483992400     25708882       0              0              3   4   3      
175.11/175.23	c 7528238        7529238        1690025509     28302369       0              0              4   4   3      
193.71/193.85	c 8281122        8282185        1917140402     31162914       0              0              4   4   3      
212.80/212.96	c 9109294        9110426        2166907050     34309780       0              0              2   4   3      
224.61/224.74	c 10020283       10021490       2172393072     37765525       0              0              3   4   3      
248.00/248.17	c 11022370       11023660       2474045806     41572031       0              0              4   4   3      
275.30/275.45	c 12124665       12126046       2806378377     45762923       0              0              4   4   3      
303.28/303.45	c 13337189       13338669       3171848259     50365350       0              0              2   4   3      
320.48/320.65	c 14670965       14672554       3179878194     55432567       0              0              3   4   3      
354.78/354.98	c 16138118       16139827       3621527005     61004382       0              0              4   4   3      
394.78/394.96	c 17751986       17753827       4107696654     67144503       0              0              4   4   3      
435.85/436.00	c 19527240       19529225       4642301266     73890565       0              0              2   4   3      
461.05/461.27	c 21480019       21482163       4654053694     81321466       0              0              3   4   3      
511.34/511.60	c 23628075       23630393       5300670670     89476152       0              0              4   4   3      
570.03/570.20	c 25990936       25993445       6011646873     98462692       0              0              4   4   3      
630.12/630.36	c 28590083       28592802       6793330117     108352082      0              0              2   4   3      
667.21/667.42	c 31449144       31452094       6810528049     119235833      0              0              3   4   3      
740.99/741.23	c 34594111       34597315       7757239476     131181492      0              0              4   4   3      
826.87/827.16	c 38053574       38057057       8796347059     144358386      0              0              4   4   3      
915.06/915.37	c 41858983       41862773       9938582659     158861588      0              0              2   4   3      
969.44/969.71	c 46044932       46049059       9963743986     174816054      0              0              3   4   3      
1077.73/1078.09	c 50649475       50653973       11349823240    192310792      0              0              4   4   3      
1203.89/1204.20	c 55714472       55719378       12867242699    211638406      0              0              4   4   3      
1333.36/1333.70	c 61285968       61291322       14534885019    232903026      0              0              2   4   3      
1413.25/1413.62	c 67414613       67420460       14571685128    256310242      0              0              3   4   3      
1572.42/1572.84	c 74156122       74162511       16601042961    281926391      0              0              4   4   3      
1757.57/1758.02	c 81571781       81578766       18814333220    310280085      0              0              4   4   3      
1947.83/1948.31	c 89729005       89736645       21245789138    341485946      0              0              2   4   3      
2065.41/2065.94	c 98701951       98710311       21299586272    375833627      0              0              3   4   3      
2299.76/2300.31	c 108572191      108581343      24270767886    413336719      0              0              4   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-4241408-1500631209/watcher-4241408-1500631209 -o /tmp/evaluation-result-4241408-1500631209/solver-4241408-1500631209 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3188 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241408-1500631209.xml 

pid=6068
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6071
/proc/meminfo: memFree=31542012/32770624 swapFree=7224/445964
[pid=6071] ppid=6068 vsize=29972 CPUtime=0 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 1700 0 0 0 0 0 0 0 20 0 1 0 16397342 30691328 1491 33554432000 4194304 5970956 140736840446048 140736840442696 5125629 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 7493 1491 702 434 0 857 0

[startup+0.100177 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6071
/proc/meminfo: memFree=31542012/32770624 swapFree=7224/445964
[pid=6071] ppid=6068 vsize=91576 CPUtime=0.09 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 17177 0 0 0 7 2 0 0 20 0 1 0 16397342 93773824 16984 33554432000 4194304 5970956 140736840446048 140736840439640 4966541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 22894 16984 781 434 0 16258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91576

[startup+0.200427 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6071
/proc/meminfo: memFree=31542012/32770624 swapFree=7224/445964
[pid=6071] ppid=6068 vsize=134056 CPUtime=0.19 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 27794 0 0 0 15 4 0 0 20 0 1 0 16397342 137273344 27598 33554432000 4194304 5970956 140736840446048 140736840439640 4966541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 33514 27598 781 434 0 26878 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134056

[startup+0.300403 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6071
/proc/meminfo: memFree=31542012/32770624 swapFree=7224/445964
[pid=6071] ppid=6068 vsize=185692 CPUtime=0.29 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 40718 0 0 0 22 7 0 0 20 0 1 0 16397342 190148608 40551 33554432000 4194304 5970956 140736840446048 140736840439640 140348545899493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 46423 40551 781 434 0 39787 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 185692

[startup+0.700295 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6071
/proc/meminfo: memFree=31542012/32770624 swapFree=7224/445964
[pid=6071] ppid=6068 vsize=327048 CPUtime=0.69 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 76066 0 0 0 58 11 0 0 20 0 1 0 16397342 334897152 75846 33554432000 4194304 5970956 140736840446048 140736840439640 140348545899493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 81762 75846 782 434 0 75126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 327048

[startup+1.50034 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 6072
/proc/meminfo: memFree=31028536/32770624 swapFree=7224/445996
[pid=6071] ppid=6068 vsize=751120 CPUtime=1.49 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 181996 0 0 0 126 23 0 0 20 0 1 0 16397342 769146880 181776 33554432000 4194304 5970956 140736840446048 140736840439640 4966541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 187780 181776 782 434 0 181144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 751120

[startup+3.10034 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 6072
/proc/meminfo: memFree=30445116/32770624 swapFree=7224/445996
[pid=6071] ppid=6068 vsize=1596892 CPUtime=3.09 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 393719 0 0 0 261 48 0 0 20 0 1 0 16397342 1635217408 393290 33554432000 4194304 5970956 140736840446048 140736840439640 140348545897072 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 399223 393290 782 434 0 392587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1596892

[startup+6.30034 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 6073
/proc/meminfo: memFree=28696700/32770624 swapFree=7224/446004
[pid=6071] ppid=6068 vsize=3289836 CPUtime=6.29 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 817263 0 0 0 529 100 0 0 20 0 1 0 16397342 3368792064 816519 33554432000 4194304 5970956 140736840446048 140736840439640 4966541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 822459 816519 782 434 0 815823 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3289836

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 6073
/proc/meminfo: memFree=25198924/32770624 swapFree=7224/446004
[pid=6071] ppid=6068 vsize=6675196 CPUtime=12.68 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 1663923 0 0 0 1068 200 0 0 20 0 1 0 16397342 6835400704 1662833 33554432000 4194304 5970956 140736840446048 140736840439640 4966541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 1668799 1662833 782 434 0 1662163 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6675196

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 6073
/proc/meminfo: memFree=23239320/32770624 swapFree=7224/446028
[pid=6071] ppid=6068 vsize=8313156 CPUtime=25.47 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2093188 0 0 0 2298 249 0 0 20 0 1 0 16397342 8512671744 2072440 33554432000 4194304 5970956 140736840446048 140736840443384 4908539 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072440 823 434 0 2071653 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 8313156

[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 6073
/proc/meminfo: memFree=23238420/32770624 swapFree=7224/446052
[pid=6071] ppid=6068 vsize=8313156 CPUtime=51.05 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2095163 0 0 0 4856 249 0 0 20 0 1 0 16397342 8512671744 2072440 33554432000 4194304 5970956 140736840446048 140736840443384 5336117 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072440 823 434 0 2071653 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 8313156

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 2/187 6096
/proc/meminfo: memFree=23238500/32770624 swapFree=7224/446132
[pid=6071] ppid=6068 vsize=8313156 CPUtime=102.24 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2096733 0 0 0 9970 254 0 0 20 0 1 0 16397342 8512671744 2072454 33554432000 4194304 5970956 140736840446048 140736840443384 5311648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072454 823 434 0 2071653 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 8313156

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 6157
/proc/meminfo: memFree=23239348/32770624 swapFree=7224/446224
[pid=6071] ppid=6068 vsize=8313156 CPUtime=162.21 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2099391 0 0 0 15960 261 0 0 20 0 1 0 16397342 8512671744 2072455 33554432000 4194304 5970956 140736840446048 140736840443384 5336117 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072455 823 434 0 2071653 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 8313156

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6158
/proc/meminfo: memFree=23238684/32770624 swapFree=7224/446304
[pid=6071] ppid=6068 vsize=8313156 CPUtime=222.21 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2101409 0 0 0 21952 269 0 0 20 0 1 0 16397342 8512671744 2072455 33554432000 4194304 5970956 140736840446048 140736840443384 5336125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072455 823 434 0 2071653 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 8313156

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6159
/proc/meminfo: memFree=23238764/32770624 swapFree=7224/446356
[pid=6071] ppid=6068 vsize=8313156 CPUtime=282.19 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2103207 0 0 0 27943 276 0 0 20 0 1 0 16397342 8512671744 2072456 33554432000 4194304 5970956 140736840446048 140736840443384 4965055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072456 823 434 0 2071653 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 8313156

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6160
/proc/meminfo: memFree=23238816/32770624 swapFree=7224/446416
[pid=6071] ppid=6068 vsize=8313156 CPUtime=342.18 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2104859 0 0 0 33935 283 0 0 20 0 1 0 16397342 8512671744 2072457 33554432000 4194304 5970956 140736840446048 140736840443384 5336113 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072457 823 434 0 2071653 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 8313156

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6161
/proc/meminfo: memFree=23238928/32770624 swapFree=7224/446468
[pid=6071] ppid=6068 vsize=8313156 CPUtime=402.16 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2106453 0 0 0 39926 290 0 0 20 0 1 0 16397342 8512671744 2072457 33554432000 4194304 5970956 140736840446048 140736840443384 4908664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072457 823 434 0 2071653 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 8313156

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6162
/proc/meminfo: memFree=23238620/32770624 swapFree=7224/446520
[pid=6071] ppid=6068 vsize=8313156 CPUtime=462.15 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2108390 0 0 0 45917 298 0 0 20 0 1 0 16397342 8512671744 2072458 33554432000 4194304 5970956 140736840446048 140736840443384 4908661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072458 823 434 0 2071653 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 8313156

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6163
/proc/meminfo: memFree=23238656/32770624 swapFree=7224/446572
[pid=6071] ppid=6068 vsize=8313156 CPUtime=522.14 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2109620 0 0 0 51909 305 0 0 20 0 1 0 16397342 8512671744 2072458 33554432000 4194304 5970956 140736840446048 140736840443384 5336103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072458 823 434 0 2071653 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 8313156

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6164
/proc/meminfo: memFree=23238456/32770624 swapFree=7224/446608
[pid=6071] ppid=6068 vsize=8313156 CPUtime=582.12 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2111183 0 0 0 57901 311 0 0 20 0 1 0 16397342 8512671744 2072459 33554432000 4194304 5970956 140736840446048 140736840443384 5311648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072459 823 434 0 2071653 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 8313156


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6196
/proc/meminfo: memFree=23237828/32770624 swapFree=7224/447256
[pid=6071] ppid=6068 vsize=8313156 CPUtime=1541.93 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2136756 0 0 0 153776 417 0 0 20 0 1 0 16397342 8512671744 2072468 33554432000 4194304 5970956 140736840446048 140736840443384 5311648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072468 823 434 0 2071653 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 8313156

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 6197
/proc/meminfo: memFree=23237896/32770624 swapFree=7224/447300
[pid=6071] ppid=6068 vsize=8313156 CPUtime=1601.91 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2137994 0 0 0 159769 422 0 0 20 0 1 0 16397342 8512671744 2072468 33554432000 4194304 5970956 140736840446048 140736840443384 5336117 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072468 823 434 0 2071653 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 8313156

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 6198
/proc/meminfo: memFree=23237524/32770624 swapFree=7224/447336
[pid=6071] ppid=6068 vsize=8313156 CPUtime=1661.89 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2139196 0 0 0 165762 427 0 0 20 0 1 0 16397342 8512671744 2072468 33554432000 4194304 5970956 140736840446048 140736840443384 4908341 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078289 2072468 823 434 0 2071653 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 8313156

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6200
/proc/meminfo: memFree=23237792/32770624 swapFree=7224/447392
[pid=6071] ppid=6068 vsize=8313288 CPUtime=1721.88 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2140405 0 0 0 171756 432 0 0 20 0 1 0 16397342 8512806912 2072468 33554432000 4194304 5970956 140736840446048 140736840443112 5336103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072468 823 434 0 2071686 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 8313288

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6201
/proc/meminfo: memFree=23237552/32770624 swapFree=7224/447424
[pid=6071] ppid=6068 vsize=8313288 CPUtime=1781.87 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2142182 0 0 0 177750 437 0 0 20 0 1 0 16397342 8512806912 2072469 33554432000 4194304 5970956 140736840446048 140736840443384 5336121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072469 823 434 0 2071686 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 8313288

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6209
/proc/meminfo: memFree=23236656/32770624 swapFree=7224/447464
[pid=6071] ppid=6068 vsize=8313288 CPUtime=1841.85 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2143749 0 0 0 183743 442 0 0 20 0 1 0 16397342 8512806912 2072469 33554432000 4194304 5970956 140736840446048 140736840443384 4965051 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072469 823 434 0 2071686 0
Current children cumulated CPU time (s) 1841.85
Current children cumulated vsize (KiB) 8313288

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6210
/proc/meminfo: memFree=23236552/32770624 swapFree=7224/447500
[pid=6071] ppid=6068 vsize=8313288 CPUtime=1901.85 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2145379 0 0 0 189738 447 0 0 20 0 1 0 16397342 8512806912 2072470 33554432000 4194304 5970956 140736840446048 140736840443384 4961184 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072470 823 434 0 2071686 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 8313288

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6211
/proc/meminfo: memFree=23236216/32770624 swapFree=7224/447528
[pid=6071] ppid=6068 vsize=8313288 CPUtime=1961.83 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2147177 0 0 0 195732 451 0 0 20 0 1 0 16397342 8512806912 2072471 33554432000 4194304 5970956 140736840446048 140736840443384 5336125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072471 823 434 0 2071686 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 8313288

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6212
/proc/meminfo: memFree=23236596/32770624 swapFree=7224/447564
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2021.82 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2148980 0 0 0 201725 457 0 0 20 0 1 0 16397342 8512806912 2072471 33554432000 4194304 5970956 140736840446048 140736840443384 5336117 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072471 823 434 0 2071686 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 8313288

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6213
/proc/meminfo: memFree=23237216/32770624 swapFree=7224/447604
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2081.81 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2150842 0 0 0 207718 463 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 4908562 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 8313288

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6214
/proc/meminfo: memFree=23236956/32770624 swapFree=7224/447628
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2141.79 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2151903 0 0 0 213712 467 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 5336117 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 8313288

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6215
/proc/meminfo: memFree=23237316/32770624 swapFree=7224/447656
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2201.79 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2153054 0 0 0 219707 472 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 4908451 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2201.79
Current children cumulated vsize (KiB) 8313288

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6216
/proc/meminfo: memFree=23237192/32770624 swapFree=7224/447700
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2261.77 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2154236 0 0 0 225701 476 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 5311648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2261.77
Current children cumulated vsize (KiB) 8313288

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6217
/proc/meminfo: memFree=23237048/32770624 swapFree=7224/447732
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2321.75 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2155542 0 0 0 231695 480 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 5336117 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2321.75
Current children cumulated vsize (KiB) 8313288

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6218
/proc/meminfo: memFree=23237004/32770624 swapFree=7224/447760
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2381.74 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2157073 0 0 0 237689 485 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 4908445 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2381.74
Current children cumulated vsize (KiB) 8313288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6226
/proc/meminfo: memFree=23236220/32770624 swapFree=7224/447788
[pid=6071] ppid=6068 vsize=8313288 CPUtime=2400.04 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202496 2157488 0 0 0 239517 487 0 0 20 0 1 0 16397342 8512806912 2072475 33554432000 4194304 5970956 140736840446048 140736840443384 4965055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 26157056 140736840447169 140736840447299 140736840447299 140736840449998 0
/proc/6071/statm: 2078322 2072475 823 434 0 2071686 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 8313288

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

[startup+2400.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6226
/proc/meminfo: memFree=23236220/32770624 swapFree=7224/447788
[pid=6071] ppid=6068 vsize=0 CPUtime=2400.24 cores=0,2,4,6
/proc/6071/stat : 6071 (cosoco) R 6068 6071 3157 0 -1 4202500 2157515 0 0 0 239517 507 0 0 20 0 1 0 16397342 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6071/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.24
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2400.86
CPU time (s): 2400.31
CPU user time (s): 2395.17
CPU system time (s): 5.13288
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 8313288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.17
system time used= 5.13288
maximum resident set size= 8289940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2157515
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= 56
involuntary context switches= 123045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53356 second user time and 8.97699 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-21 12:00:09
IDJOB=4241408
IDBENCH=126842
IDSOLVER=2620
FILE ID=node126/4241408-1500631209
RUNJOBID= node126-1500623778-3188
PBS_JOBID= 20623007
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco 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-4241408-1500631209/watcher-4241408-1500631209 -o /tmp/evaluation-result-4241408-1500631209/solver-4241408-1500631209 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3188 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241408-1500631209.xml

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

MD5SUM BENCH= b9bf68be3b756b1f34bbd3d4e06d542d
RANDOM SEED=971380420

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.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	: 5334.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1600.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	: 5334.03
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		: 1600.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	: 5334.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1600.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	: 5334.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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:        31542688 kB
MemAvailable:   32013052 kB
Buffers:          158916 kB
Cached:           591244 kB
SwapCached:            0 kB
Active:           350908 kB
Inactive:         455072 kB
Active(anon):      58152 kB
Inactive(anon):     8848 kB
Active(file):     292756 kB
Inactive(file):   446224 kB
Unevictable:        7224 kB
Mlocked:            7224 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2504 kB
Writeback:             0 kB
AnonPages:         62516 kB
Mapped:            34500 kB
Shmem:              8848 kB
Slab:             119480 kB
SReclaimable:      94436 kB
SUnreclaim:        25044 kB
KernelStack:        3376 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node126 at 2017-07-21 12:40:10