Trace number 4268171

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.3501 2520.21

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.63/15.78	c root propagations     : 0           
15.63/15.78	c restarts enabled, print stats at every restarts
15.63/15.78	c
15.63/15.78	c
15.63/15.78	c
15.63/15.78	c This is cosoco 1.12 --  
15.63/15.78	c
15.63/15.78	c command line: cosoco -lc -model -restarts HOME/instance-4268171-1502530509.xml 
15.63/15.78	c ========================================[ Problem Statistics ]===========================================
15.63/15.78	c |                                                                                                       
15.63/15.78	c |  Parse time        :        13.17 s 
15.63/15.78	c |
15.63/15.78	c |               Variables: 302
15.63/15.78	c |            Domain Sizes: 22501..22501
15.63/15.78	c |
15.63/15.78	c |             Constraints: 11626
15.63/15.78	c |                   Arity: 2..2  -- Binary: 11626
15.63/15.78	c | 
15.63/15.78	c |                   Types: 
15.63/15.78	c |                          Intension: 11626
15.63/15.78	c |                          
15.63/15.78	c =========================================================================================================
15.63/15.78	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.63/15.78	c 101            102            42279          304            0              0              2   2   1      
15.73/15.81	c 211            364            66333          789            0              0              2   153   148  
15.73/15.81	c 332            488            103180         1155           0              0              4   4   3      
15.73/15.82	c 465            624            143204         1561           0              0              2   4   3      
15.73/15.82	c 611            773            145124         2005           0              0              3   4   3      
15.73/15.82	c 771            936            193591         2490           0              0              4   4   3      
15.73/15.83	c 947            1115           247048         3021           0              0              4   4   3      
15.73/15.83	c 1140           1311           305192         3607           0              0              2   4   3      
15.73/15.83	c 1352           1526           307508         4249           0              0              3   4   3      
15.73/15.84	c 1585           1762           377948         4953           0              0              4   4   3      
15.73/15.85	c 1841           2021           455565         5724           0              0              4   4   3      
15.73/15.85	c 2122           2305           540285         6574           0              0              2   4   3      
15.73/15.86	c 2431           2617           543183         7507           0              0              3   4   3      
15.73/15.86	c 2770           2959           645529         8529           0              0              4   4   3      
15.73/15.88	c 3142           3334           758178         9648           0              0              4   4   3      
15.73/15.88	c 3551           3746           881554         10882          0              0              2   4   3      
15.73/15.89	c 4000           4198           885292         12235          0              0              3   4   3      
15.83/15.90	c 4493           4694           1033992        13719          0              0              4   4   3      
15.83/15.92	c 5035           5239           1197981        15348          0              0              4   4   3      
15.83/15.93	c 5631           5838           1377831        17143          0              0              2   4   3      
15.83/15.94	c 6286           6496           1382805        19114          0              0              3   4   3      
15.83/15.95	c 7006           7219           1599832        21279          0              0              4   4   3      
15.83/15.97	c 7798           8014           1839321        23658          0              0              4   4   3      
15.83/15.99	c 8669           8888           2102221        26278          0              0              2   4   3      
15.93/16.00	c 9627           9849           2109013        29158          0              0              3   4   3      
15.93/16.03	c 10680          10905          2426273        32322          0              0              4   4   3      
15.93/16.06	c 11838          12066          2776294        35799          0              0              4   4   3      
15.93/16.09	c 13111          13342          3160598        39625          0              0              2   4   3      
16.03/16.11	c 14511          14745          3170042        43831          0              0              3   4   3      
16.03/16.14	c 16051          16288          3633889        48456          0              0              4   4   3      
16.03/16.19	c 17745          17985          4145782        53541          0              0              4   4   3      
16.13/16.23	c 19608          19851          4708266        59137          0              0              2   4   3      
16.13/16.25	c 21657          21903          4721604        65290          0              0              3   4   3      
16.23/16.30	c 23910          24159          5400064        72054          0              0              4   4   3      
16.23/16.38	c 26388          26640          6148725        79491          0              0              4   4   3      
16.33/16.43	c 29113          29368          6971533        87673          0              0              2   4   3      
16.33/16.47	c 32110          32368          6990559        96670          0              0              3   4   3      
16.43/16.54	c 35406          35667          7982962        106563         0              0              4   4   3      
16.54/16.65	c 39031          39295          9078017        117441         0              0              4   4   3      
16.63/16.74	c 43018          43285          10281949       129409         0              0              2   4   3      
16.63/16.79	c 47403          47673          10309303       142570         0              0              3   4   3      
16.83/16.90	c 52226          52499          11761333       157044         0              0              4   4   3      
16.93/17.07	c 57531          57807          13363748       172962         0              0              4   4   3      
17.03/17.19	c 63366          63645          15125776       190474         0              0              2   4   3      
17.13/17.28	c 69784          70066          15165328       209734         0              0              3   4   3      
17.33/17.44	c 76843          77128          17290394       230916         0              0              4   4   3      
17.53/17.68	c 84607          84895          19635427       254211         0              0              4   4   3      
17.73/17.88	c 93147          93438          22214365       279838         0              0              2   4   3      
17.93/18.01	c 102541         102835         22271773       308026         0              0              3   4   3      
18.13/18.25	c 112874         113171         25382313       339030         0              0              4   4   3      
18.53/18.62	c 124240         124540         28815150       373131         0              0              4   4   3      
18.83/18.92	c 136742         137045         32590612       410644         0              0              2   4   3      
19.03/19.12	c 150494         150801         32674468       461909         0              0              3   4   3      
19.33/19.47	c 165621         165932         37228305       517298         0              0              4   4   3      
19.93/20.01	c 182260         182575         42253740       577220         0              0              4   4   3      
20.33/20.44	c 200562         200881         47780508       642136         0              0              2   4   3      
20.63/20.72	c 220694         221017         47902644       712541         0              0              3   4   3      
21.13/21.25	c 242839         243166         54568899       788984         0              0              4   4   3      
21.94/22.04	c 267198         267529         61925774       872066         0              0              4   4   3      
22.53/22.68	c 293992         294328         70016682       972462         0              0              2   4   3      
23.04/23.11	c 323465         323806         70195163       1080894        0              0              3   4   3      
23.73/23.88	c 355885         356231         79954496       1198165        0              0              4   4   3      
24.93/25.03	c 391547         391898         90724879       1325159        0              0              4   4   3      
25.83/25.97	c 430775         431132         102570261      1472862        0              0              2   4   3      
26.53/26.60	c 473925         474288         102831102      1632330        0              0              3   4   3      
27.63/27.73	c 521390         521759         117119283      1804739        0              0              4   4   3      
29.33/29.43	c 573601         573977         132887018      2001389        0              0              4   4   3      
30.63/30.80	c 631033         631416         150229264      2213710        0              0              2   4   3      
31.63/31.73	c 694208         694599         150610848      2453266        0              0              3   4   3      
33.23/33.39	c 763700         764099         171529762      2711762        0              0              4   4   3      
35.73/35.89	c 840141         840549         194613911      3001115        0              0              4   4   3      
37.73/37.89	c 924226         924643         220003425      3313410        0              0              2   4   3      
39.13/39.25	c 1016719        1017146        220561506      3660937        0              0              3   4   3      
41.63/41.70	c 1118461        1118899        251188579      4046192        0              0              4   4   3      
45.23/45.35	c 1230377        1230826        284984532      4461987        0              0              4   4   3      
48.13/48.29	c 1353484        1353945        322154658      4921378        0              0              2   4   3      
50.13/50.29	c 1488901        1489375        322971159      5427710        0              0              3   4   3      
53.73/53.87	c 1637859        1638347        367811157      5984622        0              0              4   4   3      
59.13/59.22	c 1801712        1802216        417285344      6606288        0              0              4   4   3      
63.43/63.52	c 1981950        1982471        471699312      7287142        0              0              2   4   3      
66.33/66.46	c 2180211        2180750        472894317      8032081        0              0              3   4   3      
71.64/71.70	c 2398298        2398857        538543962      8856398        0              0              4   4   3      
79.44/79.54	c 2638193        2638774        610969795      9766295        0              0              4   4   3      
85.75/85.86	c 2902077        2902682        690624947      10768227       0              0              2   4   3      
90.04/90.17	c 3192349        3192980        692374270      11869371       0              0              3   4   3      
97.73/97.85	c 3511648        3512307        788491151      13077348       0              0              4   4   3      
109.24/109.35	c 3862876        3863566        894509868      14411469       0              0              4   4   3      
118.54/118.61	c 4249226        4249949        1011113356     15871051       0              0              2   4   3      
124.84/124.93	c 4674211        4674970        1013673682     17476639       0              0              3   4   3      
136.04/136.19	c 5141694        5142493        1154397583     19249204       0              0              4   4   3      
152.95/153.04	c 5655925        5656768        1309578882     21202802       0              0              4   4   3      
166.55/166.62	c 6221579        6222470        1480244518     23350896       0              0              2   4   3      
175.74/175.87	c 6843798        6844741        1483992400     25708882       0              0              3   4   3      
192.24/192.38	c 7528238        7529238        1690025509     28302369       0              0              4   4   3      
216.95/217.04	c 8281122        8282185        1917140402     31162914       0              0              4   4   3      
236.86/236.95	c 9109294        9110426        2166907050     34309780       0              0              2   4   3      
250.45/250.52	c 10020283       10021490       2172393072     37765525       0              0              3   4   3      
274.65/274.70	c 11022370       11023660       2474045806     41572031       0              0              4   4   3      
310.76/310.83	c 12124665       12126046       2806378377     45762923       0              0              4   4   3      
339.87/339.99	c 13337189       13338669       3171848259     50365350       0              0              2   4   3      
359.77/359.87	c 14670965       14672554       3179878194     55432567       0              0              3   4   3      
395.26/395.31	c 16138118       16139827       3621527005     61004382       0              0              4   4   3      
448.17/448.24	c 17751986       17753827       4107696654     67144503       0              0              4   4   3      
490.87/490.96	c 19527240       19529225       4642301266     73890565       0              0              2   4   3      
520.08/520.13	c 21480019       21482163       4654053694     81321466       0              0              3   4   3      
571.99/572.09	c 23628075       23630393       5300670670     89476152       0              0              4   4   3      
649.59/649.63	c 25990936       25993445       6011646873     98462692       0              0              4   4   3      
712.19/712.26	c 28590083       28592802       6793330117     108352082      0              0              2   4   3      
755.00/755.07	c 31449144       31452094       6810528049     119235833      0              0              3   4   3      
830.50/830.51	c 34594111       34597315       7757239476     131181492      0              0              4   4   3      
915.29/915.38	c 38053574       38057057       8796347059     144358386      0              0              4   4   3      
1003.10/1003.11	c 41858983       41862773       9938582659     158861588      0              0              2   4   3      
1065.80/1065.84	c 46044932       46049059       9963743986     174816054      0              0              3   4   3      
1174.71/1174.77	c 50649475       50653973       11349823240    192310792      0              0              4   4   3      
1299.63/1299.61	c 55714472       55719378       12867242699    211638406      0              0              4   4   3      
1428.43/1428.42	c 61285968       61291322       14534885019    232903026      0              0              2   4   3      
1520.74/1520.74	c 67414613       67420460       14571685128    256310242      0              0              3   4   3      
1680.85/1680.90	c 74156122       74162511       16601042961    281926391      0              0              4   4   3      
1864.27/1864.27	c 81571781       81578766       18814333220    310280085      0              0              4   4   3      
2053.79/2053.77	c 89729005       89736645       21245789138    341485946      0              0              2   4   3      
2190.00/2189.91	c 98701951       98710311       21299586272    375833627      0              0              3   4   3      
2425.62/2425.54	c 108572191      108581343      24270767886    413336719      0              0              4   4   3      
2520.02/2519.90	
2520.02/2519.90	c *** INTERRUPTED ***
2520.02/2519.90	c restarts              : 122         
2520.02/2519.90	c conflicts             : 112413058    (44712 /sec)
2520.02/2519.90	c decisions             : 112422520    (44716 /sec)
2520.02/2519.90	c propagations          : 427976908   (170228 /sec)
2520.02/2519.90	c root propagations     : 0           
2520.02/2519.90	c filter calls          : 25423710909    (10112295 /sec)
2520.02/2519.90	c useless filter calls  : 25311288904    (99 %)
2520.02/2519.90	c Memory used           : 8118.45 MB
2520.02/2519.90	c CPU time              : 2514.14 s
2520.02/2519.90	
2520.02/2519.90	s UNKNOWN

Verifier Data


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-4268171-1502530509/watcher-4268171-1502530509 -o /tmp/evaluation-result-4268171-1502530509/solver-4268171-1502530509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268171-1502530509.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 3677
/proc/meminfo: memFree=27910144/32770624 swapFree=0/456724
[pid=3677] ppid=3674 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3677/stat : 3677 (runsolver) D 3674 3677 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 100866105 24240128 106 18446744073709551615 4194304 4338465 140729037249536 140729037247176 140619475718871 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8052736 140729037254849 140729037255241 140729037255241 140729037258698 0
/proc/3677/statm: 5918 106 53 36 0 2156 0

[startup+0.100167 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 3677
/proc/meminfo: memFree=27910144/32770624 swapFree=0/456724
[pid=3677] ppid=3674 vsize=80200 CPUtime=0.03 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 14271 0 0 0 2 1 0 0 20 0 1 0 100866105 82124800 14097 18446744073709551615 4194304 5972588 140727775624912 140727775621560 140430675422181 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 20050 14097 709 435 0 13413 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 80200

[startup+0.200363 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 3677
/proc/meminfo: memFree=27910144/32770624 swapFree=0/456724
[pid=3677] ppid=3674 vsize=131948 CPUtime=0.13 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 27267 0 0 0 10 3 0 0 20 0 1 0 100866105 135114752 27067 18446744073709551615 4194304 5972588 140727775624912 140727775621560 4967517 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 32987 27067 786 435 0 26350 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 131948

[startup+0.300344 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 3677
/proc/meminfo: memFree=27910144/32770624 swapFree=0/456724
[pid=3677] ppid=3674 vsize=184992 CPUtime=0.23 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 40526 0 0 0 19 4 0 0 20 0 1 0 100866105 189431808 40358 18446744073709551615 4194304 5972588 140727775624912 140727775621560 4967517 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 46248 40358 786 435 0 39611 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184992

[startup+0.700249 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 3677
/proc/meminfo: memFree=27910144/32770624 swapFree=0/456724
[pid=3677] ppid=3674 vsize=323884 CPUtime=0.63 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 75244 0 0 0 55 8 0 0 20 0 1 0 100866105 331657216 74993 18446744073709551615 4194304 5972588 140727775624912 140727775621560 4967517 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 81059 75059 787 435 0 74422 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 323884

[startup+1.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/194 3678
/proc/meminfo: memFree=27401276/32770624 swapFree=0/456724
[pid=3677] ppid=3674 vsize=746768 CPUtime=1.43 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 180997 0 0 0 121 22 0 0 20 0 1 0 100866105 764690432 180725 18446744073709551615 4194304 5972588 140727775624912 140727775621560 4967517 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 186692 180725 787 435 0 180055 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 746768

[startup+3.10029 s]
/proc/loadavg: 2.02 2.02 2.05 3/194 3678
/proc/meminfo: memFree=26817732/32770624 swapFree=0/456892
[pid=3677] ppid=3674 vsize=1593376 CPUtime=3.03 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 392833 0 0 0 259 44 0 0 20 0 1 0 100866105 1631617024 392376 18446744073709551615 4194304 5972588 140727775624912 140727775618472 4967517 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 398344 392376 787 435 0 391707 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 1593376

[startup+6.30027 s]
/proc/loadavg: 2.02 2.02 2.05 3/194 3678
/proc/meminfo: memFree=25066940/32770624 swapFree=0/456732
[pid=3677] ppid=3674 vsize=3289136 CPUtime=6.23 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 817030 0 0 0 524 99 0 0 20 0 1 0 100866105 3368075264 816267 18446744073709551615 4194304 5972588 140727775624912 140727775618472 4967517 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 822284 816333 787 435 0 815647 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 3289136

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 3679
/proc/meminfo: memFree=21562916/32770624 swapFree=0/456732
[pid=3677] ppid=3674 vsize=6680128 CPUtime=12.63 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 1665153 0 0 0 1062 201 0 0 20 0 1 0 100866105 6840451072 1664106 18446744073709551615 4194304 5972588 140727775624912 140727775618472 140430685363204 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 1670032 1664106 787 435 0 1663395 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 6680128

[startup+25.5003 s]
/proc/loadavg: 2.09 2.04 2.05 3/190 3679
/proc/meminfo: memFree=19608312/32770624 swapFree=0/456732
[pid=3677] ppid=3674 vsize=8313160 CPUtime=25.43 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2094220 0 0 0 2288 255 0 0 20 0 1 0 100866105 8512675840 2072444 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4900736 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072444 827 435 0 2071653 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 8313160

[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 3680
/proc/meminfo: memFree=19610772/32770624 swapFree=0/456720
[pid=3677] ppid=3674 vsize=8313160 CPUtime=51.03 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2096520 0 0 0 4848 255 0 0 20 0 1 0 100866105 8512675840 2072444 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4900736 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072444 827 435 0 2071653 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 8313160

[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 3682
/proc/meminfo: memFree=19611460/32770624 swapFree=0/456720
[pid=3677] ppid=3674 vsize=8313160 CPUtime=102.25 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2102031 0 0 0 9964 261 0 0 20 0 1 0 100866105 8512675840 2072444 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336789 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072444 827 435 0 2071653 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 8313160

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 3684
/proc/meminfo: memFree=19610216/32770624 swapFree=0/456728
[pid=3677] ppid=3674 vsize=8313160 CPUtime=162.24 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2111152 0 0 0 15953 271 0 0 20 0 1 0 100866105 8512675840 2072445 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4966027 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072445 827 435 0 2071653 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8313160

[startup+222.306 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 3687
/proc/meminfo: memFree=19609628/32770624 swapFree=0/456740
[pid=3677] ppid=3674 vsize=8313160 CPUtime=222.26 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2120106 0 0 0 21944 282 0 0 20 0 1 0 100866105 8512675840 2072445 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4966027 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072445 827 435 0 2071653 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 8313160

[startup+282.3 s]
/proc/loadavg: 2.24 2.10 2.06 3/186 3691
/proc/meminfo: memFree=19608500/32770624 swapFree=0/456752
[pid=3677] ppid=3674 vsize=8313160 CPUtime=282.26 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2128230 0 0 0 27934 292 0 0 20 0 1 0 100866105 8512675840 2072446 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336779 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072446 827 435 0 2071653 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 8313160

[startup+342.3 s]
/proc/loadavg: 2.09 2.08 2.06 3/186 3693
/proc/meminfo: memFree=19608044/32770624 swapFree=0/456760
[pid=3677] ppid=3674 vsize=8313160 CPUtime=342.26 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2136323 0 0 0 33924 302 0 0 20 0 1 0 100866105 8512675840 2072446 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336760 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072446 827 435 0 2071653 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 8313160

[startup+402.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/186 3695
/proc/meminfo: memFree=19608660/32770624 swapFree=0/456772
[pid=3677] ppid=3674 vsize=8313160 CPUtime=402.27 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2143520 0 0 0 39914 313 0 0 20 0 1 0 100866105 8512675840 2072447 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4966019 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072447 827 435 0 2071653 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 8313160

[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/186 3698
/proc/meminfo: memFree=19608672/32770624 swapFree=0/456784
[pid=3677] ppid=3674 vsize=8313160 CPUtime=462.27 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2151473 0 0 0 45905 322 0 0 20 0 1 0 100866105 8512675840 2072447 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336793 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072447 827 435 0 2071653 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 8313160

[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 3701
/proc/meminfo: memFree=19608664/32770624 swapFree=0/456800
[pid=3677] ppid=3674 vsize=8313160 CPUtime=522.28 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2159305 0 0 0 51894 334 0 0 20 0 1 0 100866105 8512675840 2072448 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5312315 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072448 827 435 0 2071653 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 8313160

[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/190 3719
/proc/meminfo: memFree=19601272/32770624 swapFree=0/456796
[pid=3677] ppid=3674 vsize=8313160 CPUtime=582.28 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2166184 0 0 0 57884 344 0 0 20 0 1 0 100866105 8512675840 2072448 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4966031 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072448 827 435 0 2071653 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 8313160


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


[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 4140
/proc/meminfo: memFree=22478044/32770624 swapFree=0/457056
[pid=3677] ppid=3674 vsize=8313160 CPUtime=1722.36 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2220253 0 0 0 171737 499 0 0 20 0 1 0 100866105 8512675840 2072467 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4908987 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072467 827 435 0 2071653 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 8313160

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 4157
/proc/meminfo: memFree=21913764/32770624 swapFree=0/457068
[pid=3677] ppid=3674 vsize=8313160 CPUtime=1782.36 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2221877 0 0 0 177730 506 0 0 20 0 1 0 100866105 8512675840 2072467 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5312315 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078290 2072467 827 435 0 2071653 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 8313160

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 4159
/proc/meminfo: memFree=21906628/32770624 swapFree=0/457052
[pid=3677] ppid=3674 vsize=8313292 CPUtime=1842.37 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2223610 0 0 0 183723 514 0 0 20 0 1 0 100866105 8512811008 2072468 18446744073709551615 4194304 5972588 140727775624912 140727775621944 5336793 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072468 827 435 0 2071686 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 8313292

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4162
/proc/meminfo: memFree=21907524/32770624 swapFree=0/457060
[pid=3677] ppid=3674 vsize=8313292 CPUtime=1902.38 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2225989 0 0 0 189716 522 0 0 20 0 1 0 100866105 8512811008 2072468 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336789 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072468 827 435 0 2071686 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 8313292

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4165
/proc/meminfo: memFree=21907616/32770624 swapFree=0/457064
[pid=3677] ppid=3674 vsize=8313292 CPUtime=1962.38 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2227959 0 0 0 195709 529 0 0 20 0 1 0 100866105 8512811008 2072468 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5312315 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072468 827 435 0 2071686 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 8313292

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4167
/proc/meminfo: memFree=21908160/32770624 swapFree=0/457056
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2022.38 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2230021 0 0 0 201701 537 0 0 20 0 1 0 100866105 8512811008 2072469 18446744073709551615 4194304 5972588 140727775624912 140727775622216 4965677 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072469 827 435 0 2071686 0
Current children cumulated CPU time (s) 2022.38
Current children cumulated vsize (KiB) 8313292

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 4170
/proc/meminfo: memFree=21908020/32770624 swapFree=0/457056
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2082.4 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2232936 0 0 0 207695 545 0 0 20 0 1 0 100866105 8512811008 2072470 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336789 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072470 827 435 0 2071686 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 8313292

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 4172
/proc/meminfo: memFree=21907488/32770624 swapFree=0/457068
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2142.39 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2235721 0 0 0 213686 553 0 0 20 0 1 0 100866105 8512811008 2072470 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336760 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072470 827 435 0 2071686 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 8313292

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 4175
/proc/meminfo: memFree=21907768/32770624 swapFree=0/457076
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2202.4 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2237951 0 0 0 219680 560 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5312304 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2202.4
Current children cumulated vsize (KiB) 8313292

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 4178
/proc/meminfo: memFree=21907908/32770624 swapFree=0/457080
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2262.41 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2239209 0 0 0 225675 566 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 8313292

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 4180
/proc/meminfo: memFree=21907772/32770624 swapFree=0/457084
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2322.41 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2240385 0 0 0 231670 571 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336789 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 8313292

[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 4197
/proc/meminfo: memFree=21902792/32770624 swapFree=0/457116
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2382.41 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2241566 0 0 0 237664 577 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336793 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2382.41
Current children cumulated vsize (KiB) 8313292

[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 4224
/proc/meminfo: memFree=21902292/32770624 swapFree=0/457124
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2442.42 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2243009 0 0 0 243660 582 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5312304 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2442.42
Current children cumulated vsize (KiB) 8313292

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4226
/proc/meminfo: memFree=21904304/32770624 swapFree=0/457152
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2502.43 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2244440 0 0 0 249655 588 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5336789 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2502.43
Current children cumulated vsize (KiB) 8313292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4226
/proc/meminfo: memFree=21906300/32770624 swapFree=0/457156
[pid=3677] ppid=3674 vsize=8313292 CPUtime=2520.02 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202496 2244819 0 0 0 251413 589 0 0 20 0 1 0 100866105 8512811008 2072474 18446744073709551615 4194304 5972588 140727775624912 140727775622216 5328713 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 39333888 140727775625710 140727775625805 140727775625805 140727775629262 0
/proc/3677/statm: 2078323 2072474 827 435 0 2071686 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 8313292

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

[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4226
/proc/meminfo: memFree=21906300/32770624 swapFree=0/457156
[pid=3677] ppid=3674 vsize=0 CPUtime=2520.12 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202500 2244869 0 0 0 251413 599 0 0 20 0 1 0 100866105 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 5 0 0 5 0 0 0 0 0 0 0 0 0 0
/proc/3677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2520.12
Current children cumulated vsize (KiB) 0

[startup+2520.21 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4226
/proc/meminfo: memFree=28242140/32770624 swapFree=0/457156
[pid=3677] ppid=3674 vsize=0 CPUtime=2520.33 cores=1,3,5,7
/proc/3677/stat : 3677 (cosoco) R 3674 3677 28313 0 -1 4202500 2244869 0 0 0 251413 620 0 0 20 0 1 0 100866105 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 5 0 0 5 0 0 0 0 0 0 0 0 0 0
/proc/3677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2520.33
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2520.21
CPU time (s): 2520.35
CPU user time (s): 2514.14
CPU system time (s): 6.20956
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 8313292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.14
system time used= 6.20956
maximum resident set size= 8289960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2244869
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= 675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63267 second user time and 9.52086 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 11:21:01
IDJOB=4268171
IDBENCH=126842
IDSOLVER=2658
FILE ID=node133/4268171-1502530509
RUNJOBID= node133-1502500327-28378
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0150.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268171-1502530509/watcher-4268171-1502530509 -o /tmp/evaluation-result-4268171-1502530509/solver-4268171-1502530509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268171-1502530509.xml

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

MD5SUM BENCH= b9bf68be3b756b1f34bbd3d4e06d542d
RANDOM SEED=1435329550

node133.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.17
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.17
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.17
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.17
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:        27910144 kB
MemAvailable:   28798444 kB
Buffers:          305084 kB
Cached:           884844 kB
SwapCached:            0 kB
Active:          3918744 kB
Inactive:         498028 kB
Active(anon):    3227308 kB
Inactive(anon):    41304 kB
Active(file):     691436 kB
Inactive(file):   456724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2744 kB
Writeback:             4 kB
AnonPages:       3226800 kB
Mapped:            56660 kB
Shmem:             41660 kB
Slab:             139008 kB
SReclaimable:     111948 kB
SUnreclaim:        27060 kB
KernelStack:        3328 kB
PageTables:        12028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3514360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62024 MiB
End job on node133 at 2017-08-12 12:03:02