Trace number 4389631

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2520.03 2520.01

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-30-098.xml
MD5SUMfb27cd1d2814d0f1760e6f4b9d041fef
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark153.956
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints435
Number of domains30
Minimum domain size69
Maximum domain size98
Distribution of domain sizes[{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2}]
Minimum variable degree29
Maximum variable degree29
Distribution of variable degrees[{"degree":29,"count":60}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":435}]
Number of extensional constraints0
Number of intensional constraints435
Distribution of constraint types[{"type":"intension","count":435}]
Optimization problemNO
Type of objective

Solver Data 

0.50/0.53	c root propagations     : 0           
0.50/0.53	c restarts enabled, print stats at every restarts
0.50/0.53	c
0.50/0.53	c
0.50/0.53	c
0.50/0.53	c This is cosoco 2.00 --  
0.50/0.53	c
0.50/0.53	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389631-1568360530.xml 
0.50/0.53	c ========================================[ Problem Statistics ]===========================================
0.50/0.53	c |                                                                                                       
0.50/0.53	c |  Parse time        :         0.52 s 
0.50/0.53	c |
0.50/0.53	c |               Variables: 60
0.50/0.53	c |            Domain Sizes: 69..98
0.50/0.53	c |
0.50/0.53	c |             Constraints: 435
0.50/0.53	c |                   Arity: 4..4
0.50/0.53	c | 
0.50/0.53	c |                   Types: 
0.50/0.53	c |                          Intension: 435
0.50/0.53	c |                          
0.50/0.53	c =========================================================================================================
0.50/0.53	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.78/0.88	c 101            113            6757           7384           0              0              7   13   9     
6.58/6.62	c 211            235            24701          14108          0              0              7   7   6      
6.99/7.02	c 332            372            32185          21398          0              0              9   17   12    
7.39/7.40	c 465            518            40289          29439          0              0              6   14   9     
7.69/7.79	c 611            677            49177          40205          0              0              6   14   10    
8.10/8.16	c 771            850            58851          51434          0              0              6   14   10    
8.49/8.54	c 947            1039           69632          64771          0              0              6   14   10    
16.79/16.87	c 1140           1251           96458          72942          0              0              6   6   5      
17.49/17.51	c 1352           1482           109201         88502          0              0              9   19   14    
17.89/17.92	c 1585           1730           122922         104172         0              0              6   16   12    
18.69/18.75	c 1841           2003           138128         120821         0              0              6   16   12    
19.29/19.38	c 2122           2301           154721         138027         0              0              6   18   12    
20.49/20.50	c 2431           2629           173080         157126         0              0              6   17   13    
21.39/21.48	c 2770           2988           193394         176474         0              0              6   21   13    
22.79/22.85	c 3142           3382           215543         199651         0              0              6   17   13    
23.79/23.88	c 3551           3813           239640         223906         0              0              6   23   15    
25.19/25.29	c 4000           4292           266582         252144         0              0              6   18   14    
26.29/26.31	c 4493           4809           295358         283212         0              0              6   25   16    
28.39/28.44	c 5035           5380           327120         317649         0              0              6   29   18    
30.79/30.87	c 5631           6002           362852         357940         0              0              6   21   16    
32.89/32.94	c 6286           6689           401358         405186         0              0              8   31   21    
35.10/35.13	c 7006           7443           452023         451229         0              0              6   27   19    
38.69/38.76	c 7798           8269           498635         503710         0              0              8   30   22    
43.49/43.53	c 8669           9176           550022         561172         0              0              6   26   21    
48.00/48.07	c 9627           10228          653760         618329         0              0              8   23   19    
53.69/53.78	c 10680          11328          716356         688181         0              0              7   39   32    
63.69/63.72	c 11838          12616          849879         764653         0              0              8   24   20    
68.39/68.41	c 13111          13934          923250         843517         0              0              9   32   27    
75.09/75.13	c 14511          15462          1088898        930702         0              0              8   31   26    
85.69/85.73	c 16051          17067          1181019        1032319        0              0              6   29   26    
93.99/94.05	c 17745          18813          1277267        1129049        0              0              8   29   26    
102.79/102.80	c 19608          20728          1384864        1248226        0              0              8   32   29    
114.48/114.52	c 21657          22835          1503097        1339818        0              0              6   28   25    
125.88/125.96	c 23910          25159          1656952        1495744        0              0              6   29   25    
137.28/137.36	c 26388          27702          1799686        1631680        0              0              6   27   25    
153.28/153.38	c 29113          30506          1961092        1804398        0              0              6   24   22    
189.99/190.02	c 32110          33647          2140407        1994712        0              0              8   26   25    
211.58/211.65	c 35406          37207          2396914        2156366        0              0              6   27   25    
231.48/231.57	c 39031          40920          2605014        2379646        0              0              8   29   28    
263.58/263.63	c 43018          45466          3140321        2554199        0              0              8   25   24    
286.88/286.99	c 47403          49970          3395544        2808983        0              0              9   27   26    
318.58/318.64	c 52226          54921          3679117        3094668        0              0              8   27   26    
349.58/349.66	c 57531          60343          3986676        3400661        0              0              8   26   25    
448.88/448.98	c 63366          67001          4879613        3970925        0              0              8   26   22    
502.59/502.62	c 69784          73625          5260753        4372992        0              0              9   27   26    
635.69/635.76	c 76843          82007          6667895        5336704        0              0              9   23   21    
686.00/686.10	c 84607          90025          7126937        5843030        0              0              13   25   24   
767.69/767.73	c 93147          99146          7841612        6380638        0              0              10   25   24   
958.89/958.91	c 102541         110055         9112729        7230772        0              0              18   23   22   
1014.50/1014.52	c 112874         120723         9724663        7922885        0              0              13   25   24   
1233.20/1233.24	c 124240         133663         11657904       9242775        0              0              13   21   19   
1330.80/1330.85	c 136742         146593         12386755       10064909       0              0              15   25   24   
1407.50/1407.53	c 150494         160681         13194702       10892290       0              0              11   23   22   
1478.50/1478.51	c 165621         176190         14061024       11880375       0              0              13   27   26   
1568.60/1568.60	c 182260         193286         15045300       12970039       0              0              13   23   22   
1808.50/1808.53	c 200562         215941         17717219       14018489       0              0              14   24   22   
1932.50/1932.53	c 220694         236526         18901929       15210806       0              0              15   21   20   
2187.61/2187.68	c 242839         260048         21134410       16421663       0              0              16   21   19   
2346.21/2346.28	c 267198         285434         22815204       17966950       0              0              18   21   20   
2520.02/2520.00	
2520.02/2520.00	c *** INTERRUPTED ***
2520.02/2520.00	c restarts              : 59          
2520.02/2520.00	c conflicts             : 275639       (109 /sec)
2520.02/2520.00	c decisions             : 295177       (117 /sec)
2520.02/2520.00	c propagations          : 18491398    (7338 /sec)
2520.02/2520.00	c root propagations     : 0           
2520.02/2520.00	c filter calls          : 23984804       (9518 /sec)
2520.02/2520.00	c useless filter calls  : 22698534       (94 %)
2520.02/2520.00	c Memory used           : 46.86 MB
2520.02/2520.00	c CPU time              : 2520 s
2520.02/2520.00	c real time             : 2520.01 s
2520.02/2520.00	
2520.02/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 (9366 MiB free)
  memory of node 1: 16384 MiB (13974 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389631-1568360530/watcher-4389631-1568360530 -o /tmp/evaluation-result-4389631-1568360530/solver-4389631-1568360530 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568360486-8908 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389631-1568360530.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=8995, runsolver pid=8992

[startup+0.100281 s]*
/proc/loadavg: 1.16 1.05 1.11 3/200 8996
/proc/meminfo: memFree=23898084/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=30608 memory=6956 CPUtime=0.1 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 1902 0 0 0 10 0 0 0 20 0 1 0 411967904 31342592 1739 33554432000 4194304 6210612 140725921345984 140725921337624 140656496516069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 7652 1739 822 493 0 957 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30608 KiB
Current children cumulated memory: 6956 KiB

[startup+0.209769 s]*
/proc/loadavg: 1.16 1.05 1.11 3/200 8996
/proc/meminfo: memFree=23894812/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=34244 memory=10596 CPUtime=0.21 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 2812 0 0 0 21 0 0 0 20 0 1 0 411967904 35065856 2649 33554432000 4194304 6210612 140725921345984 140725921337624 140656496516069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 8561 2649 822 493 0 1866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 10596 KiB

[startup+0.30925 s]*
/proc/loadavg: 1.16 1.05 1.11 3/200 8996
/proc/meminfo: memFree=23891092/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=37496 memory=13848 CPUtime=0.3 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 3638 0 0 0 30 0 0 0 20 0 1 0 411967904 38395904 3462 33554432000 4194304 6210612 140725921345984 140725921337624 140656496516069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 9374 3462 822 493 0 2679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37496 KiB
Current children cumulated memory: 13848 KiB

[startup+0.700232 s]
/proc/loadavg: 1.16 1.05 1.11 3/200 8996
/proc/meminfo: memFree=23884396/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=44808 memory=21288 CPUtime=0.68 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 5517 0 0 0 68 0 0 0 20 0 1 0 411967904 45883392 5322 33554432000 4194304 6210612 140725921345984 140725921343640 5480096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11202 5322 860 493 0 4507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44808 KiB
Current children cumulated memory: 21288 KiB

[startup+1.50024 s]
/proc/loadavg: 1.16 1.05 1.11 3/200 8996
/proc/meminfo: memFree=23882420/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=45468 memory=21816 CPUtime=1.48 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 5667 0 0 0 148 0 0 0 20 0 1 0 411967904 46559232 5454 33554432000 4194304 6210612 140725921345984 140725921343944 140656497436579 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11367 5454 860 493 0 4672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45468 KiB
Current children cumulated memory: 21816 KiB

[startup+3.10905 s]
/proc/loadavg: 1.16 1.05 1.11 3/200 8996
/proc/meminfo: memFree=23882420/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=45600 memory=22160 CPUtime=3.09 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 6717 0 0 0 309 0 0 0 20 0 1 0 411967904 46694400 5540 33554432000 4194304 6210612 140725921345984 140725921343944 5454023 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11400 5540 861 493 0 4705 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45600 KiB
Current children cumulated memory: 22160 KiB

[startup+6.30022 s]
/proc/loadavg: 1.23 1.06 1.11 3/200 8996
/proc/meminfo: memFree=23881972/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=45600 memory=22204 CPUtime=6.28 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 7789 0 0 0 628 0 0 0 20 0 1 0 411967904 46694400 5551 33554432000 4194304 6210612 140725921345984 140725921343640 5453748 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11400 5551 861 493 0 4705 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 45600 KiB
Current children cumulated memory: 22204 KiB

[startup+12.7003 s]
/proc/loadavg: 1.29 1.08 1.12 3/200 8996
/proc/meminfo: memFree=23881848/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=45864 memory=22412 CPUtime=12.69 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 11108 0 0 0 1268 1 0 0 20 0 1 0 411967904 46964736 5603 33554432000 4194304 6210612 140725921345984 140725921343944 5442890 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11466 5603 861 493 0 4771 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 45864 KiB
Current children cumulated memory: 22412 KiB

[startup+25.5003 s]
/proc/loadavg: 1.45 1.12 1.13 3/200 8998
/proc/meminfo: memFree=23879756/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=46392 memory=22932 CPUtime=25.49 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 16897 0 0 0 2548 1 0 0 20 0 1 0 411967904 47505408 5733 33554432000 4194304 6210612 140725921345984 140725921343944 5454016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11598 5733 861 493 0 4903 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 46392 KiB
Current children cumulated memory: 22932 KiB

[startup+51.1091 s]
/proc/loadavg: 1.64 1.19 1.15 3/200 8999
/proc/meminfo: memFree=23878404/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47316 memory=23916 CPUtime=51.1 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 21893 0 0 0 5109 1 0 0 20 0 1 0 411967904 48451584 5979 33554432000 4194304 6210612 140725921345984 140725921343640 5456146 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11829 5979 861 493 0 5134 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 23916 KiB

[startup+102.3 s]
/proc/loadavg: 1.84 1.32 1.20 3/200 9002
/proc/meminfo: memFree=23876816/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47712 memory=24152 CPUtime=102.29 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 26051 0 0 0 10228 1 0 0 20 0 1 0 411967904 48857088 6038 33554432000 4194304 6210612 140725921345984 140725921343640 5478232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11928 6038 861 493 0 5233 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24152 KiB

[startup+162.3 s]
/proc/loadavg: 1.87 1.43 1.24 3/200 9008
/proc/meminfo: memFree=23876948/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47712 memory=24248 CPUtime=162.28 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 26375 0 0 0 16227 1 0 0 20 0 1 0 411967904 48857088 6062 33554432000 4194304 6210612 140725921345984 140725921343944 5439668 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11928 6062 861 493 0 5233 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24248 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.53 1.29 3/199 9012
/proc/meminfo: memFree=23877204/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47712 memory=24288 CPUtime=222.28 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 26672 0 0 0 22227 1 0 0 20 0 1 0 411967904 48857088 6072 33554432000 4194304 6210612 140725921345984 140725921343944 140656497442207 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11928 6072 861 493 0 5233 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24288 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.62 1.33 3/199 9016
/proc/meminfo: memFree=23877516/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47712 memory=24320 CPUtime=282.28 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 26993 0 0 0 28227 1 0 0 20 0 1 0 411967904 48857088 6080 33554432000 4194304 6210612 140725921345984 140725921343944 5446100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11928 6080 861 493 0 5233 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24320 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.38 3/199 9022
/proc/meminfo: memFree=23877188/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47712 memory=24336 CPUtime=342.28 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 27267 0 0 0 34227 1 0 0 20 0 1 0 411967904 48857088 6084 33554432000 4194304 6210612 140725921345984 140725921343944 5451361 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11928 6084 861 493 0 5233 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24336 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.42 3/199 9026
/proc/meminfo: memFree=23877552/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47844 memory=24348 CPUtime=402.28 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 27471 0 0 0 40227 1 0 0 20 0 1 0 411967904 48992256 6087 33554432000 4194304 6210612 140725921345984 140725921343640 5442951 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11961 6087 861 493 0 5266 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 47844 KiB
Current children cumulated memory: 24348 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.45 3/199 9030
/proc/meminfo: memFree=23877176/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47844 memory=24392 CPUtime=462.29 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 27797 0 0 0 46227 2 0 0 20 0 1 0 411967904 48992256 6098 33554432000 4194304 6210612 140725921345984 140725921343944 140656497442215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11961 6098 861 493 0 5266 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 47844 KiB
Current children cumulated memory: 24392 KiB


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

/proc/8995/statm: 11994 6128 861 493 0 5299 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24512 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 1.89 3/200 9182
/proc/meminfo: memFree=23874732/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24516 CPUtime=1782.3 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 33053 0 0 0 178228 2 0 0 20 0 1 0 411967904 49127424 6129 33554432000 4194304 6210612 140725921345984 140725921343944 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6129 861 493 0 5299 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24516 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 1.90 3/200 9186
/proc/meminfo: memFree=23874716/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24520 CPUtime=1842.3 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 33355 0 0 0 184228 2 0 0 20 0 1 0 411967904 49127424 6130 33554432000 4194304 6210612 140725921345984 140725921343944 5442951 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6130 861 493 0 5299 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24520 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/200 9190
/proc/meminfo: memFree=23874772/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24528 CPUtime=1902.3 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 33455 0 0 0 190228 2 0 0 20 0 1 0 411967904 49127424 6132 33554432000 4194304 6210612 140725921345984 140725921343944 5446104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6132 861 493 0 5299 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24528 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/200 9196
/proc/meminfo: memFree=23874724/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24528 CPUtime=1962.3 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 33761 0 0 0 196228 2 0 0 20 0 1 0 411967904 49127424 6132 33554432000 4194304 6210612 140725921345984 140725921343944 5442882 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6132 861 493 0 5299 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24528 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/199 9200
/proc/meminfo: memFree=23874980/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24528 CPUtime=2022.3 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 33915 0 0 0 202228 2 0 0 20 0 1 0 411967904 49127424 6132 33554432000 4194304 6210612 140725921345984 140725921343944 140656497442245 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6132 861 493 0 5299 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24528 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/199 9204
/proc/meminfo: memFree=23875028/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24528 CPUtime=2082.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 34049 0 0 0 208229 2 0 0 20 0 1 0 411967904 49127424 6132 33554432000 4194304 6210612 140725921345984 140725921343944 5456150 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6132 861 493 0 5299 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24528 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 9210
/proc/meminfo: memFree=23874180/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2142.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 34174 0 0 0 214229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 5442936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 9214
/proc/meminfo: memFree=23874336/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2202.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 34470 0 0 0 220229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 5439626 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 9218
/proc/meminfo: memFree=23874312/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2262.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 34634 0 0 0 226229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 5442904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 9231
/proc/meminfo: memFree=23874992/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2322.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 34743 0 0 0 232229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 5453736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 9235
/proc/meminfo: memFree=23875768/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2382.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 35047 0 0 0 238229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 140656506461066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 9239
/proc/meminfo: memFree=23875704/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2442.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 35219 0 0 0 244229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 140656497436579 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 9245
/proc/meminfo: memFree=23874716/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2502.31 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 35383 0 0 0 250229 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 5476694 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 2/192 9292
/proc/meminfo: memFree=23906236/32770624 swapFree=66939828/67108860
[pid=8995] ppid=8992 vsize=47976 memory=24536 CPUtime=2520.02 cores=1,3,5,7
/proc/8995/stat : 8995 (cosoco) R 8992 8995 7583 0 -1 4202496 35511 0 0 0 252000 2 0 0 20 0 1 0 411967904 49127424 6134 33554432000 4194304 6210612 140725921345984 140725921343944 5009273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 25346048 140725921354763 140725921354865 140725921354865 140725921357774 0
/proc/8995/statm: 11994 6134 861 493 0 5299 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 24536 KiB

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

[startup+2520.01 s]
# the end of solver process 8995 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520 s, system=0.028 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.03
CPU user time (s): 2520
CPU system time (s): 0.028
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 47976
Max. memory (cumulated for all children) (KiB): 24536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.028
maximum resident set size= 24604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35560
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= 13
involuntary context switches= 757


# summary of solver processes directly reported to runsolver:
#   pid: 8995
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2520
#   total CPU system time (s): 0.028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.52002 second user time and 16.4405 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 09:41:30
IDJOB=4389631
IDBENCH=141718
IDSOLVER=2829
FILE ID=node119/4389631-1568360530
RUNJOBID= node119-1568360486-8908
PBS_JOBID= 21701184
Free space on /tmp= 57268 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-30-098.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389631-1568360530/watcher-4389631-1568360530 -o /tmp/evaluation-result-4389631-1568360530/solver-4389631-1568360530 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568360486-8908 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389631-1568360530.xml

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

MD5SUM BENCH= fb27cd1d2814d0f1760e6f4b9d041fef
RANDOM SEED=2144640355

node119.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.47
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.47
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.47
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.47
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:        23900992 kB
MemAvailable:   31777156 kB
Buffers:          177396 kB
Cached:          7906112 kB
SwapCached:        61088 kB
Active:          1909008 kB
Inactive:        6264556 kB
Active(anon):      28788 kB
Inactive(anon):   102700 kB
Active(file):    1880220 kB
Inactive(file):  6161856 kB
Unevictable:      107476 kB
Mlocked:          107476 kB
SwapTotal:      67108860 kB
SwapFree:       66939828 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        138060 kB
Mapped:            45728 kB
Shmem:             32808 kB
Slab:             292312 kB
SReclaimable:     262548 kB
SUnreclaim:        29764 kB
KernelStack:        3584 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     552468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57268 MiB
End job on node119 at 2019-09-13 10:23:31