Trace number 4260199

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-mini 1.1 (2017-07-29)? (TO) 2400.3 2400.3601

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0150.xml
MD5SUMb9bf68be3b756b1f34bbd3d4e06d542d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark128.82
Satisfiable
(Un)Satisfiability was proved
Number of variables302
Number of constraints11626
Number of domains1
Minimum domain size22501
Maximum domain size22501
Distribution of domain sizes[{"size":22501,"count":302}]
Minimum variable degree2
Maximum variable degree151
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":149},{"degree":150,"count":149},{"degree":151,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11626}]
Number of extensional constraints0
Number of intensional constraints11626
Distribution of constraint types[{"type":"intension","count":11626}]
Optimization problemNO
Type of objective

Solver Data 

15.30/15.48	c root propagations     : 0           
15.30/15.48	c restarts enabled, print stats at every restarts
15.30/15.48	c
15.30/15.48	c
15.30/15.48	c
15.30/15.48	c This is cosoco 1.1 --  
15.30/15.48	c
15.30/15.48	c command line: cosoco -lc -model -restarts HOME/instance-4260199-1502025236.xml 
15.30/15.48	c ========================================[ Problem Statistics ]===========================================
15.30/15.48	c |                                                                                                       
15.30/15.48	c |  Parse time        :        12.93 s 
15.30/15.48	c |
15.30/15.48	c |               Variables: 302
15.30/15.48	c |            Domain Sizes: 22501..22501
15.30/15.48	c |
15.30/15.48	c |             Constraints: 11626
15.30/15.48	c |                   Arity: 2..2  -- Binary: 11626
15.30/15.48	c | 
15.30/15.48	c |                   Types: 
15.30/15.48	c |                          Intension: 11626
15.30/15.48	c |                          
15.30/15.48	c =========================================================================================================
15.30/15.48	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.30/15.48	c 101            102            42279          304            0              0              2   2   1      
15.40/15.51	c 211            364            66333          789            0              0              2   153   148  
15.40/15.51	c 332            488            103180         1155           0              0              4   4   3      
15.40/15.52	c 465            624            143204         1561           0              0              2   4   3      
15.40/15.52	c 611            773            145124         2005           0              0              3   4   3      
15.40/15.52	c 771            936            193591         2490           0              0              4   4   3      
15.40/15.53	c 947            1115           247048         3021           0              0              4   4   3      
15.40/15.53	c 1140           1311           305192         3607           0              0              2   4   3      
15.40/15.53	c 1352           1526           307508         4249           0              0              3   4   3      
15.40/15.54	c 1585           1762           377948         4953           0              0              4   4   3      
15.40/15.55	c 1841           2021           455565         5724           0              0              4   4   3      
15.40/15.55	c 2122           2305           540285         6574           0              0              2   4   3      
15.40/15.56	c 2431           2617           543183         7507           0              0              3   4   3      
15.40/15.56	c 2770           2959           645529         8529           0              0              4   4   3      
15.40/15.58	c 3142           3334           758178         9648           0              0              4   4   3      
15.40/15.58	c 3551           3746           881554         10882          0              0              2   4   3      
15.40/15.59	c 4000           4198           885292         12235          0              0              3   4   3      
15.50/15.60	c 4493           4694           1033992        13719          0              0              4   4   3      
15.50/15.62	c 5035           5239           1197981        15348          0              0              4   4   3      
15.50/15.63	c 5631           5838           1377831        17143          0              0              2   4   3      
15.50/15.64	c 6286           6496           1382805        19114          0              0              3   4   3      
15.50/15.65	c 7006           7219           1599832        21279          0              0              4   4   3      
15.50/15.68	c 7798           8014           1839321        23658          0              0              4   4   3      
15.60/15.70	c 8669           8888           2102221        26278          0              0              2   4   3      
15.60/15.71	c 9627           9849           2109013        29158          0              0              3   4   3      
15.60/15.73	c 10680          10905          2426273        32322          0              0              4   4   3      
15.60/15.77	c 11838          12066          2776294        35799          0              0              4   4   3      
15.60/15.79	c 13111          13342          3160598        39625          0              0              2   4   3      
15.70/15.81	c 14511          14745          3170042        43831          0              0              3   4   3      
15.70/15.84	c 16051          16288          3633889        48456          0              0              4   4   3      
15.80/15.90	c 17745          17985          4145782        53541          0              0              4   4   3      
15.80/15.94	c 19608          19851          4708266        59137          0              0              2   4   3      
15.80/15.96	c 21657          21903          4721604        65290          0              0              3   4   3      
15.90/16.01	c 23910          24159          5400064        72054          0              0              4   4   3      
15.90/16.09	c 26388          26640          6148725        79491          0              0              4   4   3      
16.00/16.15	c 29113          29368          6971533        87673          0              0              2   4   3      
16.00/16.19	c 32110          32368          6990559        96670          0              0              3   4   3      
16.10/16.26	c 35406          35667          7982962        106563         0              0              4   4   3      
16.20/16.37	c 39031          39295          9078017        117441         0              0              4   4   3      
16.30/16.46	c 43018          43285          10281949       129409         0              0              2   4   3      
16.41/16.52	c 47403          47673          10309303       142570         0              0              3   4   3      
16.51/16.62	c 52226          52499          11761333       157044         0              0              4   4   3      
16.60/16.79	c 57531          57807          13363748       172962         0              0              4   4   3      
16.80/16.92	c 63366          63645          15125776       190474         0              0              2   4   3      
16.90/17.01	c 69784          70066          15165328       209734         0              0              3   4   3      
17.00/17.17	c 76843          77128          17290394       230916         0              0              4   4   3      
17.30/17.42	c 84607          84895          19635427       254211         0              0              4   4   3      
17.51/17.63	c 93147          93438          22214365       279838         0              0              2   4   3      
17.61/17.75	c 102541         102835         22271773       308026         0              0              3   4   3      
17.80/17.98	c 112874         113171         25382313       339030         0              0              4   4   3      
18.20/18.37	c 124240         124540         28815150       373131         0              0              4   4   3      
18.50/18.68	c 136742         137045         32590612       410644         0              0              2   4   3      
18.71/18.88	c 150494         150801         32674468       461909         0              0              3   4   3      
19.10/19.23	c 165621         165932         37228305       517298         0              0              4   4   3      
19.60/19.79	c 182260         182575         42253740       577220         0              0              4   4   3      
20.10/20.23	c 200562         200881         47780508       642136         0              0              2   4   3      
20.40/20.52	c 220694         221017         47902644       712541         0              0              3   4   3      
20.91/21.04	c 242839         243166         54568899       788984         0              0              4   4   3      
21.70/21.86	c 267198         267529         61925774       872066         0              0              4   4   3      
22.40/22.52	c 293992         294328         70016682       972462         0              0              2   4   3      
22.80/22.92	c 323465         323806         70195163       1080894        0              0              3   4   3      
23.50/23.68	c 355885         356231         79954496       1198165        0              0              4   4   3      
24.70/24.89	c 391547         391898         90724879       1325159        0              0              4   4   3      
25.70/25.86	c 430775         431132         102570261      1472862        0              0              2   4   3      
26.31/26.46	c 473925         474288         102831102      1632330        0              0              3   4   3      
27.41/27.59	c 521390         521759         117119283      1804739        0              0              4   4   3      
29.20/29.35	c 573601         573977         132887018      2001389        0              0              4   4   3      
30.60/30.77	c 631033         631416         150229264      2213710        0              0              2   4   3      
31.50/31.63	c 694208         694599         150610848      2453266        0              0              3   4   3      
33.10/33.28	c 763700         764099         171529762      2711762        0              0              4   4   3      
35.70/35.88	c 840141         840549         194613911      3001115        0              0              4   4   3      
37.80/37.95	c 924226         924643         220003425      3313410        0              0              2   4   3      
39.10/39.24	c 1016719        1017146        220561506      3660937        0              0              3   4   3      
41.50/41.62	c 1118461        1118899        251188579      4046192        0              0              4   4   3      
45.30/45.41	c 1230377        1230826        284984532      4461987        0              0              4   4   3      
48.30/48.44	c 1353484        1353945        322154658      4921378        0              0              2   4   3      
50.10/50.26	c 1488901        1489375        322971159      5427710        0              0              3   4   3      
53.60/53.73	c 1637859        1638347        367811157      5984622        0              0              4   4   3      
58.39/58.60	c 1801712        1802216        417285344      6606288        0              0              4   4   3      
62.79/62.94	c 1981950        1982471        471699312      7287142        0              0              2   4   3      
65.49/65.61	c 2180211        2180750        472894317      8032081        0              0              3   4   3      
70.40/70.59	c 2398298        2398857        538543962      8856398        0              0              4   4   3      
76.89/77.03	c 2638193        2638774        610969795      9766295        0              0              4   4   3      
83.08/83.25	c 2902077        2902682        690624947      10768227       0              0              2   4   3      
86.99/87.14	c 3192349        3192980        692374270      11869371       0              0              3   4   3      
94.28/94.43	c 3511648        3512307        788491151      13077348       0              0              4   4   3      
103.19/103.37	c 3862876        3863566        894509868      14411469       0              0              4   4   3      
112.29/112.44	c 4249226        4249949        1011113356     15871051       0              0              2   4   3      
117.88/118.09	c 4674211        4674970        1013673682     17476639       0              0              3   4   3      
128.59/128.79	c 5141694        5142493        1154397583     19249204       0              0              4   4   3      
141.68/141.87	c 5655925        5656768        1309578882     21202802       0              0              4   4   3      
154.99/155.15	c 6221579        6222470        1480244518     23350896       0              0              2   4   3      
163.18/163.35	c 6843798        6844741        1483992400     25708882       0              0              3   4   3      
178.88/179.03	c 7528238        7529238        1690025509     28302369       0              0              4   4   3      
197.99/198.18	c 8281122        8282185        1917140402     31162914       0              0              4   4   3      
217.49/217.63	c 9109294        9110426        2166907050     34309780       0              0              2   4   3      
229.90/230.06	c 10020283       10021490       2172393072     37765525       0              0              3   4   3      
252.89/253.02	c 11022370       11023660       2474045806     41572031       0              0              4   4   3      
280.88/281.09	c 12124665       12126046       2806378377     45762923       0              0              4   4   3      
309.38/309.59	c 13337189       13338669       3171848259     50365350       0              0              2   4   3      
327.49/327.60	c 14670965       14672554       3179878194     55432567       0              0              3   4   3      
361.08/361.25	c 16138118       16139827       3621527005     61004382       0              0              4   4   3      
402.19/402.36	c 17751986       17753827       4107696654     67144503       0              0              4   4   3      
443.99/444.14	c 19527240       19529225       4642301266     73890565       0              0              2   4   3      
470.49/470.62	c 21480019       21482163       4654053694     81321466       0              0              3   4   3      
519.79/519.95	c 23628075       23630393       5300670670     89476152       0              0              4   4   3      
580.09/580.22	c 25990936       25993445       6011646873     98462692       0              0              4   4   3      
641.30/641.45	c 28590083       28592802       6793330117     108352082      0              0              2   4   3      
680.30/680.41	c 31449144       31452094       6810528049     119235833      0              0              3   4   3      
752.60/752.77	c 34594111       34597315       7757239476     131181492      0              0              4   4   3      
840.99/841.13	c 38053574       38057057       8796347059     144358386      0              0              4   4   3      
930.80/930.92	c 41858983       41862773       9938582659     158861588      0              0              2   4   3      
987.90/988.05	c 46044932       46049059       9963743986     174816054      0              0              3   4   3      
1094.20/1094.30	c 50649475       50653973       11349823240    192310792      0              0              4   4   3      
1223.90/1224.01	c 55714472       55719378       12867242699    211638406      0              0              4   4   3      
1355.71/1355.84	c 61285968       61291322       14534885019    232903026      0              0              2   4   3      
1439.51/1439.61	c 67414613       67420460       14571685128    256310242      0              0              3   4   3      
1595.61/1595.72	c 74156122       74162511       16601042961    281926391      0              0              4   4   3      
1786.01/1786.19	c 81571781       81578766       18814333220    310280085      0              0              4   4   3      
1979.72/1979.87	c 89729005       89736645       21245789138    341485946      0              0              2   4   3      
2104.22/2104.32	c 98701951       98710311       21299586272    375833627      0              0              3   4   3      
2334.03/2334.12	c 108572191      108581343      24270767886    413336719      0              0              4   4   3      
2400.03/2400.10	
2400.03/2400.10	c *** INTERRUPTED ***
2400.03/2400.10	c restarts              : 122         
2400.03/2400.10	c conflicts             : 111159114    (46410 /sec)
2400.03/2400.10	c decisions             : 111168476    (46414 /sec)
2400.03/2400.10	c propagations          : 423179019   (176682 /sec)
2400.03/2400.10	c root propagations     : 0           
2400.03/2400.10	c filter calls          : 25048882999    (10458161 /sec)
2400.03/2400.10	c useless filter calls  : 24937715040    (99 %)
2400.03/2400.10	c Memory used           : 8118.23 MB
2400.03/2400.10	c CPU time              : 2395.15 s
2400.03/2400.10	
2400.03/2400.10	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-4260199-1502025236/watcher-4260199-1502025236 -o /tmp/evaluation-result-4260199-1502025236/solver-4260199-1502025236 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502016917-13118 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260199-1502025236.xml 

pid=14637
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.01 2.05 3/185 14640
/proc/meminfo: memFree=31549112/32770624 swapFree=0/325776
[pid=14640] ppid=14637 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14640/stat : 14640 (runsolver) D 14637 14640 12906 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 44434510 24240128 108 18446744073709551615 4194304 4338465 140725277818288 140725277815928 139880903930583 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 6615040 140725277823169 140725277823561 140725277823561 140725277827018 0
/proc/14640/statm: 5918 108 54 36 0 2156 0

[startup+0.100176 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14640
/proc/meminfo: memFree=31549112/32770624 swapFree=0/325776
[pid=14640] ppid=14637 vsize=33804 CPUtime=0 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2698 0 0 0 0 0 0 0 20 0 1 0 44434510 34615296 2542 18446744073709551615 4194304 5747388 140730344619472 140730344616120 5020541 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 8451 2542 697 380 0 1869 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 33804

[startup+0.200391 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14640
/proc/meminfo: memFree=31549112/32770624 swapFree=0/325776
[pid=14640] ppid=14637 vsize=116116 CPUtime=0.1 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 23357 0 0 0 7 3 0 0 20 0 1 0 44434510 118902784 23180 18446744073709551615 4194304 5747388 140730344619472 140730344616120 4908141 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 29029 23180 771 380 0 22447 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 116116

[startup+0.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14640
/proc/meminfo: memFree=31549112/32770624 swapFree=0/325776
[pid=14640] ppid=14637 vsize=169868 CPUtime=0.2 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 36806 0 0 0 16 4 0 0 20 0 1 0 44434510 173944832 36595 18446744073709551615 4194304 5747388 140730344619472 140730344616120 139765602104052 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 42467 36595 771 380 0 35885 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 169868

[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14640
/proc/meminfo: memFree=31549112/32770624 swapFree=0/325776
[pid=14640] ppid=14637 vsize=312044 CPUtime=0.59 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 72338 0 0 0 51 8 0 0 20 0 1 0 44434510 319533056 72075 18446744073709551615 4194304 5747388 140730344619472 140730344616120 139765610701990 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 78011 72075 773 380 0 71429 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 312044

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14641
/proc/meminfo: memFree=31047532/32770624 swapFree=0/325808
[pid=14640] ppid=14637 vsize=745840 CPUtime=1.4 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 180804 0 0 0 119 21 0 0 20 0 1 0 44434510 763740160 180579 18446744073709551615 4194304 5747388 140730344619472 140730344616120 4908141 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 186460 180579 773 380 0 179878 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 745840

[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14641
/proc/meminfo: memFree=30450100/32770624 swapFree=0/325808
[pid=14640] ppid=14637 vsize=1610048 CPUtime=3 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 397060 0 0 0 254 46 0 0 20 0 1 0 44434510 1648689152 396590 18446744073709551615 4194304 5747388 140730344619472 140730344613096 139765601356773 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 402512 396590 773 380 0 395930 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1610048

[startup+6.30034 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 14656
/proc/meminfo: memFree=28655984/32770624 swapFree=0/325840
[pid=14640] ppid=14637 vsize=3342680 CPUtime=6.2 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 830507 0 0 0 523 97 0 0 20 0 1 0 44434510 3422904320 829790 18446744073709551615 4194304 5747388 140730344619472 140730344613096 4908141 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 835670 829790 773 380 0 829088 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 3342680

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 14656
/proc/meminfo: memFree=25075876/32770624 swapFree=0/325852
[pid=14640] ppid=14637 vsize=6807988 CPUtime=12.6 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 1697160 0 0 0 1060 200 0 0 20 0 1 0 44434510 6971379712 1696105 18446744073709551615 4194304 5747388 140730344619472 140730344613096 4908141 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 1701997 1696105 773 380 0 1695415 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 6807988

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/190 14656
/proc/meminfo: memFree=23242880/32770624 swapFree=0/325872
[pid=14640] ppid=14637 vsize=8312936 CPUtime=25.4 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2093683 0 0 0 2293 247 0 0 20 0 1 0 44434510 8512446464 2072426 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5118336 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072426 809 380 0 2071652 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 8312936

[startup+51.1003 s]
/proc/loadavg: 1.90 1.98 2.03 3/189 14841
/proc/meminfo: memFree=23309056/32770624 swapFree=0/326024
[pid=14640] ppid=14637 vsize=8312936 CPUtime=51 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2095855 0 0 0 4853 247 0 0 20 0 1 0 44434510 8512446464 2072426 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141561 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072426 809 380 0 2071652 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 8312936

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 14866
/proc/meminfo: memFree=23308172/32770624 swapFree=0/326072
[pid=14640] ppid=14637 vsize=8312936 CPUtime=102.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2098482 0 0 0 9966 253 0 0 20 0 1 0 44434510 8512446464 2072441 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141553 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072441 809 380 0 2071652 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 8312936

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 14868
/proc/meminfo: memFree=23308688/32770624 swapFree=0/326096
[pid=14640] ppid=14637 vsize=8312936 CPUtime=162.18 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2101391 0 0 0 15958 260 0 0 20 0 1 0 44434510 8512446464 2072441 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141557 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072441 809 380 0 2071652 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 8312936

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14871
/proc/meminfo: memFree=23312600/32770624 swapFree=0/326132
[pid=14640] ppid=14637 vsize=8312936 CPUtime=222.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2103480 0 0 0 21952 267 0 0 20 0 1 0 44434510 8512446464 2072442 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141543 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072442 809 380 0 2071652 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 8312936

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14873
/proc/meminfo: memFree=23311960/32770624 swapFree=0/326172
[pid=14640] ppid=14637 vsize=8312936 CPUtime=282.18 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2105277 0 0 0 27944 274 0 0 20 0 1 0 44434510 8512446464 2072442 18446744073709551615 4194304 5747388 140730344619472 140730344616872 4873114 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072442 809 380 0 2071652 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 8312936

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/186 14875
/proc/meminfo: memFree=23312344/32770624 swapFree=0/326212
[pid=14640] ppid=14637 vsize=8312936 CPUtime=342.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2107145 0 0 0 33937 282 0 0 20 0 1 0 44434510 8512446464 2072443 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141565 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072443 809 380 0 2071652 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 8312936

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 14877
/proc/meminfo: memFree=23312632/32770624 swapFree=0/326216
[pid=14640] ppid=14637 vsize=8312936 CPUtime=402.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2108501 0 0 0 39930 289 0 0 20 0 1 0 44434510 8512446464 2072443 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141557 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072443 809 380 0 2071652 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 8312936

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14879
/proc/meminfo: memFree=23312700/32770624 swapFree=0/326244
[pid=14640] ppid=14637 vsize=8312936 CPUtime=462.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2110688 0 0 0 45922 297 0 0 20 0 1 0 44434510 8512446464 2072444 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141528 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072444 809 380 0 2071652 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 8312936

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14882
/proc/meminfo: memFree=23312628/32770624 swapFree=0/326252
[pid=14640] ppid=14637 vsize=8312936 CPUtime=522.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2112151 0 0 0 51916 303 0 0 20 0 1 0 44434510 8512446464 2072444 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141543 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072444 809 380 0 2071652 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 8312936

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 14884
/proc/meminfo: memFree=23312708/32770624 swapFree=0/326268
[pid=14640] ppid=14637 vsize=8312936 CPUtime=582.19 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2113654 0 0 0 57909 310 0 0 20 0 1 0 44434510 8512446464 2072445 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141557 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072445 809 380 0 2071652 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 8312936


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


[startup+1602.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/185 14951
/proc/meminfo: memFree=23312592/32770624 swapFree=0/326768
[pid=14640] ppid=14637 vsize=8312936 CPUtime=1602.21 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2141454 0 0 0 159797 424 0 0 20 0 1 0 44434510 8512446464 2072454 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141565 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072454 809 380 0 2071652 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 8312936

[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/186 14954
/proc/meminfo: memFree=23311760/32770624 swapFree=0/326804
[pid=14640] ppid=14637 vsize=8312936 CPUtime=1662.21 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2142743 0 0 0 165792 429 0 0 20 0 1 0 44434510 8512446464 2072454 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5118347 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072454 809 380 0 2071652 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 8312936

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 14957
/proc/meminfo: memFree=23311760/32770624 swapFree=0/326836
[pid=14640] ppid=14637 vsize=8312936 CPUtime=1722.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2143941 0 0 0 171788 434 0 0 20 0 1 0 44434510 8512446464 2072454 18446744073709551615 4194304 5747388 140730344619472 140730344616872 4873114 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078234 2072454 809 380 0 2071652 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 8312936

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 14959
/proc/meminfo: memFree=23311424/32770624 swapFree=0/326840
[pid=14640] ppid=14637 vsize=8313068 CPUtime=1782.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2145313 0 0 0 177783 439 0 0 20 0 1 0 44434510 8512581632 2072456 18446744073709551615 4194304 5747388 140730344619472 140730344616616 5121308 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072456 809 380 0 2071685 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 8313068

[startup+1842.3 s]
/proc/loadavg: 2.14 2.07 2.06 3/190 14975
/proc/meminfo: memFree=23307880/32770624 swapFree=0/326880
[pid=14640] ppid=14637 vsize=8313068 CPUtime=1842.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2147137 0 0 0 183778 444 0 0 20 0 1 0 44434510 8512581632 2072456 18446744073709551615 4194304 5747388 140730344619472 140730344616872 4906655 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072456 809 380 0 2071685 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 8313068

[startup+1902.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/190 14977
/proc/meminfo: memFree=23307752/32770624 swapFree=0/326912
[pid=14640] ppid=14637 vsize=8313068 CPUtime=1902.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2148643 0 0 0 189773 449 0 0 20 0 1 0 44434510 8512581632 2072456 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141561 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072456 809 380 0 2071685 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 8313068

[startup+1962.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/186 14980
/proc/meminfo: memFree=23311392/32770624 swapFree=0/326928
[pid=14640] ppid=14637 vsize=8313068 CPUtime=1962.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2150155 0 0 0 195769 453 0 0 20 0 1 0 44434510 8512581632 2072457 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5118347 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072457 809 380 0 2071685 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 8313068

[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 14982
/proc/meminfo: memFree=23311196/32770624 swapFree=0/326936
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2022.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2152321 0 0 0 201763 459 0 0 20 0 1 0 44434510 8512581632 2072457 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141565 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072457 809 380 0 2071685 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 8313068

[startup+2082.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 14984
/proc/meminfo: memFree=23310712/32770624 swapFree=0/326976
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2082.23 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2154489 0 0 0 207759 464 0 0 20 0 1 0 44434510 8512581632 2072459 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141557 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072459 809 380 0 2071685 0
Current children cumulated CPU time (s) 2082.23
Current children cumulated vsize (KiB) 8313068

[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 14987
/proc/meminfo: memFree=23310500/32770624 swapFree=0/327012
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2142.22 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2155954 0 0 0 213753 469 0 0 20 0 1 0 44434510 8512581632 2072461 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141553 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072461 809 380 0 2071685 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 8313068

[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 14989
/proc/meminfo: memFree=23310840/32770624 swapFree=0/327044
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2202.23 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2157111 0 0 0 219749 474 0 0 20 0 1 0 44434510 8512581632 2072461 18446744073709551615 4194304 5747388 140730344619472 140730344616872 4872987 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072461 809 380 0 2071685 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 8313068

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 14991
/proc/meminfo: memFree=23310876/32770624 swapFree=0/327072
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2262.23 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2158178 0 0 0 225745 478 0 0 20 0 1 0 44434510 8512581632 2072461 18446744073709551615 4194304 5747388 140730344619472 140730344616872 4873211 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072461 809 380 0 2071685 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 8313068

[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 14993
/proc/meminfo: memFree=23310996/32770624 swapFree=0/327088
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2322.23 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2159364 0 0 0 231741 482 0 0 20 0 1 0 44434510 8512581632 2072461 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141553 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072461 809 380 0 2071685 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 8313068

[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 14995
/proc/meminfo: memFree=23311032/32770624 swapFree=0/327124
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2382.23 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2160966 0 0 0 237736 487 0 0 20 0 1 0 44434510 8512581632 2072461 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141565 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072461 809 380 0 2071685 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 8313068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 14996
/proc/meminfo: memFree=23310752/32770624 swapFree=0/327136
[pid=14640] ppid=14637 vsize=8313068 CPUtime=2400.03 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202496 2161345 0 0 0 239515 488 0 0 20 0 1 0 44434510 8512581632 2072461 18446744073709551615 4194304 5747388 140730344619472 140730344616872 5141565 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40992768 140730344624622 140730344624717 140730344624717 140730344628174 0
/proc/14640/statm: 2078267 2072461 809 380 0 2071685 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 8313068

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

[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 14996
/proc/meminfo: memFree=28744540/32770624 swapFree=0/327136
[pid=14640] ppid=14637 vsize=0 CPUtime=2400.14 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202500 2161393 0 0 0 239515 499 0 0 20 0 1 0 44434510 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/14640/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.14
Current children cumulated vsize (KiB) 0

[startup+2400.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 14996
/proc/meminfo: memFree=28744540/32770624 swapFree=0/327136
[pid=14640] ppid=14637 vsize=0 CPUtime=2400.24 cores=0,2,4,6
/proc/14640/stat : 14640 (cosoco) R 14637 14640 12906 0 -1 4202500 2161393 0 0 0 239515 509 0 0 20 0 1 0 44434510 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/14640/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.36
CPU time (s): 2400.3
CPU user time (s): 2395.15
CPU system time (s): 5.14812
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 8313068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.15
system time used= 5.14811
maximum resident set size= 8289904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2161393
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= 50
involuntary context switches= 3006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88551 second user time and 9.00524 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-06 14:59:58
IDJOB=4260199
IDBENCH=126842
IDSOLVER=2647
FILE ID=node135/4260199-1502025236
RUNJOBID= node135-1502016917-13118
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.1
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-4260199-1502025236/watcher-4260199-1502025236 -o /tmp/evaluation-result-4260199-1502025236/solver-4260199-1502025236 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502016917-13118 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4260199-1502025236.xml

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

MD5SUM BENCH= b9bf68be3b756b1f34bbd3d4e06d542d
RANDOM SEED=2014861455

node135.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.21
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.21
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.21
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.21
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:        31549112 kB
MemAvailable:   31935680 kB
Buffers:          193104 kB
Cached:           474564 kB
SwapCached:            0 kB
Active:           450440 kB
Inactive:         342556 kB
Active(anon):     125664 kB
Inactive(anon):    16780 kB
Active(file):     324776 kB
Inactive(file):   325776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2252 kB
Writeback:             0 kB
AnonPages:        125364 kB
Mapped:            39624 kB
Shmem:             17152 kB
Slab:             130468 kB
SReclaimable:     103700 kB
SUnreclaim:        26768 kB
KernelStack:        3344 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     377508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-06 15:39:59