Trace number 4396801

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.8 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-08.xml
MD5SUM79bafde88fa7f495a04ad4879b5697b3
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 benchmark257.025
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1123
Maximum domain size1221
Distribution of domain sizes[{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

3.58/3.63	c root propagations     : 319256      
3.58/3.63	c restarts enabled, print stats at every restarts
3.58/3.63	c
3.58/3.63	c
3.58/3.63	c
3.58/3.63	c This is cosoco 2.00 --  
3.58/3.63	c
3.58/3.63	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396801-1568593076.xml 
3.58/3.63	c ========================================[ Problem Statistics ]===========================================
3.58/3.63	c |                                                                                                       
3.58/3.63	c |  Parse time        :         3.48 s 
3.58/3.63	c |
3.58/3.63	c |               Variables: 450
3.58/3.63	c |            Domain Sizes: 1123..1221
3.58/3.63	c |
3.58/3.63	c |             Constraints: 5580
3.58/3.63	c |                   Arity: 2..2  -- Binary: 5580
3.58/3.63	c | 
3.58/3.63	c |                   Types: 
3.58/3.63	c |                          (X != Y): 225
3.58/3.63	c |                          (X -Y <= k): 630
3.58/3.63	c |                          Intension: 4725
3.58/3.63	c |                          
3.58/3.63	c =========================================================================================================
3.58/3.63	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.88/9.90	c 101            142            117229         942005         450            0              10   40   38   
31.19/31.20	c 211            282            409612         2752344        450            0              1   23   20    
47.00/47.04	c 332            559            755377         3259324        450            0              1   22   5     
88.18/88.29	c 465            783            1368520        5631405        450            0              12   35   29   
109.88/109.92	c 611            1125           1903857        6459564        450            0              1   45   26    
140.47/140.54	c 771            1380           2430768        9173867        450            0              8   38   32    
166.57/166.62	c 947            1713           2928758        11487170       450            0              1   26   17    
191.17/191.28	c 1140           2334           3510067        11764903       450            0              2   21   9     
223.26/223.31	c 1352           2630           3942281        13610671       450            0              1   61   49    
258.66/258.71	c 1585           2936           4268609        16564799       450            0              16   55   52   
287.45/287.59	c 1841           3335           4694015        18137290       450            0              1   91   75    
311.15/311.24	c 2122           3859           5306794        20851827       450            0              3   30   26    
346.84/346.98	c 2431           4212           5865345        24286310       450            0              4   37   35    
372.75/372.82	c 2770           4611           6139409        26347570       450            0              1   36   33    
444.14/444.26	c 3142           5039           6775596        31541330       450            0              1   47   44    
589.72/589.82	c 3551           5500           7900657        41939698       450            0              20   28   27   
618.32/618.42	c 4000           6263           8528189        44029643       450            0              3   31   26    
777.21/777.33	c 4493           6849           10420842       57994220       450            0              3   40   32    
827.11/827.27	c 5035           7411           10708111       62817002       450            0              3   15   14    
938.50/938.69	c 5631           8076           12987252       72889980       450            0              2   35   34    
996.49/996.69	c 6286           8759           13300576       78504611       450            0              3   10   8     
1085.49/1085.68	c 7006           9545           14741836       86751375       450            0              2   36   34    
1263.38/1263.55	c 7798           10974          19736639       92298901       450            0              4   13   8     
1409.87/1410.05	c 8669           11925          21744742       105078905      450            0              2   39   38    
1659.45/1659.69	c 9627           13430          24130265       123403668      450            0              16   38   35   
1790.44/1790.70	c 10680          15266          27059455       133616163      450            0              1   13   7     
1904.33/1904.56	c 11838          16450          27620682       144429113      450            0              3   9   8      
2052.42/2052.60	c 13111          17925          29799131       159495204      450            0              3   36   34    
2163.61/2163.81	c 14511          19620          31812724       166677173      450            0              1   47   43    
2238.20/2238.40	c 16051          21434          33032576       173352660      450            0              2   52   50    
2472.79/2473.07	c 17745          23281          35324948       189822739      450            0              17   54   53   
2519.79/2520.01	
2519.79/2520.01	c *** INTERRUPTED ***
2519.79/2520.01	c restarts              : 31          
2519.79/2520.01	c conflicts             : 17864        (7 /sec)
2519.79/2520.01	c decisions             : 23604        (9 /sec)
2519.79/2520.01	c propagations          : 193337302   (76738 /sec)
2519.79/2520.01	c root propagations     : 319256      
2519.79/2520.01	c filter calls          : 35925494       (14259 /sec)
2519.79/2520.01	c useless filter calls  : 32648225       (90 %)
2519.79/2520.01	c Memory used           : 422.64 MB
2519.79/2520.01	c CPU time              : 2519.46 s
2519.79/2520.01	c real time             : 2520.01 s
2519.79/2520.01	
2519.79/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 (14744 MiB free)
  memory of node 1: 16384 MiB (14970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396801-1568593076/watcher-4396801-1568593076 -o /tmp/evaluation-result-4396801-1568593076/solver-4396801-1568593076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13814 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396801-1568593076.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
Current StackSize limit: 8192 KiB

solver pid=17481, runsolver pid=17478

[startup+0.100155 s]*
/proc/loadavg: 1.99 2.00 2.04 3/200 17482
/proc/meminfo: memFree=30422904/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=32440 memory=8520 CPUtime=0.1 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 2318 0 0 0 10 0 0 0 20 0 1 0 435554933 33218560 2130 33554432000 4194304 6211092 140729576524832 140729576521368 140184727825394 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 8110 2130 798 493 0 1415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32440 KiB
Current children cumulated memory: 8520 KiB

[startup+0.209667 s]*
/proc/loadavg: 1.99 2.00 2.04 3/200 17482
/proc/meminfo: memFree=30422160/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=33436 memory=9596 CPUtime=0.21 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 2583 0 0 0 21 0 0 0 20 0 1 0 435554933 34238464 2399 33554432000 4194304 6211092 140729576524832 140729576521368 140184711777253 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 8359 2399 816 493 0 1664 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33436 KiB
Current children cumulated memory: 9596 KiB

[startup+0.30896 s]*
/proc/loadavg: 1.99 2.00 2.04 3/200 17482
/proc/meminfo: memFree=30413976/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=42224 memory=18388 CPUtime=0.3 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 4766 0 0 0 30 0 0 0 20 0 1 0 435554933 43237376 4597 33554432000 4194304 6211092 140729576524832 140729576521368 140184711777253 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 10556 4597 816 493 0 3861 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42224 KiB
Current children cumulated memory: 18388 KiB

[startup+0.700346 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 17482
/proc/meminfo: memFree=30396572/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=75796 memory=51972 CPUtime=0.69 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 13165 0 0 0 67 2 0 0 20 0 1 0 435554933 77615104 12993 33554432000 4194304 6211092 140729576524832 140729576519928 140184715255027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 18949 12993 816 493 0 12254 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75796 KiB
Current children cumulated memory: 51972 KiB

[startup+1.50035 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 17482
/proc/meminfo: memFree=30353048/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=146256 memory=122432 CPUtime=1.49 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 30793 0 0 0 144 5 0 0 20 0 1 0 435554933 149766144 30608 33554432000 4194304 6211092 140729576524832 140729576514808 140184715272320 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 36564 30608 816 493 0 29869 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 146256 KiB
Current children cumulated memory: 122432 KiB

[startup+3.10948 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 17482
/proc/meminfo: memFree=30176724/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=287504 memory=263668 CPUtime=3.1 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 66586 0 0 0 299 11 0 0 20 0 1 0 435554933 294404096 65917 33554432000 4194304 6211092 140729576524832 140729576519928 140184711777253 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 71876 65917 816 493 0 65181 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 287504 KiB
Current children cumulated memory: 263668 KiB

[startup+6.30029 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 17483
/proc/meminfo: memFree=30121480/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=333248 memory=309768 CPUtime=6.29 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 100495 0 0 0 615 14 0 0 20 0 1 0 435554933 341245952 77442 33554432000 4194304 6211092 140729576524832 140729576522488 5440817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 83312 77442 860 493 0 76617 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 333248 KiB
Current children cumulated memory: 309768 KiB

[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 17483
/proc/meminfo: memFree=30113452/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=341168 memory=317692 CPUtime=12.69 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 126729 0 0 0 1253 16 0 0 20 0 1 0 435554933 349356032 79423 33554432000 4194304 6211092 140729576524832 140729576522488 5446226 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 85292 79423 862 493 0 78597 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 341168 KiB
Current children cumulated memory: 317692 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.05 3/201 17485
/proc/meminfo: memFree=30107208/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=348164 memory=324668 CPUtime=25.48 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 157833 0 0 0 2531 17 0 0 20 0 1 0 435554933 356519936 81167 33554432000 4194304 6211092 140729576524832 140729576522488 5480250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 87041 81167 862 493 0 80346 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 348164 KiB
Current children cumulated memory: 324668 KiB

[startup+51.1096 s]
/proc/loadavg: 2.05 2.02 2.05 3/200 17485
/proc/meminfo: memFree=30096188/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=358592 memory=335216 CPUtime=51.09 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 205033 0 0 0 5089 20 0 0 20 0 1 0 435554933 367198208 83804 33554432000 4194304 6211092 140729576524832 140729576522488 5453912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 89648 83804 862 493 0 82953 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 358592 KiB
Current children cumulated memory: 335216 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 17489
/proc/meminfo: memFree=30080916/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=373640 memory=349996 CPUtime=102.27 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 259825 0 0 0 10204 23 0 0 20 0 1 0 435554933 382607360 87499 33554432000 4194304 6211092 140729576524832 140729576522488 140184712703411 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 93410 87499 862 493 0 86715 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 373640 KiB
Current children cumulated memory: 349996 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 17495
/proc/meminfo: memFree=30059240/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=395024 memory=371544 CPUtime=162.27 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 306392 0 0 0 16201 26 0 0 20 0 1 0 435554933 404504576 92886 33554432000 4194304 6211092 140729576524832 140729576522488 5439794 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 98756 92886 862 493 0 92061 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 395024 KiB
Current children cumulated memory: 371544 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17507
/proc/meminfo: memFree=30055944/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=398192 memory=374724 CPUtime=222.26 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 336074 0 0 0 22198 28 0 0 20 0 1 0 435554933 407748608 93681 33554432000 4194304 6211092 140729576524832 140729576522488 140184721722250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 99548 93681 862 493 0 92853 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 398192 KiB
Current children cumulated memory: 374724 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17511
/proc/meminfo: memFree=30047996/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=405980 memory=382460 CPUtime=282.25 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 353915 0 0 0 28196 29 0 0 20 0 1 0 435554933 415723520 95615 33554432000 4194304 6211092 140729576524832 140729576522488 5164996 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 101495 95615 862 493 0 94800 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 405980 KiB
Current children cumulated memory: 382460 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17517
/proc/meminfo: memFree=30044408/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=409412 memory=385720 CPUtime=342.24 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 355317 0 0 0 34195 29 0 0 20 0 1 0 435554933 419237888 96430 33554432000 4194304 6211092 140729576524832 140729576522488 5446260 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 102353 96430 862 493 0 95658 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 409412 KiB
Current children cumulated memory: 385720 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17521
/proc/meminfo: memFree=30039560/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=414032 memory=390508 CPUtime=402.24 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 357488 0 0 0 40194 30 0 0 20 0 1 0 435554933 423968768 97627 33554432000 4194304 6211092 140729576524832 140729576522488 4982096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 103508 97627 862 493 0 96813 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 414032 KiB
Current children cumulated memory: 390508 KiB

[startup+462.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 17586
/proc/meminfo: memFree=30059808/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=416012 memory=392524 CPUtime=462.24 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 359441 0 0 0 46194 30 0 0 20 0 1 0 435554933 425996288 98131 33554432000 4194304 6211092 140729576524832 140729576522488 5446260 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 104003 98131 862 493 0 97308 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 416012 KiB
Current children cumulated memory: 392524 KiB


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

/proc/17481/statm: 106973 101105 862 493 0 100278 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 427892 KiB
Current children cumulated memory: 404420 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17708
/proc/meminfo: memFree=30044424/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=428024 memory=404520 CPUtime=1782.14 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 380251 0 0 0 178181 33 0 0 20 0 1 0 435554933 438296576 101130 33554432000 4194304 6211092 140729576524832 140729576522488 5446625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107006 101130 862 493 0 100311 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404520 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17712
/proc/meminfo: memFree=30044168/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=428024 memory=404628 CPUtime=1842.13 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 380747 0 0 0 184180 33 0 0 20 0 1 0 435554933 438296576 101157 33554432000 4194304 6211092 140729576524832 140729576522792 5452223 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107006 101157 862 493 0 100311 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404628 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17716
/proc/meminfo: memFree=30044296/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=428024 memory=404628 CPUtime=1902.13 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 381196 0 0 0 190180 33 0 0 20 0 1 0 435554933 438296576 101157 33554432000 4194304 6211092 140729576524832 140729576522792 5442964 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107006 101157 862 493 0 100311 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404628 KiB

[startup+1962.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/199 17722
/proc/meminfo: memFree=30044192/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=428156 memory=404668 CPUtime=1962.12 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 381701 0 0 0 196179 33 0 0 20 0 1 0 435554933 438431744 101167 33554432000 4194304 6211092 140729576524832 140729576522488 5451434 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107039 101167 862 493 0 100344 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404668 KiB

[startup+2022.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 17734
/proc/meminfo: memFree=30043308/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=428156 memory=404708 CPUtime=2022.12 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 382137 0 0 0 202179 33 0 0 20 0 1 0 435554933 438431744 101177 33554432000 4194304 6211092 140729576524832 140729576522488 5441131 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107039 101177 862 493 0 100344 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404708 KiB

[startup+2082.3 s]
/proc/loadavg: 2.47 2.15 2.09 3/200 17738
/proc/meminfo: memFree=30043412/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=428948 memory=405508 CPUtime=2082.11 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 382933 0 0 0 208178 33 0 0 20 0 1 0 435554933 439242752 101377 33554432000 4194304 6211092 140729576524832 140729576522488 5476863 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107237 101377 862 493 0 100542 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 428948 KiB
Current children cumulated memory: 405508 KiB

[startup+2142.3 s]
/proc/loadavg: 2.17 2.12 2.08 3/200 17744
/proc/meminfo: memFree=30042956/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=429212 memory=405804 CPUtime=2142.11 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 383656 0 0 0 214178 33 0 0 20 0 1 0 435554933 439513088 101451 33554432000 4194304 6211092 140729576524832 140729576522488 5480268 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107303 101451 862 493 0 100608 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 429212 KiB
Current children cumulated memory: 405804 KiB

[startup+2202.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/200 17748
/proc/meminfo: memFree=30041812/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=429872 memory=406492 CPUtime=2202.1 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 384494 0 0 0 220177 33 0 0 20 0 1 0 435554933 440188928 101623 33554432000 4194304 6211092 140729576524832 140729576522488 140184712703406 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107468 101623 862 493 0 100773 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 429872 KiB
Current children cumulated memory: 406492 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/200 17752
/proc/meminfo: memFree=30041120/32770624 swapFree=66927296/67108860
[pid=17481] ppid=17478 vsize=431192 memory=407756 CPUtime=2262.1 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 385583 0 0 0 226177 33 0 0 20 0 1 0 435554933 441540608 101939 33554432000 4194304 6211092 140729576524832 140729576522488 5068998 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107798 101939 862 493 0 101103 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 431192 KiB
Current children cumulated memory: 407756 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/199 17759
/proc/meminfo: memFree=30040672/32770624 swapFree=66927300/67108860
[pid=17481] ppid=17478 vsize=431324 memory=407880 CPUtime=2322.09 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 386652 0 0 0 232176 33 0 0 20 0 1 0 435554933 441675776 101970 33554432000 4194304 6211092 140729576524832 140729576522488 5478352 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107831 101970 862 493 0 101136 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 431324 KiB
Current children cumulated memory: 407880 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/199 17763
/proc/meminfo: memFree=30040860/32770624 swapFree=66927300/67108860
[pid=17481] ppid=17478 vsize=431324 memory=407884 CPUtime=2382.09 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 387522 0 0 0 238176 33 0 0 20 0 1 0 435554933 441675776 101971 33554432000 4194304 6211092 140729576524832 140729576522488 5476816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107831 101971 862 493 0 101136 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 431324 KiB
Current children cumulated memory: 407884 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/199 17767
/proc/meminfo: memFree=30041436/32770624 swapFree=66927300/67108860
[pid=17481] ppid=17478 vsize=431324 memory=407912 CPUtime=2442.08 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 388400 0 0 0 244175 33 0 0 20 0 1 0 435554933 441675776 101978 33554432000 4194304 6211092 140729576524832 140729576522488 5452207 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 107831 101978 862 493 0 101136 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 431324 KiB
Current children cumulated memory: 407912 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 17774
/proc/meminfo: memFree=30039636/32770624 swapFree=66927300/67108860
[pid=17481] ppid=17478 vsize=432776 memory=409312 CPUtime=2502.09 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 389671 0 0 0 250175 34 0 0 20 0 1 0 435554933 443162624 102328 33554432000 4194304 6211092 140729576524832 140729576522488 5451482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 108194 102328 862 493 0 101499 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 432776 KiB
Current children cumulated memory: 409312 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/199 17774
/proc/meminfo: memFree=30039096/32770624 swapFree=66927300/67108860
[pid=17481] ppid=17478 vsize=432776 memory=409324 CPUtime=2519.79 cores=1,3,5,7
/proc/17481/stat : 17481 (cosoco) R 17478 17481 13782 0 -1 4202496 390019 0 0 0 251945 34 0 0 20 0 1 0 435554933 443162624 102331 33554432000 4194304 6211092 140729576524832 140729576522488 5442967 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38830080 140729576530955 140729576531057 140729576531057 140729576533966 0
/proc/17481/statm: 108194 102331 862 493 0 101499 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 432776 KiB
Current children cumulated memory: 409324 KiB

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

[startup+2520.01 s]
# the end of solver process 17481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.46 s, system=0.343972 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.8
CPU user time (s): 2519.46
CPU system time (s): 0.343972
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 432776
Max. memory (cumulated for all children) (KiB): 409324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.343972
maximum resident set size= 409392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390064
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= 33
involuntary context switches= 1381


# summary of solver processes directly reported to runsolver:
#   pid: 17481
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2519.46
#   total CPU system time (s): 0.343972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.77781 second user time and 17.8459 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-16 02:17:14
IDJOB=4396801
IDBENCH=138477
IDSOLVER=2848
FILE ID=node137/4396801-1568593076
RUNJOBID= node137-1568572741-13814
PBS_JOBID= 21703317
Free space on /tmp= 61416 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-08.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396801-1568593076/watcher-4396801-1568593076 -o /tmp/evaluation-result-4396801-1568593076/solver-4396801-1568593076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13814 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396801-1568593076.xml

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

MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3
RANDOM SEED=501650828

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        30428756 kB
MemAvailable:   31785580 kB
Buffers:          129388 kB
Cached:          1514224 kB
SwapCached:        77512 kB
Active:          1471144 kB
Inactive:         278072 kB
Active(anon):      30220 kB
Inactive(anon):   124916 kB
Active(file):    1440924 kB
Inactive(file):   153156 kB
Unevictable:      109916 kB
Mlocked:          109916 kB
SwapTotal:      67108860 kB
SwapFree:       66927296 kB
Dirty:              2768 kB
Writeback:             4 kB
AnonPages:        139712 kB
Mapped:            49056 kB
Shmem:             41000 kB
Slab:             186316 kB
SReclaimable:     157160 kB
SUnreclaim:        29156 kB
KernelStack:        3488 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     561480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61416 MiB
End job on node137 at 2019-09-16 02:59:14