Trace number 4396729

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 2.0? (TO) 2519.63 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-26.xml
MD5SUM163dd1c4311ae2a810c887bcbec28782
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 benchmark15.5906
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size413
Maximum domain size511
Distribution of domain sizes[{"size":413,"count":2},{"size":414,"count":2},{"size":415,"count":2},{"size":417,"count":2},{"size":418,"count":4},{"size":420,"count":2},{"size":421,"count":4},{"size":422,"count":4},{"size":423,"count":2},{"size":425,"count":2},{"size":428,"count":4},{"size":430,"count":4},{"size":432,"count":2},{"size":434,"count":2},{"size":435,"count":2},{"size":437,"count":4},{"size":439,"count":2},{"size":440,"count":2},{"size":443,"count":4},{"size":445,"count":8},{"size":447,"count":2},{"size":448,"count":2},{"size":450,"count":2},{"size":453,"count":6},{"size":456,"count":2},"...",{"size":478,"count":2}, {"size":479,"count":2}, {"size":481,"count":10}, {"size":482,"count":2}, {"size":484,"count":2}, {"size":485,"count":2}, {"size":486,"count":6}, {"size":487,"count":2}, {"size":488,"count":2}, {"size":489,"count":2}, {"size":490,"count":4}, {"size":491,"count":4}, {"size":492,"count":4}, {"size":493,"count":2}, {"size":494,"count":2}, {"size":495,"count":4}, {"size":496,"count":4}, {"size":497,"count":2}, {"size":499,"count":4}, {"size":501,"count":2}, {"size":502,"count":4}, {"size":503,"count":8}, {"size":504,"count":4}, {"size":507,"count":2}, {"size":511,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

1.89/1.96	c root propagations     : 0           
1.89/1.96	c restarts enabled, print stats at every restarts
1.89/1.96	c
1.89/1.96	c
1.89/1.96	c
1.89/1.96	c This is cosoco 2.00 --  
1.89/1.96	c
1.89/1.96	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396729-1568592899.xml 
1.89/1.96	c ========================================[ Problem Statistics ]===========================================
1.89/1.96	c |                                                                                                       
1.89/1.96	c |  Parse time        :         1.91 s 
1.89/1.96	c |
1.89/1.96	c |               Variables: 200
1.89/1.96	c |            Domain Sizes: 413..511
1.89/1.96	c |
1.89/1.96	c |             Constraints: 2800
1.89/1.96	c |                   Arity: 2..2  -- Binary: 2800
1.89/1.96	c | 
1.89/1.96	c |                   Types: 
1.89/1.96	c |                          (X != Y): 100
1.89/1.96	c |                          Intension: 2700
1.89/1.96	c |                          
1.89/1.96	c =========================================================================================================
1.89/1.96	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.89/3.93	c 101            114            42872          237697         0              0              6   7   6      
7.19/7.29	c 211            233            63340          774809         0              0              7   8   7      
8.79/8.85	c 332            364            88328          1236265        0              0              7   7   6      
10.69/10.79	c 465            505            110467         1620948        0              0              6   6   5      
13.19/13.20	c 611            662            154290         2117003        0              0              5   6   5      
16.99/17.08	c 771            842            236153         2588548        0              0              5   6   5      
20.28/20.33	c 947            1029           286794         3101570        0              0              6   6   5      
21.88/21.99	c 1140           1230           306107         3721859        0              0              6   6   5      
24.88/24.99	c 1352           1458           359108         4329168        0              0              5   7   6      
29.59/29.69	c 1585           1717           428823         5076010        0              0              6   9   8      
32.39/32.44	c 1841           1980           448319         5712351        0              0              6   6   5      
38.78/38.82	c 2122           2317           616554         6251294        0              0              7   11   9     
44.48/44.56	c 2431           2675           728748         6652356        0              0              23   30   29   
51.99/52.07	c 2770           3066           857066         7363212        0              0              9   12   10    
64.48/64.56	c 3142           3469           1026997        8320633        0              0              6   8   7      
72.58/72.60	c 3551           3910           1150270        9856309        0              0              7   8   7      
80.78/80.84	c 4000           4400           1307536        11049608       0              0              5   6   5      
93.27/93.30	c 4493           4910           1367111        13614698       0              0              5   5   4      
98.77/98.81	c 5035           5462           1398617        14634513       0              0              6   6   5      
106.37/106.43	c 5631           6079           1555373        16557288       0              0              4   6   4      
123.36/123.44	c 6286           6806           1812234        18459863       0              0              6   28   27    
143.36/143.40	c 7006           7602           2049445        21168138       0              0              24   26   24   
160.16/160.21	c 7798           8472           2321297        23410218       0              0              20   22   20   
177.76/177.88	c 8669           9443           2629484        24983117       0              0              22   25   24   
197.96/198.07	c 9627           10536          3028782        27449480       0              0              6   27   24    
233.05/233.19	c 10680          11689          3538566        30071904       0              0              9   48   46    
262.44/262.51	c 11838          12967          3906727        33064366       0              0              9   41   39    
288.43/288.51	c 13111          14302          4249743        37888332       0              0              6   9   7      
311.32/311.44	c 14511          15908          4750533        40211220       0              0              13   42   40   
405.11/405.24	c 16051          17574          5425257        46524419       0              0              14   66   63   
440.60/440.74	c 17745          19409          6004538        50271577       0              0              14   39   38   
467.30/467.48	c 19608          21393          6373339        55180644       0              0              14   20   19   
504.79/504.97	c 21657          23531          6739235        62217989       0              0              4   5   4      
550.69/550.83	c 23910          25927          7453171        70098144       0              0              4   8   5      
588.58/588.78	c 26388          28546          7843425        78631204       0              0              4   5   4      
669.48/669.68	c 29113          31431          8426181        90857404       0              0              3   4   3      
738.89/739.03	c 32110          35131          9913396        105298483      0              0              3   6   4      
809.77/809.95	c 35406          38688          11107595       115377197      0              0              3   7   6      
935.95/936.11	c 39031          42968          13549732       128192882      0              0              3   6   5      
983.23/983.45	c 43018          47044          13949558       141756464      0              0              3   4   3      
1116.22/1116.41	c 47403          51967          16341033       154668493      0              0              4   6   5      
1201.11/1201.37	c 52226          57023          16999554       171840780      0              0              4   5   4      
1275.49/1275.70	c 57531          62571          18031679       190008425      0              0              4   6   5      
1402.57/1402.83	c 63366          68889          20092492       208739287      0              0              4   8   7      
1578.24/1578.53	c 69784          75912          22304084       226898295      0              0              3   7   6      
1674.43/1674.75	c 76843          83125          23027148       250706296      0              0              3   4   3      
1814.32/1814.67	c 84607          91297          24751695       275907658      0              0              4   8   6      
2118.68/2119.09	c 93147          100707         28937207       296516237      0              0              3   7   6      
2407.92/2408.39	c 102541         111748         35095214       331852836      0              0              3   7   5      
2519.61/2520.01	
2519.61/2520.01	c *** INTERRUPTED ***
2519.61/2520.01	c restarts              : 49          
2519.61/2520.01	c conflicts             : 107098       (43 /sec)
2519.61/2520.01	c decisions             : 116664       (46 /sec)
2519.61/2520.01	c propagations          : 349210125   (138602 /sec)
2519.61/2520.01	c root propagations     : 0           
2519.61/2520.01	c filter calls          : 36768238       (14593 /sec)
2519.61/2520.01	c useless filter calls  : 31244884       (84 %)
2519.61/2520.01	c Memory used           : 156.18 MB
2519.61/2520.01	c CPU time              : 2519.51 s
2519.61/2520.01	c real time             : 2520.01 s
2519.61/2520.01	
2519.61/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396729-1568592899/watcher-4396729-1568592899 -o /tmp/evaluation-result-4396729-1568592899/solver-4396729-1568592899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13957 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396729-1568592899.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18329, runsolver pid=18326
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 18330
/proc/meminfo: memFree=30097852/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=28896 memory=4920 CPUtime=0.1 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 1434 0 0 0 10 0 0 0 20 0 1 0 435540428 29589504 1230 33554432000 4194304 6211092 140725003052032 140725003048568 139715553872869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 7224 1230 798 493 0 529 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 4920 KiB

[startup+0.209871 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 18330
/proc/meminfo: memFree=30093388/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=33908 memory=10172 CPUtime=0.21 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 2713 0 0 0 21 0 0 0 20 0 1 0 435540428 34721792 2543 33554432000 4194304 6211092 140725003052032 140725003048568 139715553872869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 8477 2543 816 493 0 1782 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33908 KiB
Current children cumulated memory: 10172 KiB

[startup+0.30969 s]*
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=30088252/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=39052 memory=15328 CPUtime=0.31 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 4012 0 0 0 31 0 0 0 20 0 1 0 435540428 39989248 3832 33554432000 4194304 6211092 140725003052032 140725003048568 5071149 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 9763 3832 816 493 0 3068 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 15328 KiB

[startup+0.700368 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=30078124/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=58972 memory=35252 CPUtime=0.69 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 8976 0 0 0 68 1 0 0 20 0 1 0 435540428 60387328 8813 33554432000 4194304 6211092 140725003052032 140725003045032 139715553872869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 14743 8813 816 493 0 8048 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58972 KiB
Current children cumulated memory: 35252 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=30052332/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=100656 memory=76788 CPUtime=1.49 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 19409 0 0 0 146 3 0 0 20 0 1 0 435540428 103071744 19197 33554432000 4194304 6211092 140725003052032 140725003045032 139715553872869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 25164 19197 816 493 0 18469 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100656 KiB
Current children cumulated memory: 76788 KiB

[startup+3.10973 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=29999756/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=127056 memory=103528 CPUtime=3.1 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 31119 0 0 0 305 5 0 0 20 0 1 0 435540428 130105344 25882 33554432000 4194304 6211092 140725003052032 140725003049688 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 31764 25882 859 493 0 25069 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 127056 KiB
Current children cumulated memory: 103528 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=29997612/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=128772 memory=105284 CPUtime=6.29 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 34523 0 0 0 624 5 0 0 20 0 1 0 435540428 131862528 26321 33554432000 4194304 6211092 140725003052032 140725003049688 5446927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 32193 26321 861 493 0 25498 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 128772 KiB
Current children cumulated memory: 105284 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=29996808/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=129960 memory=106456 CPUtime=12.69 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 44615 0 0 0 1263 6 0 0 20 0 1 0 435540428 133079040 26614 33554432000 4194304 6211092 140725003052032 140725003049688 139715563817816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 32490 26614 861 493 0 25795 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 129960 KiB
Current children cumulated memory: 106456 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 18332
/proc/meminfo: memFree=29996344/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=130620 memory=107160 CPUtime=25.49 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 58293 0 0 0 2542 7 0 0 20 0 1 0 435540428 133754880 26790 33554432000 4194304 6211092 140725003052032 140725003049688 5441120 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 32655 26790 861 493 0 25960 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 130620 KiB
Current children cumulated memory: 107160 KiB

[startup+51.1096 s]
/proc/loadavg: 1.93 2.00 2.04 3/203 18336
/proc/meminfo: memFree=29990296/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=135768 memory=112200 CPUtime=51.09 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 72522 0 0 0 5101 8 0 0 20 0 1 0 435540428 139026432 28050 33554432000 4194304 6211092 140725003052032 140725003049688 139715563817853 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 33942 28050 861 493 0 27247 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 135768 KiB
Current children cumulated memory: 112200 KiB

[startup+102.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/204 18341
/proc/meminfo: memFree=29989456/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=136164 memory=112752 CPUtime=102.27 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 80319 0 0 0 10219 8 0 0 20 0 1 0 435540428 139431936 28188 33554432000 4194304 6211092 140725003052032 140725003049992 139715563817866 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 34041 28188 861 493 0 27346 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 136164 KiB
Current children cumulated memory: 112752 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/204 18345
/proc/meminfo: memFree=29986576/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=138936 memory=115492 CPUtime=162.26 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 91945 0 0 0 16217 9 0 0 20 0 1 0 435540428 142270464 28873 33554432000 4194304 6211092 140725003052032 140725003049688 5446924 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 34734 28873 861 493 0 28039 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 138936 KiB
Current children cumulated memory: 115492 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/204 18349
/proc/meminfo: memFree=29983912/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=142632 memory=119164 CPUtime=222.25 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 93737 0 0 0 22216 9 0 0 20 0 1 0 435540428 146055168 29791 33554432000 4194304 6211092 140725003052032 140725003049688 5452231 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 35658 29791 861 493 0 28963 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 142632 KiB
Current children cumulated memory: 119164 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/205 18356
/proc/meminfo: memFree=29981420/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=144876 memory=121452 CPUtime=282.23 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 95957 0 0 0 28214 9 0 0 20 0 1 0 435540428 148353024 30363 33554432000 4194304 6211092 140725003052032 140725003049688 5069306 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 36219 30363 861 493 0 29524 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 144876 KiB
Current children cumulated memory: 121452 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/205 18360
/proc/meminfo: memFree=29971356/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=154116 memory=130712 CPUtime=342.21 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 100975 0 0 0 34212 9 0 0 20 0 1 0 435540428 157814784 32678 33554432000 4194304 6211092 140725003052032 140725003049688 139715563817821 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 38529 32678 861 493 0 31834 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 154116 KiB
Current children cumulated memory: 130712 KiB

[startup+402.3 s]
/proc/loadavg: 1.95 1.97 2.03 3/204 18436
/proc/meminfo: memFree=29646200/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=155568 memory=132104 CPUtime=402.21 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 101861 0 0 0 40211 10 0 0 20 0 1 0 435540428 159301632 33026 33554432000 4194304 6211092 140725003052032 140725003049688 139715554796431 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 38892 33026 861 493 0 32197 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 155568 KiB
Current children cumulated memory: 132104 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 2.02 2.05 3/204 18442
/proc/meminfo: memFree=29615172/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=157680 memory=134252 CPUtime=462.2 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 103228 0 0 0 46210 10 0 0 20 0 1 0 435540428 161464320 33563 33554432000 4194304 6211092 140725003052032 140725003049688 5453926 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39420 33563 861 493 0 32725 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 157680 KiB
Current children cumulated memory: 134252 KiB


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

/proc/18329/statm: 39948 34072 861 493 0 33253 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136288 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 18570
/proc/meminfo: memFree=29552104/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136312 CPUtime=1782.02 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 114354 0 0 0 178191 11 0 0 20 0 1 0 435540428 163627008 34078 33554432000 4194304 6211092 140725003052032 140725003049688 5453922 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34078 861 493 0 33253 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136312 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 18574
/proc/meminfo: memFree=29551520/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136344 CPUtime=1842.02 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 114745 0 0 0 184191 11 0 0 20 0 1 0 435540428 163627008 34086 33554432000 4194304 6211092 140725003052032 140725003049992 5443025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34086 861 493 0 33253 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136344 KiB

[startup+1902.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/204 18580
/proc/meminfo: memFree=29550424/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136352 CPUtime=1902.01 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 115122 0 0 0 190190 11 0 0 20 0 1 0 435540428 163627008 34088 33554432000 4194304 6211092 140725003052032 140725003049992 5439810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34088 861 493 0 33253 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136352 KiB

[startup+1962.3 s]
/proc/loadavg: 2.32 2.14 2.09 3/204 18585
/proc/meminfo: memFree=29550232/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136356 CPUtime=1962.01 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 115487 0 0 0 196190 11 0 0 20 0 1 0 435540428 163627008 34089 33554432000 4194304 6211092 140725003052032 140725003049992 5441120 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34089 861 493 0 33253 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136356 KiB

[startup+2022.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/204 18589
/proc/meminfo: memFree=29549736/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136360 CPUtime=2021.99 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 115838 0 0 0 202188 11 0 0 20 0 1 0 435540428 163627008 34090 33554432000 4194304 6211092 140725003052032 140725003049992 5068958 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34090 861 493 0 33253 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136360 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/204 18596
/proc/meminfo: memFree=29550204/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136360 CPUtime=2081.98 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 116174 0 0 0 208187 11 0 0 20 0 1 0 435540428 163627008 34090 33554432000 4194304 6211092 140725003052032 140725003049992 5446260 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34090 861 493 0 33253 0
Current children cumulated CPU time: 2081.98 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136360 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/204 18600
/proc/meminfo: memFree=29549752/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136364 CPUtime=2141.97 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 116566 0 0 0 214186 11 0 0 20 0 1 0 435540428 163627008 34091 33554432000 4194304 6211092 140725003052032 140725003049992 5069289 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34091 861 493 0 33253 0
Current children cumulated CPU time: 2141.97 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136364 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/204 18611
/proc/meminfo: memFree=29549844/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136364 CPUtime=2201.96 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 116867 0 0 0 220185 11 0 0 20 0 1 0 435540428 163627008 34091 33554432000 4194304 6211092 140725003052032 140725003049992 5446226 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34091 861 493 0 33253 0
Current children cumulated CPU time: 2201.96 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136364 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/204 18617
/proc/meminfo: memFree=29549844/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136364 CPUtime=2261.95 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 117173 0 0 0 226184 11 0 0 20 0 1 0 435540428 163627008 34091 33554432000 4194304 6211092 140725003052032 140725003049992 5452157 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34091 861 493 0 33253 0
Current children cumulated CPU time: 2261.95 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136364 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 18621
/proc/meminfo: memFree=29548932/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136364 CPUtime=2321.94 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 117470 0 0 0 232183 11 0 0 20 0 1 0 435540428 163627008 34091 33554432000 4194304 6211092 140725003052032 140725003049992 5441106 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34091 861 493 0 33253 0
Current children cumulated CPU time: 2321.94 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136364 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 18625
/proc/meminfo: memFree=29548828/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136364 CPUtime=2381.93 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 117778 0 0 0 238182 11 0 0 20 0 1 0 435540428 163627008 34091 33554432000 4194304 6211092 140725003052032 140725003049992 139715563817832 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34091 861 493 0 33253 0
Current children cumulated CPU time: 2381.93 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136364 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 18632
/proc/meminfo: memFree=29547488/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159792 memory=136400 CPUtime=2441.91 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 118165 0 0 0 244180 11 0 0 20 0 1 0 435540428 163627008 34100 33554432000 4194304 6211092 140725003052032 140725003049992 5068958 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39948 34100 861 493 0 33253 0
Current children cumulated CPU time: 2441.91 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136400 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 18637
/proc/meminfo: memFree=29547940/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159924 memory=136456 CPUtime=2501.91 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 118549 0 0 0 250180 11 0 0 20 0 1 0 435540428 163762176 34114 33554432000 4194304 6211092 140725003052032 140725003049688 139715563817832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39981 34114 861 493 0 33286 0
Current children cumulated CPU time: 2501.91 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 136456 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/204 18637
/proc/meminfo: memFree=29548172/32770624 swapFree=66917016/67108860
[pid=18329] ppid=18326 vsize=159924 memory=136472 CPUtime=2519.61 cores=0,2,4,6
/proc/18329/stat : 18329 (cosoco) R 18326 18329 13926 0 -1 4202496 118838 0 0 0 251950 11 0 0 20 0 1 0 435540428 163762176 34118 33554432000 4194304 6211092 140725003052032 140725003049688 5451434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9506816 140725003056139 140725003056241 140725003056241 140725003059150 0
/proc/18329/statm: 39981 34118 861 493 0 33286 0
Current children cumulated CPU time: 2519.61 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 136472 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.63
CPU user time (s): 2519.51
CPU system time (s): 0.118982
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (KiB): 159924
Max. memory (cumulated for all children) (KiB): 136472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.118982
maximum resident set size= 136540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118888
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= 28
involuntary context switches= 3659


# summary of solver processes directly reported to runsolver:
#   pid: 18329
#   total CPU time (s): 2519.63
#   total CPU user time (s): 2519.51
#   total CPU system time (s): 0.118982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.45443 second user time and 16.9646 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-16 02:14:18
IDJOB=4396729
IDBENCH=138449
IDSOLVER=2848
FILE ID=node134/4396729-1568592899
RUNJOBID= node134-1568572743-13957
PBS_JOBID= 21703320
Free space on /tmp= 59596 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-26.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396729-1568592899/watcher-4396729-1568592899 -o /tmp/evaluation-result-4396729-1568592899/solver-4396729-1568592899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13957 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396729-1568592899.xml

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

MD5SUM BENCH= 163dd1c4311ae2a810c887bcbec28782
RANDOM SEED=914558954

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30099672 kB
MemAvailable:   31777248 kB
Buffers:          202428 kB
Cached:          1749716 kB
SwapCached:        90408 kB
Active:           610516 kB
Inactive:        1446088 kB
Active(anon):      12924 kB
Inactive(anon):   139680 kB
Active(file):     597592 kB
Inactive(file):  1306408 kB
Unevictable:      108364 kB
Mlocked:          108364 kB
SwapTotal:      67108860 kB
SwapFree:       66917016 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:        150384 kB
Mapped:            48556 kB
Shmem:             39624 kB
Slab:             209344 kB
SReclaimable:     178824 kB
SUnreclaim:        30520 kB
KernelStack:        3840 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     545812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59596 MiB
End job on node134 at 2019-09-16 02:56:18