Trace number 4389463

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-21.xml
MD5SUMab3cfdf6220e1af184bc3e02e1fbde1d
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 benchmark45.669
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size516
Maximum domain size611
Distribution of domain sizes[{"size":516,"count":6},{"size":517,"count":6},{"size":518,"count":4},{"size":519,"count":2},{"size":520,"count":4},{"size":521,"count":2},{"size":522,"count":2},{"size":523,"count":2},{"size":524,"count":2},{"size":526,"count":2},{"size":527,"count":8},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":2},{"size":533,"count":2},{"size":540,"count":2},{"size":541,"count":4},{"size":542,"count":2},{"size":543,"count":2},{"size":544,"count":4},{"size":545,"count":2},{"size":546,"count":8},{"size":547,"count":2},{"size":548,"count":2},"...",{"size":571,"count":2}, {"size":572,"count":2}, {"size":573,"count":2}, {"size":574,"count":2}, {"size":575,"count":6}, {"size":576,"count":4}, {"size":579,"count":4}, {"size":580,"count":2}, {"size":582,"count":4}, {"size":584,"count":6}, {"size":585,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":2}, {"size":591,"count":2}, {"size":593,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":601,"count":6}, {"size":602,"count":2}, {"size":605,"count":2}, {"size":607,"count":4}, {"size":610,"count":2}, {"size":611,"count":2}]
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.91	c root propagations     : 0           
1.89/1.91	c restarts enabled, print stats at every restarts
1.89/1.91	c
1.89/1.91	c
1.89/1.91	c
1.89/1.91	c This is cosoco 2.00 --  
1.89/1.91	c
1.89/1.91	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389463-1568357743.xml 
1.89/1.91	c ========================================[ Problem Statistics ]===========================================
1.89/1.91	c |                                                                                                       
1.89/1.91	c |  Parse time        :         1.87 s 
1.89/1.91	c |
1.89/1.91	c |               Variables: 200
1.89/1.91	c |            Domain Sizes: 516..611
1.89/1.91	c |
1.89/1.91	c |             Constraints: 2800
1.89/1.91	c |                   Arity: 2..2  -- Binary: 2800
1.89/1.91	c | 
1.89/1.91	c |                   Types: 
1.89/1.91	c |                          (X != Y): 100
1.89/1.91	c |                          Intension: 2700
1.89/1.91	c |                          
1.89/1.91	c =========================================================================================================
1.89/1.91	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
4.10/4.15	c 101            125            60604          180171         0              0              8   9   8      
6.79/6.81	c 211            254            122890         477099         0              0              11   11   10   
9.69/9.72	c 332            396            148755         990243         0              0              10   10   9    
12.79/12.80	c 465            537            170491         1578361        0              0              6   7   6      
15.79/15.89	c 611            698            228882         2087009        0              0              6   6   5      
17.69/17.71	c 771            866            257112         2640805        0              0              6   7   6      
20.00/20.04	c 947            1057           296359         3268751        0              0              6   7   6      
24.10/24.16	c 1140           1263           337094         4093567        0              0              6   7   6      
27.10/27.12	c 1352           1488           384236         4854751        0              0              6   7   6      
31.69/31.72	c 1585           1729           424374         5888706        0              0              6   6   5      
36.59/36.60	c 1841           1996           481724         6908316        0              0              6   6   5      
41.79/41.88	c 2122           2295           557619         7790125        0              0              6   7   6      
46.79/46.82	c 2431           2616           603291         8892625        0              0              7   7   6      
51.29/51.39	c 2770           2971           645183         10123205       0              0              6   8   6      
59.19/59.23	c 3142           3392           708074         11276137       0              0              6   44   39    
70.10/70.18	c 3551           3855           898089         12560307       0              0              6   30   29    
76.00/76.05	c 4000           4316           940912         14233510       0              0              6   6   5      
86.89/86.91	c 4493           4887           1206032        15222958       0              0              7   10   8     
106.69/106.71	c 5035           5534           1473136        17217327       0              0              7   10   8     
117.00/117.08	c 5631           6180           1587369        19299207       0              0              24   25   24   
126.79/126.83	c 6286           6850           1647950        21619257       0              0              8   8   7      
139.89/139.91	c 7006           7625           1850952        24100955       0              0              6   7   6      
158.30/158.39	c 7798           8479           2076605        26899239       0              0              5   26   24    
179.50/179.53	c 8669           9399           2283087        30023825       0              0              5   25   24    
201.20/201.22	c 9627           10438          2545114        33060638       0              0              6   28   25    
226.11/226.16	c 10680          11571          2864629        36529098       0              0              5   26   24    
242.20/242.21	c 11838          12780          3052468        39309103       0              0              5   8   7      
274.52/274.54	c 13111          14106          3304783        45485554       0              0              7   8   7      
314.13/314.14	c 14511          15729          3816162        51888991       0              0              6   9   7      
339.62/339.60	c 16051          17353          4265660        55786804       0              0              6   10   8     
369.93/369.94	c 17745          19335          5063036        58173882       0              0              6   10   9     
390.73/390.70	c 19608          21227          5212094        64651690       0              0              7   7   6      
424.83/424.89	c 21657          23422          5640408        69825251       0              0              6   12   10    
466.54/466.56	c 23910          25800          6210908        75941876       0              0              7   11   9     
513.05/513.09	c 26388          28423          6605155        84446299       0              0              7   9   8      
555.55/555.53	c 29113          31245          6939123        95011626       0              0              6   8   7      
616.76/616.75	c 32110          34605          7977296        102376154      0              0              6   12   9     
684.36/684.35	c 35406          38156          9098461        114299463      0              0              7   9   8      
746.37/746.30	c 39031          41911          10047160       123976459      0              0              5   7   6      
827.58/827.57	c 43018          46210          11282302       138565891      0              0              7   8   7      
910.99/910.94	c 47403          51173          12949122       146879351      0              0              5   11   9     
994.30/994.27	c 52226          56452          14705696       159945814      0              0              6   9   8      
1088.02/1087.95	c 57531          62042          15599358       182055811      0              0              6   9   7      
1194.14/1194.06	c 63366          68245          17100947       195538005      0              0              6   11   8     
1312.64/1312.53	c 69784          75134          18488798       216081497      0              0              5   14   8     
1406.75/1406.67	c 76843          82648          20165115       230088789      0              0              7   10   9     
1539.07/1538.90	c 84607          90706          21651155       254901524      0              0              7   9   7      
1705.59/1705.47	c 93147          99828          23923120       277296405      0              0              6   9   7      
1868.91/1868.73	c 102541         109648         25834237       306636168      0              0              7   9   7      
2253.27/2253.09	c 112874         121462         28674102       336290827      0              0              6   72   63    
2478.89/2478.63	c 124240         133132         30383921       380677499      0              0              8   28   26    
2520.00/2519.70	
2520.00/2519.70	c *** INTERRUPTED ***
2520.00/2519.70	c restarts              : 51          
2520.00/2519.70	c conflicts             : 125206       (50 /sec)
2520.00/2519.70	c decisions             : 134222       (53 /sec)
2520.00/2519.70	c propagations          : 384373519   (152534 /sec)
2520.00/2519.70	c root propagations     : 0           
2520.00/2519.70	c filter calls          : 30697339       (12182 /sec)
2520.00/2519.70	c useless filter calls  : 25178729       (82 %)
2520.00/2519.70	c Memory used           : 171.16 MB
2520.00/2519.70	c CPU time              : 2519.91 s
2520.00/2519.70	c real time             : 2519.7 s
2520.00/2519.70	
2520.00/2519.70	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 (15324 MiB free)
  memory of node 1: 16384 MiB (15545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389463-1568357743/watcher-4389463-1568357743 -o /tmp/evaluation-result-4389463-1568357743/solver-4389463-1568357743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23542 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389463-1568357743.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100958 s]*
/proc/loadavg: 1.42 1.30 1.64 3/199 23833
/proc/meminfo: memFree=31608944/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=28944 memory=5028 CPUtime=0.1 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 1467 0 0 0 10 0 0 0 20 0 1 0 411712253 29638656 1257 33554432000 4194304 6210612 140724906905920 140724906903192 140469002872842 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 7236 1257 796 493 0 541 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5028 KiB

[startup+0.20966 s]*
/proc/loadavg: 1.42 1.30 1.64 3/199 23833
/proc/meminfo: memFree=31604268/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=34624 memory=10764 CPUtime=0.21 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 2887 0 0 0 21 0 0 0 20 0 1 0 411712253 35454976 2691 33554432000 4194304 6210612 140724906905920 140724906897144 5070781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 8656 2691 815 493 0 1961 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34624 KiB
Current children cumulated memory: 10764 KiB

[startup+0.309426 s]*
/proc/loadavg: 1.42 1.30 1.64 3/199 23833
/proc/meminfo: memFree=31598572/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=40324 memory=16452 CPUtime=0.3 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 4321 0 0 0 30 0 0 0 20 0 1 0 411712253 41291776 4113 33554432000 4194304 6210612 140724906905920 140724906897144 140468999388133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 10081 4113 815 493 0 3386 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40324 KiB
Current children cumulated memory: 16452 KiB

[startup+0.7003 s]
/proc/loadavg: 1.42 1.30 1.64 3/199 23833
/proc/meminfo: memFree=31587040/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=62380 memory=38516 CPUtime=0.68 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 9827 0 0 0 67 1 0 0 20 0 1 0 411712253 63877120 9629 33554432000 4194304 6210612 140724906905920 140724906897144 140468999388133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 15595 9629 815 493 0 8900 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62380 KiB
Current children cumulated memory: 38516 KiB

[startup+1.5003 s]
/proc/loadavg: 1.47 1.31 1.65 3/199 23833
/proc/meminfo: memFree=31558768/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=108712 memory=84856 CPUtime=1.49 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 21414 0 0 0 146 3 0 0 20 0 1 0 411712253 111321088 21214 33554432000 4194304 6210612 140724906905920 140724906897144 140468999388133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 27178 21214 815 493 0 20483 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108712 KiB
Current children cumulated memory: 84856 KiB

[startup+3.10938 s]
/proc/loadavg: 1.47 1.31 1.65 3/199 23833
/proc/meminfo: memFree=31502224/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=135660 memory=112160 CPUtime=3.1 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 32816 0 0 0 306 4 0 0 20 0 1 0 411712253 138915840 28040 33554432000 4194304 6210612 140724906905920 140724906903576 5442952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 33915 28040 856 493 0 27220 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 135660 KiB
Current children cumulated memory: 112160 KiB

[startup+6.30027 s]
/proc/loadavg: 1.51 1.32 1.65 3/199 23833
/proc/meminfo: memFree=31498504/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=139356 memory=115868 CPUtime=6.29 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 41143 0 0 0 624 5 0 0 20 0 1 0 411712253 142700544 28967 33554432000 4194304 6210612 140724906905920 140724906903576 5476703 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 34839 28967 859 493 0 28144 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 139356 KiB
Current children cumulated memory: 115868 KiB

[startup+12.7003 s]
/proc/loadavg: 1.55 1.33 1.65 3/199 23897
/proc/meminfo: memFree=31410924/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=141732 memory=118164 CPUtime=12.69 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 48848 0 0 0 1264 5 0 0 20 0 1 0 411712253 145133568 29541 33554432000 4194304 6210612 140724906905920 140724906903576 5451458 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 35433 29541 859 493 0 28738 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 141732 KiB
Current children cumulated memory: 118164 KiB

[startup+25.5003 s]
/proc/loadavg: 1.62 1.35 1.65 3/199 23898
/proc/meminfo: memFree=31383060/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=143184 memory=119692 CPUtime=25.49 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 63180 0 0 0 2543 6 0 0 20 0 1 0 411712253 146620416 29923 33554432000 4194304 6210612 140724906905920 140724906903576 5440971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 35796 29923 859 493 0 29101 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 143184 KiB
Current children cumulated memory: 119692 KiB

[startup+51.1092 s]
/proc/loadavg: 1.77 1.41 1.67 3/199 23900
/proc/meminfo: memFree=31374344/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=144240 memory=120756 CPUtime=51.1 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 68979 0 0 0 5103 7 0 0 20 0 1 0 411712253 147701760 30189 33554432000 4194304 6210612 140724906905920 140724906903576 5389985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 36060 30189 859 493 0 29365 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 144240 KiB
Current children cumulated memory: 120756 KiB

[startup+102.3 s]
/proc/loadavg: 1.90 1.51 1.68 3/199 23904
/proc/meminfo: memFree=31353524/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=153480 memory=129968 CPUtime=102.29 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 79789 0 0 0 10222 7 0 0 20 0 1 0 411712253 157163520 32492 33554432000 4194304 6210612 140724906905920 140724906903576 5454008 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 38370 32492 859 493 0 31675 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 153480 KiB
Current children cumulated memory: 129968 KiB

[startup+162.3 s]
/proc/loadavg: 1.96 1.60 1.70 3/199 23908
/proc/meminfo: memFree=31350804/32770624 swapFree=66918080/67108860
[pid=23832] ppid=23829 vsize=156780 memory=133188 CPUtime=162.3 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 81326 0 0 0 16223 7 0 0 20 0 1 0 411712253 160542720 33297 33554432000 4194304 6210612 140724906905920 140724906903576 5446119 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 39195 33297 859 493 0 32500 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 156780 KiB
Current children cumulated memory: 133188 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.67 1.72 3/199 23915
/proc/meminfo: memFree=31349152/32770624 swapFree=66918084/67108860
[pid=23832] ppid=23829 vsize=157836 memory=134248 CPUtime=222.3 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 82754 0 0 0 22223 7 0 0 20 0 1 0 411712253 161624064 33562 33554432000 4194304 6210612 140724906905920 140724906903576 5389830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 39459 33562 859 493 0 32764 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 134248 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.73 1.74 3/199 23919
/proc/meminfo: memFree=31347816/32770624 swapFree=66918084/67108860
[pid=23832] ppid=23829 vsize=158760 memory=135340 CPUtime=282.32 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 83070 0 0 0 28224 8 0 0 20 0 1 0 411712253 162570240 33835 33554432000 4194304 6210612 140724906905920 140724906903880 140469009333135 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 39690 33835 859 493 0 32995 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 158760 KiB
Current children cumulated memory: 135340 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.78 1.76 3/201 23932
/proc/meminfo: memFree=31347464/32770624 swapFree=66918096/67108860
[pid=23832] ppid=23829 vsize=159420 memory=135880 CPUtime=342.32 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 84753 0 0 0 34224 8 0 0 20 0 1 0 411712253 163246080 33970 33554432000 4194304 6210612 140724906905920 140724906903576 5451466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 39855 33970 859 493 0 33160 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 135880 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.82 1.77 3/202 23961
/proc/meminfo: memFree=31346984/32770624 swapFree=66918104/67108860
[pid=23832] ppid=23829 vsize=159684 memory=136036 CPUtime=402.33 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 84814 0 0 0 40225 8 0 0 20 0 1 0 411712253 163516416 34009 33554432000 4194304 6210612 140724906905920 140724906903576 5446462 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 39921 34009 859 493 0 33226 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 159684 KiB
Current children cumulated memory: 136036 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.85 1.78 3/202 23965
/proc/meminfo: memFree=31345932/32770624 swapFree=66918104/67108860
[pid=23832] ppid=23829 vsize=159816 memory=136316 CPUtime=462.34 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 85253 0 0 0 46226 8 0 0 20 0 1 0 411712253 163651584 34079 33554432000 4194304 6210612 140724906905920 140724906903576 5451458 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 39954 34079 859 493 0 33259 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 159816 KiB
Current children cumulated memory: 136316 KiB


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

/proc/23832/statm: 40350 34481 859 493 0 33655 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137924 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 1.97 3/199 24090
/proc/meminfo: memFree=31342876/32770624 swapFree=66918132/67108860
[pid=23832] ppid=23829 vsize=161400 memory=137932 CPUtime=1842.51 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 90583 0 0 0 184243 8 0 0 20 0 1 0 411712253 165273600 34483 33554432000 4194304 6210612 140724906905920 140724906903880 5440545 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 40350 34483 859 493 0 33655 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137932 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/200 24095
/proc/meminfo: memFree=31338592/32770624 swapFree=66918132/67108860
[pid=23832] ppid=23829 vsize=166020 memory=142516 CPUtime=1902.52 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 92053 0 0 0 190244 8 0 0 20 0 1 0 411712253 170004480 35629 33554432000 4194304 6210612 140724906905920 140724906903576 5439450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 41505 35629 859 493 0 34810 0
Current children cumulated CPU time: 1902.52 s
Current children cumulated vsize: 166020 KiB
Current children cumulated memory: 142516 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/200 24099
/proc/meminfo: memFree=31338516/32770624 swapFree=66918132/67108860
[pid=23832] ppid=23829 vsize=166284 memory=142780 CPUtime=1962.52 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 92103 0 0 0 196244 8 0 0 20 0 1 0 411712253 170274816 35695 33554432000 4194304 6210612 140724906905920 140724906903576 5476703 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 41571 35695 859 493 0 34876 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 166284 KiB
Current children cumulated memory: 142780 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/200 24106
/proc/meminfo: memFree=31338640/32770624 swapFree=66918132/67108860
[pid=23832] ppid=23829 vsize=166284 memory=142912 CPUtime=2022.53 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 93231 0 0 0 202245 8 0 0 20 0 1 0 411712253 170274816 35728 33554432000 4194304 6210612 140724906905920 140724906903576 5440666 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 41571 35728 859 493 0 34876 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 166284 KiB
Current children cumulated memory: 142912 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24110
/proc/meminfo: memFree=31338112/32770624 swapFree=66918132/67108860
[pid=23832] ppid=23829 vsize=166680 memory=143128 CPUtime=2082.54 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 93305 0 0 0 208246 8 0 0 20 0 1 0 411712253 170680320 35782 33554432000 4194304 6210612 140724906905920 140724906903576 5478196 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 41670 35782 859 493 0 34975 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 166680 KiB
Current children cumulated memory: 143128 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/201 24122
/proc/meminfo: memFree=31335812/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=168132 memory=144544 CPUtime=2142.55 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 95123 0 0 0 214247 8 0 0 20 0 1 0 411712253 172167168 36136 33554432000 4194304 6210612 140724906905920 140724906903576 5442890 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 42033 36136 859 493 0 35338 0
Current children cumulated CPU time: 2142.55 s
Current children cumulated vsize: 168132 KiB
Current children cumulated memory: 144544 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24128
/proc/meminfo: memFree=31335436/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=168264 memory=144544 CPUtime=2202.55 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 95131 0 0 0 220247 8 0 0 20 0 1 0 411712253 172302336 36136 33554432000 4194304 6210612 140724906905920 140724906903576 5440943 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 42066 36136 859 493 0 35371 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 168264 KiB
Current children cumulated memory: 144544 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24132
/proc/meminfo: memFree=31335900/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=169980 memory=146448 CPUtime=2262.56 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 95941 0 0 0 226248 8 0 0 20 0 1 0 411712253 174059520 36612 33554432000 4194304 6210612 140724906905920 140724906903576 5072495 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 42495 36612 859 493 0 35800 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 169980 KiB
Current children cumulated memory: 146448 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24137
/proc/meminfo: memFree=31334904/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=170112 memory=146712 CPUtime=2322.58 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 96000 0 0 0 232249 9 0 0 20 0 1 0 411712253 174194688 36678 33554432000 4194304 6210612 140724906905920 140724906903576 5164208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 42528 36678 859 493 0 35833 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 170112 KiB
Current children cumulated memory: 146712 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 24143
/proc/meminfo: memFree=31333916/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=170508 memory=147056 CPUtime=2382.58 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 96725 0 0 0 238249 9 0 0 20 0 1 0 411712253 174600192 36764 33554432000 4194304 6210612 140724906905920 140724906903576 5065636 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 42627 36764 859 493 0 35932 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 170508 KiB
Current children cumulated memory: 147056 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24147
/proc/meminfo: memFree=31332972/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=170640 memory=147056 CPUtime=2442.59 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 96772 0 0 0 244250 9 0 0 20 0 1 0 411712253 174735360 36764 33554432000 4194304 6210612 140724906905920 140724906903576 5440982 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 42660 36764 859 493 0 35965 0
Current children cumulated CPU time: 2442.59 s
Current children cumulated vsize: 170640 KiB
Current children cumulated memory: 147056 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24151
/proc/meminfo: memFree=31329692/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=174600 memory=151060 CPUtime=2502.6 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 98389 0 0 0 250251 9 0 0 20 0 1 0 411712253 178790400 37765 33554432000 4194304 6210612 140724906905920 140724906903576 5451340 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 43650 37765 859 493 0 36955 0
Current children cumulated CPU time: 2502.6 s
Current children cumulated vsize: 174600 KiB
Current children cumulated memory: 151060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24153
/proc/meminfo: memFree=31329272/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=175260 memory=151588 CPUtime=2520 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 98557 0 0 0 251991 9 0 0 20 0 1 0 411712253 179466240 37897 33554432000 4194304 6210612 140724906905920 140724906903576 140469000314286 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 43815 37897 859 493 0 37120 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 175260 KiB
Current children cumulated memory: 151588 KiB

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

[startup+2519.7 s]
# the end of solver process 23832 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.91 s, system=0.093011 s

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

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 24153
/proc/meminfo: memFree=31329272/32770624 swapFree=66918148/67108860
[pid=23832] ppid=23829 vsize=175260 memory=151588 CPUtime=2520 cores=1,3,5,7
/proc/23832/stat : 23832 (cosoco) R 23829 23832 21964 0 -1 4202496 98557 0 0 0 251991 9 0 0 20 0 1 0 411712253 179466240 37897 33554432000 4194304 6210612 140724906905920 140724906903576 140469000314286 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 26382336 140724906914827 140724906914929 140724906914929 140724906917838 0
/proc/23832/statm: 43815 37897 859 493 0 37120 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 175260 KiB
Current children cumulated memory: 151588 KiB

Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.01
CPU user time (s): 2519.91
CPU system time (s): 0.093011
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 175260
Max. memory (cumulated for all children) (KiB): 151588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.093011
maximum resident set size= 151888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98597
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= 23
involuntary context switches= 968


# summary of solver processes directly reported to runsolver:
#   pid: 23832
#   total CPU time (s): 2520.01
#   total CPU user time (s): 2519.91
#   total CPU system time (s): 0.093011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.049 second user time and 16.4509 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-13 08:55:02
IDJOB=4389463
IDBENCH=138439
IDSOLVER=2829
FILE ID=node141/4389463-1568357743
RUNJOBID= node141-1568357660-23542
PBS_JOBID= 21701171
Free space on /tmp= 56108 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-21.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389463-1568357743/watcher-4389463-1568357743 -o /tmp/evaluation-result-4389463-1568357743/solver-4389463-1568357743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23542 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389463-1568357743.xml

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

MD5SUM BENCH= ab3cfdf6220e1af184bc3e02e1fbde1d
RANDOM SEED=1014234555

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31611220 kB
MemAvailable:   31842248 kB
Buffers:          139284 kB
Cached:           379436 kB
SwapCached:        81380 kB
Active:           236160 kB
Inactive:         371088 kB
Active(anon):      12776 kB
Inactive(anon):   106240 kB
Active(file):     223384 kB
Inactive(file):   264848 kB
Unevictable:      109200 kB
Mlocked:          109200 kB
SwapTotal:      67108860 kB
SwapFree:       66918080 kB
Dirty:              2160 kB
Writeback:           776 kB
AnonPages:        116496 kB
Mapped:            36148 kB
Shmem:             22128 kB
Slab:             147396 kB
SReclaimable:     117260 kB
SUnreclaim:        30136 kB
KernelStack:        3568 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     531120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 56104 MiB
End job on node141 at 2019-09-13 09:37:02