Trace number 4396672

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2520.06 2519.8

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-24-071.xml
MD5SUMc8960cc0de41b37a4760da710336f2ef
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 benchmark8.03116
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints276
Number of domains24
Minimum domain size48
Maximum domain size71
Distribution of domain sizes[{"size":48,"count":2},{"size":49,"count":2},{"size":50,"count":2},{"size":51,"count":2},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":2},{"size":55,"count":2},{"size":56,"count":2},{"size":57,"count":2},{"size":58,"count":2},{"size":59,"count":2},{"size":60,"count":2},{"size":61,"count":2},{"size":62,"count":2},{"size":63,"count":2},{"size":64,"count":2},{"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}]
Minimum variable degree23
Maximum variable degree23
Distribution of variable degrees[{"degree":23,"count":48}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":276}]
Number of extensional constraints0
Number of intensional constraints276
Distribution of constraint types[{"type":"intension","count":276}]
Optimization problemNO
Type of objective

Solver Data 

0.31/0.34	c root propagations     : 0           
0.31/0.34	c restarts enabled, print stats at every restarts
0.31/0.34	c
0.31/0.34	c
0.31/0.34	c
0.31/0.34	c This is cosoco 2.00 --  
0.31/0.34	c
0.31/0.34	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396672-1568595698.xml 
0.31/0.34	c ========================================[ Problem Statistics ]===========================================
0.31/0.34	c |                                                                                                       
0.31/0.34	c |  Parse time        :         0.33 s 
0.31/0.34	c |
0.31/0.34	c |               Variables: 48
0.31/0.34	c |            Domain Sizes: 48..71
0.31/0.34	c |
0.31/0.34	c |             Constraints: 276
0.31/0.34	c |                   Arity: 4..4
0.31/0.34	c | 
0.31/0.34	c |                   Types: 
0.31/0.34	c |                          Intension: 276
0.31/0.34	c |                          
0.31/0.34	c =========================================================================================================
0.31/0.34	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.50/0.55	c 101            113            5230           5200           0              0              7   13   10    
0.78/0.80	c 211            239            10836          10860          0              0              6   17   12    
2.49/2.54	c 332            386            22579          15757          0              0              6   11   7     
2.69/2.75	c 465            537            29273          22616          0              0              6   19   12    
2.89/2.93	c 611            696            36288          30226          0              0              6   14   10    
3.19/3.21	c 771            874            44230          38136          0              0              8   19   12    
3.39/3.44	c 947            1064           52545          46296          0              0              6   15   11    
3.59/3.67	c 1140           1271           61873          56301          0              0              8   15   12    
4.00/4.02	c 1352           1498           71887          66327          0              0              6   15   11    
4.69/4.71	c 1585           1753           83336          77584          0              0              8   23   14    
5.00/5.06	c 1841           2025           95257          89094          0              0              6   16   12    
5.59/5.62	c 2122           2326           108585         103004         0              0              8   21   14    
6.10/6.13	c 2431           2655           123211         117840         0              0              6   17   13    
7.00/7.06	c 2770           3016           139528         135745         0              0              8   15   13    
7.89/7.94	c 3142           3411           156897         152049         0              0              6   15   13    
8.89/8.99	c 3551           3847           176919         171507         0              0              8   25   18    
10.10/10.14	c 4000           4327           198061         193838         0              0              6   29   20    
11.49/11.55	c 4493           4857           221051         217950         0              0              8   20   16    
14.69/14.70	c 5035           5448           282032         251330         0              0              10   18   16   
15.49/15.53	c 5631           6076           310548         282382         0              0              13   17   16   
17.29/17.33	c 6286           6768           341055         318860         0              0              9   28   24    
20.49/20.58	c 7006           7543           391927         350479         0              0              8   22   19    
22.69/22.72	c 7798           8380           430393         391856         0              0              8   28   25    
28.59/28.65	c 8669           9367           516598         427598         0              0              6   19   17    
31.00/31.07	c 9627           10369          561455         473813         0              0              13   19   18   
38.49/38.54	c 10680          11565          672025         517882         0              0              8   17   16    
42.00/42.10	c 11838          12773          725985         571170         0              0              11   18   17   
49.39/49.49	c 13111          14208          864461         613901         0              0              13   18   16   
53.69/53.74	c 14511          15666          930019         691125         0              0              15   24   21   
58.29/58.38	c 16051          17278          1002978        764655         0              0              14   24   20   
64.29/64.35	c 17745          19039          1083400        856334         0              0              11   24   23   
70.79/70.89	c 19608          20986          1170736        903939         0              0              10   20   19   
78.19/78.28	c 21657          23118          1268376        1009159        0              0              19   22   21   
86.59/86.60	c 23910          25455          1374640        1120236        0              0              11   27   26   
93.29/93.34	c 26388          28049          1495365        1215752        0              0              8   22   21    
101.79/101.88	c 29113          30943          1638418        1297623        0              0              15   21   20   
112.70/112.76	c 32110          34046          1780947        1451925        0              0              19   21   20   
128.30/128.33	c 35406          37579          1980163        1614789        0              0              16   20   19   
147.01/147.08	c 39031          41533          2165662        1796794        0              0              19   21   20   
156.60/156.64	c 43018          45739          2360974        1979017        0              0              11   19   18   
172.70/172.72	c 47403          50301          2580128        2178518        0              0              13   19   18   
185.60/185.65	c 52226          55302          2816647        2406079        0              0              8   18   17    
204.80/204.86	c 57531          60903          3079248        2656666        0              0              16   19   18   
221.21/221.22	c 63366          67041          3364801        2868533        0              0              12   17   16   
257.41/257.45	c 69784          74032          3850143        3115346        0              0              10   17   16   
268.51/268.58	c 76843          81402          4193404        3469635        0              0              11   17   16   
309.61/309.69	c 84607          89840          4899129        3778742        0              0              13   18   17   
330.22/330.26	c 93147          98737          5290724        4147753        0              0              17   19   18   
351.92/351.97	c 102541         108715         5743630        4648596        0              0              8   19   18    
373.22/373.24	c 112874         119449         6215685        5142860        0              0              9   19   18    
442.53/442.50	c 124240         131933         7071415        5669130        0              0              10   19   18   
537.24/537.26	c 136742         145753         8148648        6251425        0              0              11   21   18   
589.15/589.12	c 150494         160028         8806713        6946496        0              0              12   21   20   
631.16/631.17	c 165621         175842         9560682        7601740        0              0              13   21   20   
668.75/668.71	c 182260         193109         10350071       8281731        0              0              10   21   19   
751.17/751.13	c 200562         212854         11387296       9201583        0              0              16   21   20   
960.48/960.43	c 220694         236224         14093825       10668566       0              0              14   20   16   
1031.49/1031.47	c 242839         259823         15171305       11802939       0              0              13   21   18   
1198.12/1198.10	c 267198         288043         17804049       13085018       0              0              11   21   19   
1415.04/1414.90	c 293992         319462         20956630       14596955       0              0              15   20   18   
1525.85/1525.75	c 323465         349902         22361441       15898659       0              0              13   21   20   
1686.06/1685.96	c 355885         385711         24550441       17532365       0              0              11   21   20   
1798.37/1798.27	c 391547         422666         26258657       18975919       0              0              17   21   20   
1907.59/1907.49	c 430775         463595         28129885       20885830       0              0              9   21   20    
2090.70/2090.60	c 473925         510934         31694576       23197672       0              0              15   21   19   
2483.54/2483.36	c 521390         563566         37819313       27121661       0              0              14   19   17   
2520.05/2519.80	
2520.05/2519.80	c *** INTERRUPTED ***
2520.05/2519.80	c restarts              : 66          
2520.05/2519.80	c conflicts             : 531652       (211 /sec)
2520.05/2519.80	c decisions             : 574226       (228 /sec)
2520.05/2519.80	c propagations          : 27660395    (10976 /sec)
2520.05/2519.80	c root propagations     : 0           
2520.05/2519.80	c filter calls          : 38311614       (15203 /sec)
2520.05/2519.80	c useless filter calls  : 35826021       (93 %)
2520.05/2519.80	c Memory used           : 38.42 MB
2520.05/2519.80	c CPU time              : 2520.03 s
2520.05/2519.80	c real time             : 2519.8 s
2520.05/2519.80	
2520.05/2519.80	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (1853 MiB free)
  memory of node 1: 16384 MiB (13404 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396672-1568595698/watcher-4396672-1568595698 -o /tmp/evaluation-result-4396672-1568595698/solver-4396672-1568595698 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568594102-5382 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396672-1568595698.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
solver pid=5616, runsolver pid=5613
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 2.08 2.02 1.95 3/201 5617
/proc/meminfo: memFree=15618528/32770624 swapFree=67000152/67108860
[pid=5616] ppid=5613 vsize=30488 memory=6708 CPUtime=0.1 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 1890 0 0 0 10 0 0 0 20 0 1 0 435818435 31219712 1677 33554432000 4194304 6211092 140729561525152 140729561521688 140444169677797 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 7622 1677 823 493 0 927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 6708 KiB

[startup+0.2098 s]*
/proc/loadavg: 2.08 2.02 1.95 3/201 5617
/proc/meminfo: memFree=15614928/32770624 swapFree=67000152/67108860
[pid=5616] ppid=5613 vsize=34004 memory=10352 CPUtime=0.21 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 2750 0 0 0 21 0 0 0 20 0 1 0 435818435 34820096 2588 33554432000 4194304 6211092 140729561525152 140729561521688 140444169677797 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 8501 2588 823 493 0 1806 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34004 KiB
Current children cumulated memory: 10352 KiB

[startup+0.309242 s]*
/proc/loadavg: 2.08 2.02 1.95 4/201 5617
/proc/meminfo: memFree=15700016/32770624 swapFree=67000152/67108860
[pid=5616] ppid=5613 vsize=37108 memory=13328 CPUtime=0.31 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 3531 0 0 0 31 0 0 0 20 0 1 0 435818435 37998592 3332 33554432000 4194304 6211092 140729561525152 140729561521688 140444169677797 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9277 3332 823 493 0 2582 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37108 KiB
Current children cumulated memory: 13328 KiB

[startup+0.700381 s]
/proc/loadavg: 2.08 2.02 1.95 3/201 5617
/proc/meminfo: memFree=15711828/32770624 swapFree=67000152/67108860
[pid=5616] ppid=5613 vsize=38416 memory=14896 CPUtime=0.68 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 3897 0 0 0 68 0 0 0 20 0 1 0 435818435 39337984 3724 33554432000 4194304 6211092 140729561525152 140729561523416 5441090 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9604 3724 863 493 0 2909 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 14896 KiB

[startup+1.50034 s]
/proc/loadavg: 2.08 2.02 1.95 3/201 5617
/proc/meminfo: memFree=15707240/32770624 swapFree=67000152/67108860
[pid=5616] ppid=5613 vsize=38416 memory=14896 CPUtime=1.49 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 3917 0 0 0 148 1 0 0 20 0 1 0 435818435 39337984 3724 33554432000 4194304 6211092 140729561525152 140729561523112 5440580 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9604 3724 863 493 0 2909 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 14896 KiB

[startup+3.10915 s]
/proc/loadavg: 2.32 2.07 1.97 3/200 5620
/proc/meminfo: memFree=15791888/32770624 swapFree=67000356/67108860
[pid=5616] ppid=5613 vsize=38548 memory=15132 CPUtime=3.1 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 5725 0 0 0 309 1 0 0 20 0 1 0 435818435 39473152 3783 33554432000 4194304 6211092 140729561525152 140729561523112 5453922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9637 3783 863 493 0 2942 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 15132 KiB

[startup+6.30027 s]
/proc/loadavg: 2.32 2.07 1.97 3/200 5620
/proc/meminfo: memFree=15760472/32770624 swapFree=67000356/67108860
[pid=5616] ppid=5613 vsize=38812 memory=15292 CPUtime=6.29 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 7798 0 0 0 628 1 0 0 20 0 1 0 435818435 39743488 3823 33554432000 4194304 6211092 140729561525152 140729561523112 140444170598288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9703 3823 863 493 0 3008 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 15292 KiB

[startup+12.7003 s]
/proc/loadavg: 2.53 2.12 1.98 3/201 5642
/proc/meminfo: memFree=15697100/32770624 swapFree=67000364/67108860
[pid=5616] ppid=5613 vsize=38944 memory=15512 CPUtime=12.69 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 10202 0 0 0 1268 1 0 0 20 0 1 0 435818435 39878656 3878 33554432000 4194304 6211092 140729561525152 140729561523112 5478323 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9736 3878 863 493 0 3041 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 38944 KiB
Current children cumulated memory: 15512 KiB

[startup+25.5002 s]
/proc/loadavg: 2.41 2.11 1.98 3/203 5646
/proc/meminfo: memFree=14837728/32770624 swapFree=67000364/67108860
[pid=5616] ppid=5613 vsize=39208 memory=15716 CPUtime=25.49 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 13862 0 0 0 2548 1 0 0 20 0 1 0 435818435 40148992 3929 33554432000 4194304 6211092 140729561525152 140729561522808 5451532 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9802 3929 863 493 0 3107 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 39208 KiB
Current children cumulated memory: 15716 KiB

[startup+51.1091 s]
/proc/loadavg: 2.78 2.23 2.02 3/201 5709
/proc/meminfo: memFree=31372556/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39208 memory=15760 CPUtime=51.1 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 15345 0 0 0 5109 1 0 0 20 0 1 0 435818435 40148992 3940 33554432000 4194304 6211092 140729561525152 140729561523112 5453908 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9802 3940 863 493 0 3107 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 39208 KiB
Current children cumulated memory: 15760 KiB

[startup+102.3 s]
/proc/loadavg: 2.34 2.19 2.02 3/201 5713
/proc/meminfo: memFree=31373636/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39208 memory=15788 CPUtime=102.3 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 16122 0 0 0 10229 1 0 0 20 0 1 0 435818435 40148992 3947 33554432000 4194304 6211092 140729561525152 140729561523112 5441090 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9802 3947 863 493 0 3107 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 39208 KiB
Current children cumulated memory: 15788 KiB

[startup+162.3 s]
/proc/loadavg: 2.12 2.16 2.02 3/202 5720
/proc/meminfo: memFree=31373348/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39208 memory=15828 CPUtime=162.3 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 16823 0 0 0 16229 1 0 0 20 0 1 0 435818435 40148992 3957 33554432000 4194304 6211092 140729561525152 140729561523112 5453912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9802 3957 863 493 0 3107 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 39208 KiB
Current children cumulated memory: 15828 KiB

[startup+222.3 s]
/proc/loadavg: 2.05 2.13 2.02 3/202 5724
/proc/meminfo: memFree=31373588/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39208 memory=15844 CPUtime=222.31 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 17487 0 0 0 22230 1 0 0 20 0 1 0 435818435 40148992 3961 33554432000 4194304 6211092 140729561525152 140729561523112 5069032 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9802 3961 863 493 0 3107 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 39208 KiB
Current children cumulated memory: 15844 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.11 2.02 3/201 5728
/proc/meminfo: memFree=31373364/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15844 CPUtime=282.31 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 17497 0 0 0 28230 1 0 0 20 0 1 0 435818435 40284160 3961 33554432000 4194304 6211092 140729561525152 140729561523112 5480256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3961 863 493 0 3140 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15844 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.09 2.02 3/201 5734
/proc/meminfo: memFree=31372496/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15852 CPUtime=342.32 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 18153 0 0 0 34231 1 0 0 20 0 1 0 435818435 40284160 3963 33554432000 4194304 6211092 140729561525152 140729561523112 5069413 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3963 863 493 0 3140 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15852 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.07 2.02 3/201 5738
/proc/meminfo: memFree=31372560/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15852 CPUtime=402.32 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 18163 0 0 0 40231 1 0 0 20 0 1 0 435818435 40284160 3963 33554432000 4194304 6211092 140729561525152 140729561523112 140444170601348 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3963 863 493 0 3140 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15852 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/200 5742
/proc/meminfo: memFree=31371988/32770624 swapFree=67000396/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15864 CPUtime=462.33 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 18816 0 0 0 46232 1 0 0 20 0 1 0 435818435 40284160 3966 33554432000 4194304 6211092 140729561525152 140729561523112 5451576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3966 863 493 0 3140 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15864 KiB


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

/proc/5616/statm: 9835 3977 863 493 0 3140 0
Current children cumulated CPU time: 1722.47 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15908 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 5864
/proc/meminfo: memFree=31368824/32770624 swapFree=67001464/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15908 CPUtime=1782.47 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 25968 0 0 0 178245 2 0 0 20 0 1 0 435818435 40284160 3977 33554432000 4194304 6211092 140729561525152 140729561523112 140444170603935 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3977 863 493 0 3140 0
Current children cumulated CPU time: 1782.47 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15908 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 5868
/proc/meminfo: memFree=31368820/32770624 swapFree=67001464/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15908 CPUtime=1842.48 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 26345 0 0 0 184246 2 0 0 20 0 1 0 435818435 40284160 3977 33554432000 4194304 6211092 140729561525152 140729561523112 5452242 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3977 863 493 0 3140 0
Current children cumulated CPU time: 1842.48 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15908 KiB

[startup+1902.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/200 5914
/proc/meminfo: memFree=31340064/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15908 CPUtime=1902.48 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 26651 0 0 0 190246 2 0 0 20 0 1 0 435818435 40284160 3977 33554432000 4194304 6211092 140729561525152 140729561523112 5455650 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3977 863 493 0 3140 0
Current children cumulated CPU time: 1902.48 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15908 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/200 5920
/proc/meminfo: memFree=31340204/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15908 CPUtime=1962.49 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 27055 0 0 0 196247 2 0 0 20 0 1 0 435818435 40284160 3977 33554432000 4194304 6211092 140729561525152 140729561523112 5164759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3977 863 493 0 3140 0
Current children cumulated CPU time: 1962.49 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15908 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/200 5924
/proc/meminfo: memFree=31340640/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15912 CPUtime=2022.5 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 27561 0 0 0 202248 2 0 0 20 0 1 0 435818435 40284160 3978 33554432000 4194304 6211092 140729561525152 140729561523112 5480250 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3978 863 493 0 3140 0
Current children cumulated CPU time: 2022.5 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15912 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/200 5928
/proc/meminfo: memFree=31340616/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15912 CPUtime=2082.5 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 27562 0 0 0 208248 2 0 0 20 0 1 0 435818435 40284160 3978 33554432000 4194304 6211092 140729561525152 140729561523112 5446174 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3978 863 493 0 3140 0
Current children cumulated CPU time: 2082.5 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15912 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 5934
/proc/meminfo: memFree=31340820/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15912 CPUtime=2142.51 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 28259 0 0 0 214249 2 0 0 20 0 1 0 435818435 40284160 3978 33554432000 4194304 6211092 140729561525152 140729561523112 5443112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3978 863 493 0 3140 0
Current children cumulated CPU time: 2142.51 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15912 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 5938
/proc/meminfo: memFree=31341296/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15912 CPUtime=2202.52 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 28286 0 0 0 220250 2 0 0 20 0 1 0 435818435 40284160 3978 33554432000 4194304 6211092 140729561525152 140729561523112 140444170601345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3978 863 493 0 3140 0
Current children cumulated CPU time: 2202.52 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15912 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 5942
/proc/meminfo: memFree=31341416/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15912 CPUtime=2262.52 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 28838 0 0 0 226250 2 0 0 20 0 1 0 435818435 40284160 3978 33554432000 4194304 6211092 140729561525152 140729561523112 5454183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3978 863 493 0 3140 0
Current children cumulated CPU time: 2262.52 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15912 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 5948
/proc/meminfo: memFree=31341244/32770624 swapFree=67001468/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15916 CPUtime=2322.53 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 28930 0 0 0 232251 2 0 0 20 0 1 0 435818435 40284160 3979 33554432000 4194304 6211092 140729561525152 140729561523112 140444170603946 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3979 863 493 0 3140 0
Current children cumulated CPU time: 2322.53 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15916 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5960
/proc/meminfo: memFree=31341872/32770624 swapFree=67001488/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15916 CPUtime=2382.53 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 29481 0 0 0 238251 2 0 0 20 0 1 0 435818435 40284160 3979 33554432000 4194304 6211092 140729561525152 140729561523112 5443000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3979 863 493 0 3140 0
Current children cumulated CPU time: 2382.53 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15916 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5964
/proc/meminfo: memFree=31341812/32770624 swapFree=67001488/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15916 CPUtime=2442.54 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 29482 0 0 0 244252 2 0 0 20 0 1 0 435818435 40284160 3979 33554432000 4194304 6211092 140729561525152 140729561523112 5451482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3979 863 493 0 3140 0
Current children cumulated CPU time: 2442.54 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15916 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 5970
/proc/meminfo: memFree=31341648/32770624 swapFree=67001488/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15916 CPUtime=2502.55 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 30196 0 0 0 250253 2 0 0 20 0 1 0 435818435 40284160 3979 33554432000 4194304 6211092 140729561525152 140729561523112 5441110 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3979 863 493 0 3140 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 5970
/proc/meminfo: memFree=31341828/32770624 swapFree=67001488/67108860
[pid=5616] ppid=5613 vsize=39340 memory=15916 CPUtime=2520.05 cores=1,3,5,7
/proc/5616/stat : 5616 (cosoco) R 5613 5616 5350 0 -1 4202496 30196 0 0 0 252003 2 0 0 20 0 1 0 435818435 40284160 3979 33554432000 4194304 6211092 140729561525152 140729561523112 5439602 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10526720 140729561531403 140729561531505 140729561531505 140729561534414 0
/proc/5616/statm: 9835 3979 863 493 0 3140 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15916 KiB

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

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

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.06
CPU user time (s): 2520.03
CPU system time (s): 0.022002
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 39340
Max. memory (cumulated for all children) (KiB): 15916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.022002
maximum resident set size= 15980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30233
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= 18
involuntary context switches= 748


# summary of solver processes directly reported to runsolver:
#   pid: 5616
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.022002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3547 second user time and 14.6226 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-16 03:00:54
IDJOB=4396672
IDBENCH=141713
IDSOLVER=2848
FILE ID=node136/4396672-1568595698
RUNJOBID= node136-1568594102-5382
PBS_JOBID= 21703347
Free space on /tmp= 61068 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-24-071.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396672-1568595698/watcher-4396672-1568595698 -o /tmp/evaluation-result-4396672-1568595698/solver-4396672-1568595698 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568594102-5382 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396672-1568595698.xml

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

MD5SUM BENCH= c8960cc0de41b37a4760da710336f2ef
RANDOM SEED=1598408178

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15623696 kB
MemAvailable:   16328056 kB
Buffers:           59960 kB
Cached:           939028 kB
SwapCached:         3860 kB
Active:         15977544 kB
Inactive:         565280 kB
Active(anon):   15467284 kB
Inactive(anon):   125380 kB
Active(file):     510260 kB
Inactive(file):   439900 kB
Unevictable:      109760 kB
Mlocked:          109760 kB
SwapTotal:      67108860 kB
SwapFree:       67000152 kB
Dirty:             58080 kB
Writeback:         43992 kB
AnonPages:      15635916 kB
Mapped:            48352 kB
Shmem:             40188 kB
Slab:             168936 kB
SReclaimable:     140068 kB
SUnreclaim:        28868 kB
KernelStack:        3792 kB
PageTables:        36372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   16151864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61164 MiB
End job on node136 at 2019-09-16 03:42:54