Trace number 4389555

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) 2519.23 2520.01

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-29-093.xml
MD5SUMbf633c2727f59b2e783fa7e248dd5fc9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables58
Number of constraints406
Number of domains29
Minimum domain size65
Maximum domain size93
Distribution of domain sizes[{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"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}]
Minimum variable degree28
Maximum variable degree28
Distribution of variable degrees[{"degree":28,"count":58}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":406}]
Number of extensional constraints0
Number of intensional constraints406
Distribution of constraint types[{"type":"intension","count":406}]
Optimization problemNO
Type of objective

Solver Data 

0.39/0.50	c root propagations     : 0           
0.39/0.50	c restarts enabled, print stats at every restarts
0.39/0.50	c
0.39/0.50	c
0.39/0.50	c
0.39/0.50	c This is cosoco 2.00 --  
0.39/0.50	c
0.39/0.50	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389555-1568360650.xml 
0.39/0.50	c ========================================[ Problem Statistics ]===========================================
0.39/0.50	c |                                                                                                       
0.39/0.50	c |  Parse time        :         0.48 s 
0.39/0.50	c |
0.39/0.50	c |               Variables: 58
0.39/0.50	c |            Domain Sizes: 65..93
0.39/0.50	c |
0.39/0.50	c |             Constraints: 406
0.39/0.50	c |                   Arity: 4..4
0.39/0.50	c | 
0.39/0.50	c |                   Types: 
0.39/0.50	c |                          Intension: 406
0.39/0.50	c |                          
0.39/0.50	c =========================================================================================================
0.39/0.50	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.79/0.81	c 101            113            6500           6951           0              0              7   13   9     
5.99/6.04	c 211            236            23996          13100          0              0              7   7   6      
6.38/6.42	c 332            373            31197          20882          0              0              9   17   13    
6.68/6.77	c 465            519            39031          28759          0              0              6   14   9     
7.09/7.12	c 611            678            47595          38755          0              0              6   14   10    
7.38/7.43	c 771            851            56920          49113          0              0              6   14   10    
7.78/7.82	c 947            1043           67298          61316          0              0              6   17   10    
8.09/8.13	c 1140           1249           78383          74357          0              0              6   14   10    
8.58/8.68	c 1352           1478           90665          87812          0              0              6   17   11    
9.18/9.28	c 1585           1729           104289         101703         0              0              6   19   11    
9.78/9.82	c 1841           2000           118797         117596         0              0              6   16   12    
10.58/10.63	c 2122           2301           135127         134610         0              0              6   21   13    
11.38/11.43	c 2431           2629           153075         152852         0              0              6   16   12    
12.48/12.54	c 2770           2990           172640         173640         0              0              6   23   14    
13.58/13.65	c 3142           3385           194594         195729         0              0              6   16   13    
14.68/14.70	c 3551           3820           217825         220490         0              0              6   27   16    
15.58/15.69	c 4000           4300           244492         252193         0              0              6   22   14    
21.37/21.46	c 4493           4846           287247         281289         0              0              6   18   15    
22.87/22.92	c 5035           5417           318793         315714         0              0              6   23   18    
24.47/24.59	c 5631           6047           353628         347621         0              0              8   27   21    
26.87/26.90	c 6286           6733           390844         388320         0              0              6   26   20    
29.27/29.34	c 7006           7485           430910         426642         0              0              8   26   22    
31.87/31.98	c 7798           8359           495349         469855         0              0              8   27   22    
36.17/36.27	c 8669           9273           545296         527925         0              0              8   25   22    
39.97/40.07	c 9627           10308          618247         576536         0              0              8   25   21    
44.97/45.03	c 10680          11412          678485         646979         0              0              8   25   22    
48.56/48.67	c 11838          12612          742995         711758         0              0              8   25   22    
54.07/54.17	c 13111          13947          817520         787080         0              0              6   27   23    
57.97/58.04	c 14511          15441          899682         878912         0              0              6   23   21    
63.46/63.51	c 16051          17056          988442         972644         0              0              6   25   20    
70.07/70.15	c 17745          18801          1081522        1065583        0              0              8   27   24    
88.55/88.69	c 19608          20740          1211169        1192305        0              0              6   24   21    
96.25/96.39	c 21657          22847          1321921        1278427        0              0              8   26   24    
105.65/105.71	c 23910          25201          1451762        1431553        0              0              8   27   23    
127.64/127.75	c 26388          28337          1809895        1566307        0              0              8   26   23    
139.83/139.97	c 29113          31148          1963188        1707224        0              0              9   22   21    
161.04/161.12	c 32110          34263          2134774        1887620        0              0              6   25   23    
173.52/173.64	c 35406          37790          2342729        2110617        0              0              6   23   22    
206.31/206.42	c 39031          41554          2556052        2352407        0              0              6   22   21    
227.21/227.37	c 43018          45636          2778525        2619965        0              0              6   31   28    
263.50/263.63	c 47403          50191          3029179        2918269        0              0              6   24   23    
290.79/290.96	c 52226          55150          3297932        3178135        0              0              8   31   24    
345.47/345.66	c 57531          61203          3906904        3495545        0              0              8   22   19    
374.97/375.17	c 63366          67175          4231805        3862244        0              0              8   27   25    
411.15/411.33	c 69784          73775          4592947        4232494        0              0              8   25   24    
454.64/454.86	c 76843          81025          4997420        4611753        0              0              8   23   22    
559.30/559.57	c 84607          89757          6044465        5280801        0              0              8   25   22    
688.96/689.27	c 93147          99674          7541799        6289637        0              0              8   23   21    
731.65/731.94	c 102541         109425         8088570        6932455        0              0              11   23   21   
881.82/882.15	c 112874         121349         9688324        7717612        0              0              10   21   20   
996.68/997.10	c 124240         133843         10778790       8328299        0              0              13   23   21   
1170.92/1171.32	c 136742         148064         12859824       9566311        0              0              12   21   20   
1245.10/1245.58	c 150494         162166         13653836       10290455       0              0              14   21   20   
1484.03/1484.58	c 165621         179691         15853507       11218063       0              0              12   20   18   
1540.41/1540.90	c 182260         196821         16808473       12181546       0              0              10   23   21   
1778.54/1779.12	c 200562         217365         18910102       13315067       0              0              9   21   17    
1937.19/1937.87	c 220694         238685         20431645       14544162       0              0              12   21   20   
2032.36/2033.08	c 242839         261525         21704793       15507745       0              0              13   21   20   
2180.61/2181.39	c 267198         286597         23095832       16967435       0              0              13   23   22   
2454.93/2455.74	c 293992         314861         26207866       19479954       0              0              14   23   20   
2519.21/2520.00	
2519.21/2520.00	c *** INTERRUPTED ***
2519.21/2520.00	c restarts              : 60          
2519.21/2520.00	c conflicts             : 297284       (118 /sec)
2519.21/2520.00	c decisions             : 318447       (126 /sec)
2519.21/2520.00	c propagations          : 19890215    (7895 /sec)
2519.21/2520.00	c root propagations     : 0           
2519.21/2520.00	c filter calls          : 26694443       (10596 /sec)
2519.21/2520.00	c useless filter calls  : 25227216       (94 %)
2519.21/2520.00	c Memory used           : 44.95 MB
2519.21/2520.00	c CPU time              : 2519.2 s
2519.21/2520.00	c real time             : 2520 s
2519.21/2520.00	
2519.21/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 (9192 MiB free)
  memory of node 1: 16384 MiB (15367 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389555-1568360650/watcher-4389555-1568360650 -o /tmp/evaluation-result-4389555-1568360650/solver-4389555-1568360650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568353911-32409 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389555-1568360650.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=335, runsolver pid=332


[startup+0.100501 s]*
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25143552/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=30368 memory=6592 CPUtime=0.09 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 1850 0 0 0 9 0 0 0 20 0 1 0 412322231 31096832 1648 33554432000 4194304 6210612 140721987444256 140721987439432 139718010335557 0 0 4096 8405026 0 0 0 17 7 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 7592 1648 822 493 0 897 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30368 KiB
Current children cumulated memory: 6592 KiB

[startup+0.209686 s]*
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25137996/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=33888 memory=10112 CPUtime=0.19 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 2748 0 0 0 19 0 0 0 20 0 1 0 412322231 34701312 2528 33554432000 4194304 6210612 140721987444256 140721987439432 139718006856677 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 8472 2528 822 493 0 1777 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33888 KiB
Current children cumulated memory: 10112 KiB

[startup+0.309325 s]*
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25134276/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=37268 memory=13360 CPUtime=0.29 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 3568 0 0 0 29 0 0 0 20 0 1 0 412322231 38162432 3340 33554432000 4194304 6210612 140721987444256 140721987439192 139718006856677 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 9317 3340 822 493 0 2622 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37268 KiB
Current children cumulated memory: 13360 KiB

[startup+0.700276 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25127804/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=43652 memory=20004 CPUtime=0.69 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 5220 0 0 0 68 1 0 0 20 0 1 0 412322231 44699648 5001 33554432000 4194304 6210612 140721987444256 140721987441912 4981744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 10913 5001 860 493 0 4218 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43652 KiB
Current children cumulated memory: 20004 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25127060/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=44048 memory=20532 CPUtime=1.49 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 5327 0 0 0 148 1 0 0 20 0 1 0 412322231 45105152 5133 33554432000 4194304 6210612 140721987444256 140721987442216 5440930 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11012 5133 860 493 0 4317 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 20532 KiB

[startup+3.10916 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25126648/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=44312 memory=20788 CPUtime=3.09 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 6347 0 0 0 308 1 0 0 20 0 1 0 412322231 45375488 5197 33554432000 4194304 6210612 140721987444256 140721987441912 5446454 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11078 5197 861 493 0 4383 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 44312 KiB
Current children cumulated memory: 20788 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25124416/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=44312 memory=20848 CPUtime=6.28 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 7754 0 0 0 627 1 0 0 20 0 1 0 412322231 45375488 5212 33554432000 4194304 6210612 140721987444256 140721987442216 5068676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11078 5212 861 493 0 4383 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 44312 KiB
Current children cumulated memory: 20848 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25125120/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=44840 memory=21420 CPUtime=12.68 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 8934 0 0 0 1267 1 0 0 20 0 1 0 412322231 45916160 5355 33554432000 4194304 6210612 140721987444256 140721987442216 5440960 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11210 5355 861 493 0 4515 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 44840 KiB
Current children cumulated memory: 21420 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.18 3/200 349
/proc/meminfo: memFree=25125708/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45236 memory=21776 CPUtime=25.47 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 10861 0 0 0 2546 1 0 0 20 0 1 0 412322231 46321664 5444 33554432000 4194304 6210612 140721987444256 140721987442216 5451328 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11309 5444 861 493 0 4614 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 21776 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.02 2.17 3/200 351
/proc/meminfo: memFree=25124748/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45368 memory=21936 CPUtime=51.07 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 11650 0 0 0 5106 1 0 0 20 0 1 0 412322231 46456832 5484 33554432000 4194304 6210612 140721987444256 140721987442216 5446048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11342 5484 861 493 0 4647 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 45368 KiB
Current children cumulated memory: 21936 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/198 355
/proc/meminfo: memFree=25125000/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45500 memory=22028 CPUtime=102.25 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 12455 0 0 0 10224 1 0 0 20 0 1 0 412322231 46592000 5507 33554432000 4194304 6210612 140721987444256 140721987442216 139718007777168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11375 5507 861 493 0 4680 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 45500 KiB
Current children cumulated memory: 22028 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/199 360
/proc/meminfo: memFree=25124476/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45500 memory=22120 CPUtime=162.23 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 12756 0 0 0 16222 1 0 0 20 0 1 0 412322231 46592000 5530 33554432000 4194304 6210612 140721987444256 140721987442216 5442920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11375 5530 861 493 0 4680 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 45500 KiB
Current children cumulated memory: 22120 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/199 366
/proc/meminfo: memFree=25123952/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45632 memory=22160 CPUtime=222.21 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 13071 0 0 0 22220 1 0 0 20 0 1 0 412322231 46727168 5540 33554432000 4194304 6210612 140721987444256 140721987442216 5452074 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11408 5540 861 493 0 4713 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 45632 KiB
Current children cumulated memory: 22160 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/199 370
/proc/meminfo: memFree=25123604/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45764 memory=22280 CPUtime=282.19 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 13381 0 0 0 28218 1 0 0 20 0 1 0 412322231 46862336 5570 33554432000 4194304 6210612 140721987444256 140721987442216 5446465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11441 5570 861 493 0 4746 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 45764 KiB
Current children cumulated memory: 22280 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/199 374
/proc/meminfo: memFree=25122752/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45764 memory=22376 CPUtime=342.17 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 13621 0 0 0 34216 1 0 0 20 0 1 0 412322231 46862336 5594 33554432000 4194304 6210612 140721987444256 140721987442216 139718007777168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11441 5594 861 493 0 4746 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 45764 KiB
Current children cumulated memory: 22376 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/200 388
/proc/meminfo: memFree=25122676/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45764 memory=22380 CPUtime=402.15 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 14071 0 0 0 40214 1 0 0 20 0 1 0 412322231 46862336 5595 33554432000 4194304 6210612 140721987444256 140721987442216 5451997 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11441 5595 861 493 0 4746 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 45764 KiB
Current children cumulated memory: 22380 KiB

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.12 3/199 392
/proc/meminfo: memFree=25123300/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=45896 memory=22408 CPUtime=462.13 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 14347 0 0 0 46212 1 0 0 20 0 1 0 412322231 46997504 5602 33554432000 4194304 6210612 140721987444256 140721987441912 5451412 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11474 5602 861 493 0 4779 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 22408 KiB


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

/proc/335/statm: 11474 5632 861 493 0 4779 0
Current children cumulated CPU time: 1721.75 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 22528 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 545
/proc/meminfo: memFree=25122196/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22536 CPUtime=1781.73 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 19515 0 0 0 178171 2 0 0 20 0 1 0 412322231 47132672 5634 33554432000 4194304 6210612 140721987444256 140721987442216 5440922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5634 861 493 0 4812 0
Current children cumulated CPU time: 1781.73 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22536 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 553
/proc/meminfo: memFree=25121928/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22536 CPUtime=1841.72 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 19683 0 0 0 184170 2 0 0 20 0 1 0 412322231 47132672 5634 33554432000 4194304 6210612 140721987444256 140721987442216 5442904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5634 861 493 0 4812 0
Current children cumulated CPU time: 1841.72 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22536 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 557
/proc/meminfo: memFree=25122712/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22536 CPUtime=1901.7 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 19777 0 0 0 190168 2 0 0 20 0 1 0 412322231 47132672 5634 33554432000 4194304 6210612 140721987444256 140721987442216 5454016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5634 861 493 0 4812 0
Current children cumulated CPU time: 1901.7 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22536 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 561
/proc/meminfo: memFree=25122000/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22544 CPUtime=1961.68 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 20049 0 0 0 196166 2 0 0 20 0 1 0 412322231 47132672 5636 33554432000 4194304 6210612 140721987444256 140721987442216 5451450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5636 861 493 0 4812 0
Current children cumulated CPU time: 1961.68 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22544 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 569
/proc/meminfo: memFree=25122080/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22544 CPUtime=2021.66 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 20162 0 0 0 202164 2 0 0 20 0 1 0 412322231 47132672 5636 33554432000 4194304 6210612 140721987444256 140721987442216 5452047 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5636 861 493 0 4812 0
Current children cumulated CPU time: 2021.66 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22544 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 575
/proc/meminfo: memFree=25121832/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22544 CPUtime=2081.64 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 20431 0 0 0 208162 2 0 0 20 0 1 0 412322231 47132672 5636 33554432000 4194304 6210612 140721987444256 140721987442216 5451347 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5636 861 493 0 4812 0
Current children cumulated CPU time: 2081.64 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22544 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 582
/proc/meminfo: memFree=25122220/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22544 CPUtime=2141.62 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 20551 0 0 0 214160 2 0 0 20 0 1 0 412322231 47132672 5636 33554432000 4194304 6210612 140721987444256 140721987442216 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5636 861 493 0 4812 0
Current children cumulated CPU time: 2141.62 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22544 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 610
/proc/meminfo: memFree=25123340/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22544 CPUtime=2201.61 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 20852 0 0 0 220159 2 0 0 20 0 1 0 412322231 47132672 5636 33554432000 4194304 6210612 140721987444256 140721987442216 5451324 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5636 861 493 0 4812 0
Current children cumulated CPU time: 2201.61 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22544 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 615
/proc/meminfo: memFree=25122124/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22556 CPUtime=2261.59 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 20985 0 0 0 226157 2 0 0 20 0 1 0 412322231 47132672 5639 33554432000 4194304 6210612 140721987444256 140721987442216 5451442 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5639 861 493 0 4812 0
Current children cumulated CPU time: 2261.59 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22556 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 619
/proc/meminfo: memFree=25122048/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22576 CPUtime=2321.57 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 21170 0 0 0 232155 2 0 0 20 0 1 0 412322231 47132672 5644 33554432000 4194304 6210612 140721987444256 140721987442216 5164437 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5644 861 493 0 4812 0
Current children cumulated CPU time: 2321.57 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22576 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 625
/proc/meminfo: memFree=25121168/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22576 CPUtime=2381.55 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 21322 0 0 0 238153 2 0 0 20 0 1 0 412322231 47132672 5644 33554432000 4194304 6210612 140721987444256 140721987442216 5476686 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5644 861 493 0 4812 0
Current children cumulated CPU time: 2381.55 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22576 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 631
/proc/meminfo: memFree=25121228/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22576 CPUtime=2441.53 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 21443 0 0 0 244151 2 0 0 20 0 1 0 412322231 47132672 5644 33554432000 4194304 6210612 140721987444256 140721987442216 5442898 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5644 861 493 0 4812 0
Current children cumulated CPU time: 2441.53 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22576 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/198 635
/proc/meminfo: memFree=25121928/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22576 CPUtime=2501.51 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 21706 0 0 0 250149 2 0 0 20 0 1 0 412322231 47132672 5644 33554432000 4194304 6210612 140721987444256 140721987442216 5009273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5644 861 493 0 4812 0
Current children cumulated CPU time: 2501.51 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22576 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 3/198 638
/proc/meminfo: memFree=25121460/32770624 swapFree=66977616/67108860
[pid=335] ppid=332 vsize=46028 memory=22584 CPUtime=2519.21 cores=1,3,5,7
/proc/335/stat : 335 (cosoco) R 332 335 32139 0 -1 4202496 21831 0 0 0 251919 2 0 0 20 0 1 0 412322231 47132672 5646 33554432000 4194304 6210612 140721987444256 140721987442216 5164575 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10727424 140721987449867 140721987449969 140721987449969 140721987452878 0
/proc/335/statm: 11507 5646 861 493 0 4812 0
Current children cumulated CPU time: 2519.21 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22584 KiB

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

[startup+2520.01 s]
# the end of solver process 335 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.2 s, system=0.028991 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.23
CPU user time (s): 2519.2
CPU system time (s): 0.028991
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 46028
Max. memory (cumulated for all children) (KiB): 22584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.2
system time used= 0.028991
maximum resident set size= 22652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21879
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= 19
involuntary context switches= 13461


# summary of solver processes directly reported to runsolver:
#   pid: 335
#   total CPU time (s): 2519.23
#   total CPU user time (s): 2519.2
#   total CPU system time (s): 0.028991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66351 second user time and 15.3095 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-13 08:33:53
IDJOB=4389555
IDBENCH=141743
IDSOLVER=2829
FILE ID=node104/4389555-1568360650
RUNJOBID= node104-1568353911-32409
PBS_JOBID= 21701190
Free space on /tmp= 56576 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-29-093.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389555-1568360650/watcher-4389555-1568360650 -o /tmp/evaluation-result-4389555-1568360650/solver-4389555-1568360650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568353911-32409 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389555-1568360650.xml

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

MD5SUM BENCH= bf633c2727f59b2e783fa7e248dd5fc9
RANDOM SEED=956428861

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
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:        25152104 kB
MemAvailable:   31830524 kB
Buffers:          146360 kB
Cached:          6745308 kB
SwapCached:        31860 kB
Active:          1765948 kB
Inactive:        5162420 kB
Active(anon):       3476 kB
Inactive(anon):    74540 kB
Active(file):    1762472 kB
Inactive(file):  5087880 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        113992 kB
Mapped:            43256 kB
Shmem:             32780 kB
Slab:             286328 kB
SReclaimable:     256528 kB
SUnreclaim:        29800 kB
KernelStack:        3440 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     493268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56568 MiB
End job on node104 at 2019-09-13 09:15:53