Trace number 4408061

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) 2520.04 2519.8

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.59/3.66	c root propagations     : 319256      
3.59/3.66	c restarts enabled, print stats at every restarts
3.59/3.66	c
3.59/3.66	c
3.59/3.66	c
3.59/3.66	c This is cosoco 2.00 --  
3.59/3.66	c
3.59/3.66	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408061-1569808936.xml 
3.59/3.66	c ========================================[ Problem Statistics ]===========================================
3.59/3.66	c |                                                                                                       
3.59/3.66	c |  Parse time        :         3.52 s 
3.59/3.66	c |
3.59/3.66	c |               Variables: 450
3.59/3.66	c |            Domain Sizes: 1123..1221
3.59/3.66	c |
3.59/3.66	c |             Constraints: 5580
3.59/3.66	c |                   Arity: 2..2  -- Binary: 5580
3.59/3.66	c | 
3.59/3.66	c |                   Types: 
3.59/3.66	c |                          (X != Y): 225
3.59/3.66	c |                          (X -Y <= k): 630
3.59/3.66	c |                          Intension: 4725
3.59/3.66	c |                          
3.59/3.66	c =========================================================================================================
3.59/3.66	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.90/9.98	c 101            142            117229         942005         450            0              10   40   38   
31.39/31.46	c 211            282            409612         2752344        450            0              1   23   20    
47.29/47.39	c 332            559            755377         3259324        450            0              1   22   5     
88.90/88.98	c 465            783            1368520        5631405        450            0              12   35   29   
110.69/110.77	c 611            1125           1903857        6459564        450            0              1   45   26    
141.69/141.71	c 771            1380           2430768        9173867        450            0              8   38   32    
167.89/167.98	c 947            1713           2928758        11487170       450            0              1   26   17    
192.80/192.82	c 1140           2334           3510067        11764903       450            0              2   21   9     
225.20/225.20	c 1352           2630           3942281        13610671       450            0              1   61   49    
260.90/260.91	c 1585           2936           4268609        16564799       450            0              16   55   52   
289.90/289.94	c 1841           3335           4694015        18137290       450            0              1   91   75    
313.80/313.80	c 2122           3859           5306794        20851827       450            0              3   30   26    
349.80/349.89	c 2431           4212           5865345        24286310       450            0              4   37   35    
376.01/376.05	c 2770           4611           6139409        26347570       450            0              1   36   33    
448.42/448.41	c 3142           5039           6775596        31541330       450            0              1   47   44    
595.33/595.33	c 3551           5500           7900657        41939698       450            0              20   28   27   
624.14/624.11	c 4000           6263           8528189        44029643       450            0              3   31   26    
784.65/784.69	c 4493           6849           10420842       57994220       450            0              3   40   32    
835.16/835.15	c 5035           7411           10708111       62817002       450            0              3   15   14    
947.66/947.66	c 5631           8076           12987252       72889980       450            0              2   35   34    
1006.27/1006.22	c 6286           8759           13300576       78504611       450            0              3   10   8     
1095.88/1095.87	c 7006           9545           14741836       86751375       450            0              2   36   34    
1275.69/1275.66	c 7798           10974          19736639       92298901       450            0              4   13   8     
1423.41/1423.31	c 8669           11925          21744742       105078905      450            0              2   39   38    
1675.94/1675.83	c 9627           13430          24130265       123403668      450            0              16   38   35   
1808.05/1807.98	c 10680          15266          27059455       133616163      450            0              1   13   7     
1922.96/1922.83	c 11838          16450          27620682       144429113      450            0              3   9   8      
2072.08/2071.97	c 13111          17925          29799131       159495204      450            0              3   36   34    
2184.30/2184.18	c 14511          19620          31812724       166677173      450            0              1   47   43    
2259.69/2259.52	c 16051          21434          33032576       173352660      450            0              2   52   50    
2496.82/2496.69	c 17745          23281          35324948       189822739      450            0              17   54   53   
2520.02/2519.80	
2520.02/2519.80	c *** INTERRUPTED ***
2520.02/2519.80	c restarts              : 31          
2520.02/2519.80	c conflicts             : 17806        (7 /sec)
2520.02/2519.80	c decisions             : 23429        (9 /sec)
2520.02/2519.80	c propagations          : 191659792   (76063 /sec)
2520.02/2519.80	c root propagations     : 319256      
2520.02/2519.80	c filter calls          : 35648250       (14148 /sec)
2520.02/2519.80	c useless filter calls  : 32396386       (90 %)
2520.02/2519.80	c Memory used           : 422.64 MB
2520.02/2519.80	c CPU time              : 2519.74 s
2520.02/2519.80	c real time             : 2519.8 s
2520.02/2519.80	
2520.02/2519.80	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 (15110 MiB free)
  memory of node 1: 16384 MiB (15547 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408061-1569808936/watcher-4408061-1569808936 -o /tmp/evaluation-result-4408061-1569808936/solver-4408061-1569808936 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31155 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408061-1569808936.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=2429, runsolver pid=2426

[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 2430
/proc/meminfo: memFree=31388260/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=32440 memory=8524 CPUtime=0.1 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 2317 0 0 0 10 0 0 0 20 0 1 0 557142103 33218560 2131 33554432000 4194304 6211132 140737401072112 140737401068648 140588168162156 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 8110 2131 798 493 0 1415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32440 KiB
Current children cumulated memory: 8524 KiB

[startup+0.209859 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 2430
/proc/meminfo: memFree=31387516/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=33300 memory=9336 CPUtime=0.21 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 2552 0 0 0 21 0 0 0 20 0 1 0 557142103 34099200 2334 33554432000 4194304 6211132 140737401072112 140737401068648 140588158217189 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 8325 2334 805 493 0 1630 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33300 KiB
Current children cumulated memory: 9336 KiB

[startup+0.309113 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 2430
/proc/meminfo: memFree=31379332/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=41940 memory=18128 CPUtime=0.3 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 4719 0 0 0 30 0 0 0 20 0 1 0 557142103 42946560 4532 33554432000 4194304 6211132 140737401072112 140737401068648 5071149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 10485 4532 816 493 0 3790 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41940 KiB
Current children cumulated memory: 18128 KiB

[startup+0.700342 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 2430
/proc/meminfo: memFree=31361572/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=75400 memory=51444 CPUtime=0.69 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 13058 0 0 0 67 2 0 0 20 0 1 0 557142103 77209600 12861 33554432000 4194304 6211132 140737401072112 140737401067208 140588158217189 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 18850 12861 816 493 0 12155 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75400 KiB
Current children cumulated memory: 51444 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 2430
/proc/meminfo: memFree=31318808/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=145300 memory=121432 CPUtime=1.49 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 30536 0 0 0 144 5 0 0 20 0 1 0 557142103 148787200 30358 33554432000 4194304 6211132 140737401072112 140737401067208 5071149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 36325 30358 816 493 0 29630 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 145300 KiB
Current children cumulated memory: 121432 KiB

[startup+3.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 2430
/proc/meminfo: memFree=31144464/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=285456 memory=261492 CPUtime=3.1 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 66058 0 0 0 300 10 0 0 20 0 1 0 557142103 292306944 65373 33554432000 4194304 6211132 140737401072112 140737401063752 140588158217189 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 71364 65373 816 493 0 64669 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 285456 KiB
Current children cumulated memory: 261492 KiB

[startup+6.3003 s]
/proc/loadavg: 1.84 1.98 2.03 3/203 2430
/proc/meminfo: memFree=31086920/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=333248 memory=309768 CPUtime=6.29 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 102650 0 0 0 616 13 0 0 20 0 1 0 557142103 341245952 77442 33554432000 4194304 6211132 140737401072112 140737401063752 140588168162112 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/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.86 1.98 2.03 3/202 2430
/proc/meminfo: memFree=31078240/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=341168 memory=317692 CPUtime=12.69 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 128844 0 0 0 1255 14 0 0 20 0 1 0 557142103 349356032 79423 33554432000 4194304 6211132 140737401072112 140737401069768 5164740 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/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: 1.89 1.98 2.03 3/202 2430
/proc/meminfo: memFree=31071460/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=348164 memory=324664 CPUtime=25.49 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 159922 0 0 0 2533 16 0 0 20 0 1 0 557142103 356519936 81166 33554432000 4194304 6211132 140737401072112 140737401069768 5480247 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 87041 81166 862 493 0 80346 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 348164 KiB
Current children cumulated memory: 324664 KiB

[startup+51.1097 s]
/proc/loadavg: 1.93 1.99 2.03 3/202 2433
/proc/meminfo: memFree=31060208/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=358592 memory=335216 CPUtime=51.1 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 206983 0 0 0 5092 18 0 0 20 0 1 0 557142103 367198208 83804 33554432000 4194304 6211132 140737401072112 140737401069768 140588168162132 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 89648 83804 862 493 0 82953 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 358592 KiB
Current children cumulated memory: 335216 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/202 2437
/proc/meminfo: memFree=31047664/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=372320 memory=348808 CPUtime=102.29 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 255810 0 0 0 10208 21 0 0 20 0 1 0 557142103 381255680 87202 33554432000 4194304 6211132 140737401072112 140737401069768 140588168162118 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 93080 87202 862 493 0 86385 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 372320 KiB
Current children cumulated memory: 348808 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/202 2441
/proc/meminfo: memFree=31025440/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=394760 memory=371316 CPUtime=162.3 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 297613 0 0 0 16206 24 0 0 20 0 1 0 557142103 404234240 92829 33554432000 4194304 6211132 140737401072112 140737401069768 5452239 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 98690 92829 862 493 0 91995 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 394760 KiB
Current children cumulated memory: 371316 KiB

[startup+222.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/200 2508
/proc/meminfo: memFree=30693328/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=398060 memory=374632 CPUtime=222.3 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 321631 0 0 0 22205 25 0 0 20 0 1 0 557142103 407613440 93658 33554432000 4194304 6211132 140737401072112 140737401069768 5453928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 99515 93658 862 493 0 92820 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 398060 KiB
Current children cumulated memory: 374632 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/199 2514
/proc/meminfo: memFree=30678420/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=405980 memory=382428 CPUtime=282.3 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 329885 0 0 0 28204 26 0 0 20 0 1 0 557142103 415723520 95607 33554432000 4194304 6211132 140737401072112 140737401069768 5454212 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 101495 95607 862 493 0 94800 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 405980 KiB
Current children cumulated memory: 382428 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 2518
/proc/meminfo: memFree=30666192/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=409280 memory=385888 CPUtime=342.3 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 331654 0 0 0 34204 26 0 0 20 0 1 0 557142103 419102720 96472 33554432000 4194304 6211132 140737401072112 140737401069768 5478456 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 102320 96472 862 493 0 95625 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 409280 KiB
Current children cumulated memory: 385888 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 2522
/proc/meminfo: memFree=30653440/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=414032 memory=390468 CPUtime=402.31 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 333381 0 0 0 40204 27 0 0 20 0 1 0 557142103 423968768 97617 33554432000 4194304 6211132 140737401072112 140737401069768 5443025 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 103508 97617 862 493 0 96813 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 414032 KiB
Current children cumulated memory: 390468 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 2528
/proc/meminfo: memFree=30650396/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=416012 memory=392488 CPUtime=462.32 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 335363 0 0 0 46205 27 0 0 20 0 1 0 557142103 425996288 98122 33554432000 4194304 6211132 140737401072112 140737401069768 5443096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 104003 98122 862 493 0 97308 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 416012 KiB
Current children cumulated memory: 392488 KiB


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

/proc/2429/statm: 106973 101080 862 493 0 100278 0
Current children cumulated CPU time: 1722.45 s
Current children cumulated vsize: 427892 KiB
Current children cumulated memory: 404320 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2656
/proc/meminfo: memFree=30600576/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=427892 memory=404512 CPUtime=1782.45 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 354957 0 0 0 178217 28 0 0 20 0 1 0 557142103 438161408 101128 33554432000 4194304 6211132 140737401072112 140737401069768 5069663 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 106973 101128 862 493 0 100278 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 427892 KiB
Current children cumulated memory: 404512 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2660
/proc/meminfo: memFree=30601012/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=428024 memory=404624 CPUtime=1842.45 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 355521 0 0 0 184217 28 0 0 20 0 1 0 557142103 438296576 101156 33554432000 4194304 6211132 140737401072112 140737401070072 5446292 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107006 101156 862 493 0 100311 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404624 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 2666
/proc/meminfo: memFree=30600176/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=428024 memory=404628 CPUtime=1902.46 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 355625 0 0 0 190218 28 0 0 20 0 1 0 557142103 438296576 101157 33554432000 4194304 6211132 140737401072112 140737401070072 5478441 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107006 101157 862 493 0 100311 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404628 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 2670
/proc/meminfo: memFree=30600388/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=428156 memory=404668 CPUtime=1962.47 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 356171 0 0 0 196219 28 0 0 20 0 1 0 557142103 438431744 101167 33554432000 4194304 6211132 140737401072112 140737401069768 5446944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107039 101167 862 493 0 100344 0
Current children cumulated CPU time: 1962.47 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404668 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 2674
/proc/meminfo: memFree=30600096/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=428156 memory=404688 CPUtime=2022.47 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 356302 0 0 0 202219 28 0 0 20 0 1 0 557142103 438431744 101172 33554432000 4194304 6211132 140737401072112 140737401069768 140588159137699 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107039 101172 862 493 0 100344 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404688 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2680
/proc/meminfo: memFree=30598684/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=428816 memory=405128 CPUtime=2082.48 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 356985 0 0 0 208220 28 0 0 20 0 1 0 557142103 439107584 101282 33554432000 4194304 6211132 140737401072112 140737401069768 5440687 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107204 101282 862 493 0 100509 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 428816 KiB
Current children cumulated memory: 405128 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2684
/proc/meminfo: memFree=30598748/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=429080 memory=405516 CPUtime=2142.48 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 357292 0 0 0 214220 28 0 0 20 0 1 0 557142103 439377920 101379 33554432000 4194304 6211132 140737401072112 140737401069768 5454220 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107270 101379 862 493 0 100575 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 429080 KiB
Current children cumulated memory: 405516 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2688
/proc/meminfo: memFree=30597420/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=429872 memory=406320 CPUtime=2202.49 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 358021 0 0 0 220221 28 0 0 20 0 1 0 557142103 440188928 101580 33554432000 4194304 6211132 140737401072112 140737401069768 5442999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107468 101580 862 493 0 100773 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 429872 KiB
Current children cumulated memory: 406320 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2694
/proc/meminfo: memFree=30597680/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=429872 memory=406492 CPUtime=2262.49 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 358282 0 0 0 226221 28 0 0 20 0 1 0 557142103 440188928 101623 33554432000 4194304 6211132 140737401072112 140737401070072 5478441 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107468 101623 862 493 0 100773 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 429872 KiB
Current children cumulated memory: 406492 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2707
/proc/meminfo: memFree=30596120/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=431324 memory=407880 CPUtime=2322.51 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 359872 0 0 0 232222 29 0 0 20 0 1 0 557142103 441675776 101970 33554432000 4194304 6211132 140737401072112 140737401069768 140588159137680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107831 101970 862 493 0 101136 0
Current children cumulated CPU time: 2322.51 s
Current children cumulated vsize: 431324 KiB
Current children cumulated memory: 407880 KiB

[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/201 2711
/proc/meminfo: memFree=30596304/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=431324 memory=407884 CPUtime=2382.51 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 360358 0 0 0 238222 29 0 0 20 0 1 0 557142103 441675776 101971 33554432000 4194304 6211132 140737401072112 140737401069768 5454215 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107831 101971 862 493 0 101136 0
Current children cumulated CPU time: 2382.51 s
Current children cumulated vsize: 431324 KiB
Current children cumulated memory: 407884 KiB

[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/201 2717
/proc/meminfo: memFree=30596304/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=431324 memory=407888 CPUtime=2442.52 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 361010 0 0 0 244223 29 0 0 20 0 1 0 557142103 441675776 101972 33554432000 4194304 6211132 140737401072112 140737401069768 5451634 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 107831 101972 862 493 0 101136 0
Current children cumulated CPU time: 2442.52 s
Current children cumulated vsize: 431324 KiB
Current children cumulated memory: 407888 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 2721
/proc/meminfo: memFree=30595068/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=432776 memory=409192 CPUtime=2502.52 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 361973 0 0 0 250223 29 0 0 20 0 1 0 557142103 443162624 102298 33554432000 4194304 6211132 140737401072112 140737401069768 4982096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 108194 102298 862 493 0 101499 0
Current children cumulated CPU time: 2502.52 s
Current children cumulated vsize: 432776 KiB
Current children cumulated memory: 409192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/202 2724
/proc/meminfo: memFree=30594780/32770624 swapFree=67002192/67108860
[pid=2429] ppid=2426 vsize=432776 memory=409192 CPUtime=2520.02 cores=1,3,5,7
/proc/2429/stat : 2429 (cosoco) R 2426 2429 31123 0 -1 4202496 361978 0 0 0 251973 29 0 0 20 0 1 0 557142103 443162624 102298 33554432000 4194304 6211132 140737401072112 140737401069768 5446198 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21479424 140737401078795 140737401078897 140737401078897 140737401081806 0
/proc/2429/statm: 108194 102298 862 493 0 101499 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 432776 KiB
Current children cumulated memory: 409192 KiB

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

[startup+2519.8 s]
# the end of solver process 2429 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.74 s, system=0.296029 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.04
CPU user time (s): 2519.74
CPU system time (s): 0.296029
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 432776
Max. memory (cumulated for all children) (KiB): 409192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.74
system time used= 0.296029
maximum resident set size= 409392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362015
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= 44
involuntary context switches= 1330


# summary of solver processes directly reported to runsolver:
#   pid: 2429
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.74
#   total CPU system time (s): 0.296029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.89974 second user time and 18.3363 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-30 04:01:30
IDJOB=4408061
IDBENCH=138477
IDSOLVER=2874
FILE ID=node136/4408061-1569808936
RUNJOBID= node136-1569787347-31155
PBS_JOBID= 21705824
Free space on /tmp= 62028 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-4408061-1569808936/watcher-4408061-1569808936 -o /tmp/evaluation-result-4408061-1569808936/solver-4408061-1569808936 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31155 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408061-1569808936.xml

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

MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3
RANDOM SEED=1687022224

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31392756 kB
MemAvailable:   31843324 kB
Buffers:          101104 kB
Cached:           670876 kB
SwapCached:         3864 kB
Active:           558752 kB
Inactive:         232052 kB
Active(anon):      12860 kB
Inactive(anon):    87688 kB
Active(file):     545892 kB
Inactive(file):   144364 kB
Unevictable:      106792 kB
Mlocked:          106792 kB
SwapTotal:      67108860 kB
SwapFree:       67002192 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        136620 kB
Mapped:            28780 kB
Shmem:             72848 kB
Slab:             182268 kB
SReclaimable:     152296 kB
SUnreclaim:        29972 kB
KernelStack:        3824 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     579692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62024 MiB
End job on node136 at 2019-09-30 04:43:30