Trace number 4396644

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

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-17-042.xml
MD5SUM30a2df13e8a589268a4af4fb67fb8cf0
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 benchmark9.93882
Satisfiable
(Un)Satisfiability was proved
Number of variables34
Number of constraints136
Number of domains17
Minimum domain size26
Maximum domain size42
Distribution of domain sizes[{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":34}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.17	c root propagations     : 0           
0.10/0.17	c restarts enabled, print stats at every restarts
0.10/0.17	c
0.10/0.17	c
0.10/0.17	c
0.10/0.17	c This is cosoco 2.00 --  
0.10/0.17	c
0.10/0.17	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396644-1568595808.xml 
0.10/0.17	c ========================================[ Problem Statistics ]===========================================
0.10/0.17	c |                                                                                                       
0.10/0.17	c |  Parse time        :         0.16 s 
0.10/0.17	c |
0.10/0.17	c |               Variables: 34
0.10/0.17	c |            Domain Sizes: 26..42
0.10/0.17	c |
0.10/0.17	c |             Constraints: 136
0.10/0.17	c |                   Arity: 4..4
0.10/0.17	c | 
0.10/0.17	c |                   Types: 
0.10/0.17	c |                          Intension: 136
0.10/0.17	c |                          
0.10/0.17	c =========================================================================================================
0.10/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.60/0.62	c 101            131            4473           3974           0              0              5   9   8      
0.89/0.99	c 211            273            9511           7947           0              0              6   19   10    
1.19/1.26	c 332            427            14477          12766          0              0              10   19   17   
1.39/1.42	c 465            583            19275          16244          0              0              13   23   19   
1.69/1.75	c 611            763            25169          20837          0              0              11   16   13   
2.69/2.72	c 771            960            36690          27378          0              0              6   18   15    
3.29/3.32	c 947            1190           45301          33783          0              0              11   15   14   
3.69/3.71	c 1140           1410           52484          39977          0              0              5   9   8      
4.19/4.22	c 1352           1648           60115          44230          0              0              8   8   7      
4.49/4.50	c 1585           1911           68435          51368          0              0              8   23   20    
4.79/4.88	c 1841           2199           77960          58943          0              0              14   16   15   
5.29/5.30	c 2122           2515           88253          67513          0              0              16   18   16   
5.89/5.97	c 2431           2905           101080         80689          0              0              16   19   18   
6.39/6.43	c 2770           3291           113287         91259          0              0              17   21   20   
7.19/7.21	c 3142           3730           128458         100672         0              0              11   16   13   
7.59/7.68	c 3551           4180           143089         113592         0              0              12   18   17   
8.49/8.58	c 4000           4691           161253         127688         0              0              15   18   16   
9.69/9.75	c 4493           5402           183775         149591         0              0              11   17   15   
10.29/10.34	c 5035           5990           202843         166536         0              0              15   18   17   
12.00/12.07	c 5631           6823           229935         192697         0              0              13   18   15   
13.00/13.03	c 6286           7547           252698         214322         0              0              13   17   15   
15.29/15.38	c 7006           8586           285178         241576         0              0              6   12   11    
16.89/16.99	c 7798           9463           313369         266858         0              0              7   12   9     
20.00/20.02	c 8669           10477          346802         291906         0              0              7   11   9     
22.29/22.38	c 9627           11554          382247         311387         0              0              8   8   7      
25.89/25.90	c 10680          12753          421892         336814         0              0              6   9   7      
28.49/28.56	c 11838          14089          465644         369156         0              0              7   9   8      
31.49/31.52	c 13111          15520          512121         410707         0              0              7   9   8      
34.49/34.53	c 14511          17076          563095         447603         0              0              6   16   12    
51.00/51.05	c 16051          18890          694847         565863         0              0              7   13   9     
55.19/55.20	c 17745          20782          757375         615502         0              0              8   13   11    
64.49/64.52	c 19608          23202          865852         728658         0              0              7   13   11    
84.10/84.12	c 21657          25479          1042667        903233         0              0              7   9   8      
88.19/88.20	c 23910          27989          1124558        969969         0              0              9   13   11    
106.29/106.39	c 26388          30944          1292497        1143985        0              0              7   13   10    
114.89/114.97	c 29113          34569          1408576        1250131        0              0              9   11   10    
121.19/121.22	c 32110          37946          1534871        1360267        0              0              7   16   13    
127.00/127.09	c 35406          41641          1653220        1448609        0              0              9   16   13    
153.89/153.91	c 39031          45777          1941896        1707145        0              0              7   13   9     
160.39/160.47	c 43018          50115          2096044        1838605        0              0              8   23   17    
170.39/170.41	c 47403          55057          2282584        2004360        0              0              9   18   13    
177.79/177.86	c 52226          60322          2455163        2152401        0              0              9   23   18    
189.49/189.57	c 57531          66317          2673645        2332363        0              0              9   23   15    
200.10/200.13	c 63366          72767          2875594        2522648        0              0              7   23   18    
210.59/210.62	c 69784          79835          3107008        2737934        0              0              11   23   17   
220.59/220.69	c 76843          87356          3341548        2964339        0              0              15   23   21   
232.69/232.71	c 84607          95621          3605593        3202992        0              0              15   19   17   
251.19/251.22	c 93147          105817         3936644        3490584        0              0              10   16   13   
278.49/278.58	c 102541         118038         4344454        3870990        0              0              8   13   12    
307.59/307.69	c 112874         130092         4732826        4219113        0              0              8   18   14    
335.59/335.63	c 124240         143595         5175204        4547923        0              0              8   23   14    
352.89/352.91	c 136742         157137         5600721        4943251        0              0              12   23   19   
374.10/374.16	c 150494         172093         6081308        5378960        0              0              12   23   18   
398.10/398.13	c 165621         188120         6589635        5828515        0              0              12   21   18   
436.90/436.99	c 182260         209005         7269584        6436281        0              0              11   17   15   
462.20/462.28	c 200562         228694         7894414        6983855        0              0              9   23   18    
507.01/507.01	c 220694         251112         8619180        7604521        0              0              8   17   13    
545.40/545.46	c 242839         276224         9450938        8185925        0              0              6   15   10    
637.30/637.39	c 267198         307160         10474504       9008927        0              0              7   11   10    
688.50/688.54	c 293992         336746         11495918       9849855        0              0              6   19   14    
735.50/735.59	c 323465         369666         12586594       10705057       0              0              7   15   11    
884.40/884.41	c 355885         410399         13975899       11809112       0              0              4   9   8      
1031.31/1031.38	c 391547         453201         15786163       13300510       0              0              6   15   10    
1105.41/1105.46	c 430775         497688         17243509       14610677       0              0              6   19   13    
1178.31/1178.39	c 473925         545606         18826850       16043738       0              0              7   22   17    
1297.81/1297.81	c 521390         603237         20747822       17646939       0              0              7   15   11    
1380.51/1380.57	c 573601         659469         22605007       19283677       0              0              6   23   17    
1536.02/1536.05	c 631033         727337         25144820       21487847       0              0              6   16   11    
1672.82/1672.87	c 694208         800812         27557770       23283032       0              0              7   21   12    
1754.62/1754.63	c 763700         874582         29893572       25265669       0              0              8   21   18    
1982.33/1982.36	c 840141         964993         32942504       27801306       0              0              7   21   14    
2107.93/2107.92	c 924226         1055470        35852677       30316551       0              0              8   21   17    
2293.14/2293.17	c 1016719        1159788        39338808       32898472       0              0              7   19   15    
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 73          
2520.05/2520.00	c conflicts             : 1093100      (434 /sec)
2520.05/2520.00	c decisions             : 1249884      (496 /sec)
2520.05/2520.00	c propagations          : 35689535    (14162 /sec)
2520.05/2520.00	c root propagations     : 0           
2520.05/2520.00	c filter calls          : 42479285       (16857 /sec)
2520.05/2520.00	c useless filter calls  : 39022217       (91 %)
2520.05/2520.00	c Memory used           : 31.91 MB
2520.05/2520.00	c CPU time              : 2520.04 s
2520.05/2520.00	c real time             : 2520 s
2520.05/2520.00	
2520.05/2520.00	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 (13250 MiB free)
  memory of node 1: 16384 MiB (15820 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396644-1568595808/watcher-4396644-1568595808 -o /tmp/evaluation-result-4396644-1568595808/solver-4396644-1568595808 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4240 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396644-1568595808.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=9351, runsolver pid=9348

[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9352
/proc/meminfo: memFree=29765600/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=30336 memory=6688 CPUtime=0.1 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 1856 0 0 0 10 0 0 0 20 0 1 0 435494639 31064064 1672 33554432000 4194304 6211092 140723545037376 140723545033912 140000941255653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 7584 1672 822 493 0 889 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30336 KiB
Current children cumulated memory: 6688 KiB

[startup+0.209664 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9352
/proc/meminfo: memFree=29763740/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32276 memory=8628 CPUtime=0.21 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 2364 0 0 0 21 0 0 0 20 0 1 0 435494639 33050624 2157 33554432000 4194304 6211092 140723545037376 140723545033912 140000950588576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8069 2157 823 493 0 1374 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 8628 KiB

[startup+0.309078 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9352
/proc/meminfo: memFree=29763340/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32276 memory=8628 CPUtime=0.31 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 2381 0 0 0 31 0 0 0 20 0 1 0 435494639 33050624 2157 33554432000 4194304 6211092 140723545037376 140723545035640 5442945 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8069 2157 823 493 0 1374 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 8628 KiB

[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9352
/proc/meminfo: memFree=29763192/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32408 memory=8892 CPUtime=0.69 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 2390 0 0 0 69 0 0 0 20 0 1 0 435494639 33185792 2223 33554432000 4194304 6211092 140723545037376 140723545035640 5455658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8102 2223 862 493 0 1407 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32408 KiB
Current children cumulated memory: 8892 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9352
/proc/meminfo: memFree=29763192/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32540 memory=8892 CPUtime=1.49 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 2440 0 0 0 149 0 0 0 20 0 1 0 435494639 33320960 2223 33554432000 4194304 6211092 140723545037376 140723545035640 5451554 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8135 2223 862 493 0 1440 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 8892 KiB

[startup+3.10912 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9352
/proc/meminfo: memFree=29762696/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32540 memory=9164 CPUtime=3.1 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 3578 0 0 0 310 0 0 0 20 0 1 0 435494639 33320960 2291 33554432000 4194304 6211092 140723545037376 140723545035336 5446230 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8135 2291 862 493 0 1440 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9164 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9353
/proc/meminfo: memFree=29762244/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9172 CPUtime=6.29 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 4799 0 0 0 629 0 0 0 20 0 1 0 435494639 33456128 2293 33554432000 4194304 6211092 140723545037376 140723545035336 140000942179217 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2293 862 493 0 1473 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9172 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9353
/proc/meminfo: memFree=29761880/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9188 CPUtime=12.69 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 5924 0 0 0 1269 0 0 0 20 0 1 0 435494639 33456128 2297 33554432000 4194304 6211092 140723545037376 140723545035336 5439825 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2297 862 493 0 1473 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9188 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9355
/proc/meminfo: memFree=29762188/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9216 CPUtime=25.49 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 6287 0 0 0 2549 0 0 0 20 0 1 0 435494639 33456128 2304 33554432000 4194304 6211092 140723545037376 140723545035336 140000942179422 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2304 862 493 0 1473 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9216 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9355
/proc/meminfo: memFree=29762036/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9224 CPUtime=51.1 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 6609 0 0 0 5110 0 0 0 20 0 1 0 435494639 33456128 2306 33554432000 4194304 6211092 140723545037376 140723545035336 5165018 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2306 862 493 0 1473 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9224 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9359
/proc/meminfo: memFree=29762596/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9224 CPUtime=102.29 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 6835 0 0 0 10229 0 0 0 20 0 1 0 435494639 33456128 2306 33554432000 4194304 6211092 140723545037376 140723545035336 5440620 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2306 862 493 0 1473 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9224 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9365
/proc/meminfo: memFree=29761704/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9232 CPUtime=162.29 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 7131 0 0 0 16229 0 0 0 20 0 1 0 435494639 33456128 2308 33554432000 4194304 6211092 140723545037376 140723545035336 5440636 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2308 862 493 0 1473 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9232 KiB

[startup+222.3 s]
/proc/loadavg: 1.40 1.84 1.99 2/193 9414
/proc/meminfo: memFree=29771736/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9240 CPUtime=222.29 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 7445 0 0 0 22229 0 0 0 20 0 1 0 435494639 33456128 2310 33554432000 4194304 6211092 140723545037376 140723545035336 4982096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2310 862 493 0 1473 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9240 KiB

[startup+282.3 s]
/proc/loadavg: 1.15 1.69 1.92 2/194 9419
/proc/meminfo: memFree=29772008/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9252 CPUtime=282.29 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 7698 0 0 0 28229 0 0 0 20 0 1 0 435494639 33456128 2313 33554432000 4194304 6211092 140723545037376 140723545035336 5452157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2313 862 493 0 1473 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9252 KiB

[startup+342.3 s]
/proc/loadavg: 1.05 1.56 1.87 2/194 9425
/proc/meminfo: memFree=29772028/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9256 CPUtime=342.29 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 8005 0 0 0 34229 0 0 0 20 0 1 0 435494639 33456128 2314 33554432000 4194304 6211092 140723545037376 140723545035336 5442972 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2314 862 493 0 1473 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9256 KiB

[startup+402.3 s]
/proc/loadavg: 1.02 1.46 1.81 2/194 9429
/proc/meminfo: memFree=29771592/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9256 CPUtime=402.3 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 8310 0 0 0 40230 0 0 0 20 0 1 0 435494639 33456128 2314 33554432000 4194304 6211092 140723545037376 140723545035336 5480199 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2314 862 493 0 1473 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9256 KiB

[startup+462.3 s]
/proc/loadavg: 1.01 1.38 1.76 2/194 9438
/proc/meminfo: memFree=29771844/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9260 CPUtime=462.3 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 8614 0 0 0 46230 0 0 0 20 0 1 0 435494639 33456128 2315 33554432000 4194304 6211092 140723545037376 140723545035336 5451482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2315 862 493 0 1473 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB


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

/proc/9351/statm: 8168 2316 862 493 0 1473 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/193 9554
/proc/meminfo: memFree=29772348/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9264 CPUtime=1782.32 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 13918 0 0 0 178232 0 0 0 20 0 1 0 435494639 33456128 2316 33554432000 4194304 6211092 140723545037376 140723545035336 140000950588576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2316 862 493 0 1473 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/193 9558
/proc/meminfo: memFree=29772160/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9264 CPUtime=1842.32 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 14145 0 0 0 184232 0 0 0 20 0 1 0 435494639 33456128 2316 33554432000 4194304 6211092 140723545037376 140723545035336 5452242 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2316 862 493 0 1473 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+1902.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/193 9562
/proc/meminfo: memFree=29771920/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9264 CPUtime=1902.32 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 14372 0 0 0 190232 0 0 0 20 0 1 0 435494639 33456128 2316 33554432000 4194304 6211092 140723545037376 140723545035336 5442948 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2316 862 493 0 1473 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB

[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/193 9568
/proc/meminfo: memFree=29771236/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=1962.32 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 14599 0 0 0 196232 0 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5451572 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/193 9572
/proc/meminfo: memFree=29771856/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2022.33 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 14882 0 0 0 202232 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5454188 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/193 9576
/proc/meminfo: memFree=29771580/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2082.33 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 15129 0 0 0 208232 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5443096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/193 9582
/proc/meminfo: memFree=29772184/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2142.33 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 15421 0 0 0 214232 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5451600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/193 9586
/proc/meminfo: memFree=29771704/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2202.33 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 15632 0 0 0 220232 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5476875 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/193 9595
/proc/meminfo: memFree=29771696/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2262.33 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 15888 0 0 0 226232 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 140000951200616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/193 9601
/proc/meminfo: memFree=29772672/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2322.33 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 16122 0 0 0 232232 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5443111 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/193 9605
/proc/meminfo: memFree=29772916/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2382.34 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 16285 0 0 0 238233 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5451576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/193 9609
/proc/meminfo: memFree=29772892/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2442.34 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 16478 0 0 0 244233 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5442993 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/193 9615
/proc/meminfo: memFree=29772296/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2502.34 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 16674 0 0 0 250233 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5446230 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.09 2/193 9616
/proc/meminfo: memFree=29772956/32770624 swapFree=66957020/67108860
[pid=9351] ppid=9348 vsize=32672 memory=9268 CPUtime=2520.05 cores=1,3,5,7
/proc/9351/stat : 9351 (cosoco) R 9348 9351 4208 0 -1 4202496 16807 0 0 0 252004 1 0 0 20 0 1 0 435494639 33456128 2317 33554432000 4194304 6211092 140723545037376 140723545035336 5440632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22081536 140723545039883 140723545039985 140723545039985 140723545042894 0
/proc/9351/statm: 8168 2317 862 493 0 1473 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

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

[startup+2520.01 s]
# the end of solver process 9351 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.04 s, system=0.01 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): 2520.05
CPU user time (s): 2520.04
CPU system time (s): 0.01
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 32672
Max. memory (cumulated for all children) (KiB): 9268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.01
maximum resident set size= 9332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16854
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= 15
involuntary context switches= 680


# summary of solver processes directly reported to runsolver:
#   pid: 9351
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.04
#   total CPU system time (s): 0.01

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90875 second user time and 15.0367 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-16 03:02:45
IDJOB=4396644
IDBENCH=141744
IDSOLVER=2848
FILE ID=node147/4396644-1568595808
RUNJOBID= node147-1568572740-4240
PBS_JOBID= 21703310
Free space on /tmp= 58876 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-17-042.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396644-1568595808/watcher-4396644-1568595808 -o /tmp/evaluation-result-4396644-1568595808/solver-4396644-1568595808 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4240 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396644-1568595808.xml

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=914558954

node147.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.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
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:        29768480 kB
MemAvailable:   31823144 kB
Buffers:          102636 kB
Cached:          2230004 kB
SwapCached:        48484 kB
Active:          1317752 kB
Inactive:        1072872 kB
Active(anon):       9908 kB
Inactive(anon):    98112 kB
Active(file):    1307844 kB
Inactive(file):   974760 kB
Unevictable:      108996 kB
Mlocked:          108996 kB
SwapTotal:      67108860 kB
SwapFree:       66957020 kB
Dirty:              2756 kB
Writeback:             0 kB
AnonPages:        121012 kB
Mapped:            49192 kB
Shmem:             40992 kB
Slab:             205060 kB
SReclaimable:     175792 kB
SUnreclaim:        29268 kB
KernelStack:        3488 kB
PageTables:         5700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     543388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 58876 MiB
End job on node147 at 2019-09-16 03:44:45