Trace number 4407904

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

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-17-042.xml
MD5SUM30a2df13e8a589268a4af4fb67fb8cf0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.93882
Satisfiable
(Un)Satisfiability was proved
Number of variables34
Number of constraints136
Number of domains17
Minimum domain size26
Maximum domain size42
Distribution of domain sizes[{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":34}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.16	c root propagations     : 0           
0.10/0.16	c restarts enabled, print stats at every restarts
0.10/0.16	c
0.10/0.16	c
0.10/0.16	c
0.10/0.16	c This is cosoco 2.00 --  
0.10/0.16	c
0.10/0.16	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407904-1569815663.xml 
0.10/0.16	c ========================================[ Problem Statistics ]===========================================
0.10/0.16	c |                                                                                                       
0.10/0.16	c |  Parse time        :         0.16 s 
0.10/0.16	c |
0.10/0.16	c |               Variables: 34
0.10/0.16	c |            Domain Sizes: 26..42
0.10/0.16	c |
0.10/0.16	c |             Constraints: 136
0.10/0.16	c |                   Arity: 4..4
0.10/0.16	c | 
0.10/0.16	c |                   Types: 
0.10/0.16	c |                          Intension: 136
0.10/0.16	c |                          
0.10/0.16	c =========================================================================================================
0.10/0.16	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.60/0.61	c 101            131            4473           3974           0              0              5   9   8      
0.89/0.98	c 211            273            9511           7947           0              0              6   19   10    
1.19/1.24	c 332            427            14477          12766          0              0              10   19   17   
1.39/1.40	c 465            583            19275          16244          0              0              13   23   19   
1.69/1.73	c 611            763            25169          20837          0              0              11   16   13   
2.59/2.70	c 771            960            36690          27378          0              0              6   18   15    
3.19/3.29	c 947            1190           45301          33783          0              0              11   15   14   
3.59/3.67	c 1140           1410           52484          39977          0              0              5   9   8      
4.10/4.17	c 1352           1648           60115          44230          0              0              8   8   7      
4.39/4.45	c 1585           1911           68435          51368          0              0              8   23   20    
4.79/4.83	c 1841           2199           77960          58943          0              0              14   16   15   
5.19/5.24	c 2122           2515           88253          67513          0              0              16   18   16   
5.89/5.90	c 2431           2905           101080         80689          0              0              16   19   18   
6.29/6.36	c 2770           3291           113287         91259          0              0              17   21   20   
7.10/7.13	c 3142           3730           128458         100672         0              0              11   16   13   
7.59/7.60	c 3551           4180           143089         113592         0              0              12   18   17   
8.49/8.50	c 4000           4691           161253         127688         0              0              15   18   16   
9.59/9.65	c 4493           5402           183775         149591         0              0              11   17   15   
10.19/10.24	c 5035           5990           202843         166536         0              0              15   18   17   
11.89/11.96	c 5631           6823           229935         192697         0              0              13   18   15   
12.89/12.91	c 6286           7547           252698         214322         0              0              13   17   15   
15.18/15.23	c 7006           8586           285178         241576         0              0              6   12   11    
16.78/16.83	c 7798           9463           313369         266858         0              0              7   12   9     
19.78/19.83	c 8669           10477          346802         291906         0              0              7   11   9     
22.09/22.17	c 9627           11554          382247         311387         0              0              8   8   7      
25.58/25.65	c 10680          12753          421892         336814         0              0              6   9   7      
28.18/28.28	c 11838          14089          465644         369156         0              0              7   9   8      
31.18/31.21	c 13111          15520          512121         410707         0              0              7   9   8      
34.09/34.19	c 14511          17076          563095         447603         0              0              6   16   12    
50.48/50.58	c 16051          18890          694847         565863         0              0              7   13   9     
54.58/54.68	c 17745          20782          757375         615502         0              0              8   13   11    
63.87/63.93	c 19608          23202          865852         728658         0              0              7   13   11    
83.27/83.34	c 21657          25479          1042667        903233         0              0              7   9   8      
87.27/87.38	c 23910          27989          1124558        969969         0              0              9   13   11    
105.36/105.41	c 26388          30944          1292497        1143985        0              0              7   13   10    
113.86/113.91	c 29113          34569          1408576        1250131        0              0              9   11   10    
119.97/120.10	c 32110          37946          1534871        1360267        0              0              7   16   13    
125.86/125.93	c 35406          41641          1653220        1448609        0              0              9   16   13    
152.45/152.50	c 39031          45777          1941896        1707145        0              0              7   13   9     
158.96/159.02	c 43018          50115          2096044        1838605        0              0              8   23   17    
168.75/168.88	c 47403          55057          2282584        2004360        0              0              9   18   13    
176.15/176.29	c 52226          60322          2455163        2152401        0              0              9   23   18    
187.85/187.91	c 57531          66317          2673645        2332363        0              0              9   23   15    
198.34/198.41	c 63366          72767          2875594        2522648        0              0              7   23   18    
208.74/208.82	c 69784          79835          3107008        2737934        0              0              11   23   17   
218.74/218.81	c 76843          87356          3341548        2964339        0              0              15   23   21   
230.64/230.75	c 84607          95621          3605593        3202992        0              0              15   19   17   
249.04/249.11	c 93147          105817         3936644        3490584        0              0              10   16   13   
276.13/276.23	c 102541         118038         4344454        3870990        0              0              8   13   12    
305.03/305.11	c 112874         130092         4732826        4219113        0              0              8   18   14    
332.71/332.80	c 124240         143595         5175204        4547923        0              0              8   23   14    
349.81/349.95	c 136742         157137         5600721        4943251        0              0              12   23   19   
370.91/371.05	c 150494         172093         6081308        5378960        0              0              12   23   18   
394.70/394.87	c 165621         188120         6589635        5828515        0              0              12   21   18   
433.30/433.40	c 182260         209005         7269584        6436281        0              0              11   17   15   
458.40/458.53	c 200562         228694         7894414        6983855        0              0              9   23   18    
502.69/502.87	c 220694         251112         8619180        7604521        0              0              8   17   13    
540.79/540.93	c 242839         276224         9450938        8185925        0              0              6   15   10    
631.89/632.03	c 267198         307160         10474504       9008927        0              0              7   11   10    
682.67/682.81	c 293992         336746         11495918       9849855        0              0              6   19   14    
729.27/729.42	c 323465         369666         12586594       10705057       0              0              7   15   11    
876.65/876.84	c 355885         410399         13975899       11809112       0              0              4   9   8      
1022.14/1022.39	c 391547         453201         15786163       13300510       0              0              6   15   10    
1095.53/1095.78	c 430775         497688         17243509       14610677       0              0              6   19   13    
1167.93/1168.12	c 473925         545606         18826850       16043738       0              0              7   22   17    
1286.11/1286.39	c 521390         603237         20747822       17646939       0              0              7   15   11    
1368.30/1368.58	c 573601         659469         22605007       19283677       0              0              6   23   17    
1522.39/1522.66	c 631033         727337         25144820       21487847       0              0              6   16   11    
1657.67/1657.94	c 694208         800812         27557770       23283032       0              0              7   21   12    
1738.87/1739.16	c 763700         874582         29893572       25265669       0              0              8   21   18    
1964.65/1965.00	c 840141         964993         32942504       27801306       0              0              7   21   14    
2089.24/2089.57	c 924226         1055470        35852677       30316551       0              0              8   21   17    
2272.92/2273.25	c 1016719        1159788        39338808       32898472       0              0              7   19   15    
2519.72/2520.00	
2519.72/2520.00	c *** INTERRUPTED ***
2519.72/2520.00	c restarts              : 73          
2519.72/2520.00	c conflicts             : 1102203      (437 /sec)
2519.72/2520.00	c decisions             : 1260524      (500 /sec)
2519.72/2520.00	c propagations          : 35955261    (14270 /sec)
2519.72/2520.00	c root propagations     : 0           
2519.72/2520.00	c filter calls          : 42822260       (16995 /sec)
2519.72/2520.00	c useless filter calls  : 39342951       (91 %)
2519.72/2520.00	c Memory used           : 31.91 MB
2519.72/2520.00	c CPU time              : 2519.71 s
2519.72/2520.00	c real time             : 2520 s
2519.72/2520.00	
2519.72/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 (15198 MiB free)
  memory of node 1: 16384 MiB (15049 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407904-1569815663/watcher-4407904-1569815663 -o /tmp/evaluation-result-4407904-1569815663/solver-4407904-1569815663 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407904-1569815663.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=8970, runsolver pid=8967

[startup+0.10016 s]*
/proc/loadavg: 2.03 2.14 2.12 3/200 8971
/proc/meminfo: memFree=30971296/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=30468 memory=6688 CPUtime=0.1 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 1867 0 0 0 10 0 0 0 20 0 1 0 557504585 31199232 1672 33554432000 4194304 6211132 140725738865952 140725738862488 140045955218405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 7617 1672 822 493 0 922 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30468 KiB
Current children cumulated memory: 6688 KiB

[startup+0.209599 s]*
/proc/loadavg: 2.03 2.14 2.12 4/200 8971
/proc/meminfo: memFree=30969064/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32276 memory=8756 CPUtime=0.21 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 2375 0 0 0 21 0 0 0 20 0 1 0 557504585 33050624 2189 33554432000 4194304 6211132 140725738865952 140725738857592 5446189 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8069 2189 855 493 0 1374 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 8756 KiB

[startup+0.309191 s]*
/proc/loadavg: 2.03 2.14 2.12 3/200 8971
/proc/meminfo: memFree=30969064/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32276 memory=8756 CPUtime=0.31 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 2383 0 0 0 31 0 0 0 20 0 1 0 557504585 33050624 2189 33554432000 4194304 6211132 140725738865952 140725738857592 5443135 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8069 2189 855 493 0 1374 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 8756 KiB

[startup+0.700267 s]
/proc/loadavg: 2.03 2.14 2.12 3/200 8971
/proc/meminfo: memFree=30969064/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32408 memory=8756 CPUtime=0.69 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 2392 0 0 0 69 0 0 0 20 0 1 0 557504585 33185792 2189 33554432000 4194304 6211132 140725738865952 140725738864216 5443143 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8102 2189 855 493 0 1407 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32408 KiB
Current children cumulated memory: 8756 KiB

[startup+1.50027 s]
/proc/loadavg: 2.03 2.14 2.12 3/200 8971
/proc/meminfo: memFree=30968972/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32540 memory=9020 CPUtime=1.49 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 2442 0 0 0 149 0 0 0 20 0 1 0 557504585 33320960 2255 33554432000 4194304 6211132 140725738865952 140725738863912 140045956144554 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8135 2255 863 493 0 1440 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9020 KiB

[startup+3.10915 s]
/proc/loadavg: 2.03 2.14 2.12 3/200 8971
/proc/meminfo: memFree=30968724/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32540 memory=9164 CPUtime=3.1 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 3580 0 0 0 310 0 0 0 20 0 1 0 557504585 33320960 2291 33554432000 4194304 6211132 140725738865952 140725738863912 5446311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8135 2291 863 493 0 1440 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9164 KiB

[startup+6.30026 s]
/proc/loadavg: 2.10 2.15 2.12 3/200 8971
/proc/meminfo: memFree=30968692/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9180 CPUtime=6.29 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 4801 0 0 0 629 0 0 0 20 0 1 0 557504585 33456128 2295 33554432000 4194304 6211132 140725738865952 140725738863912 5164740 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2295 863 493 0 1473 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9180 KiB

[startup+12.7003 s]
/proc/loadavg: 2.18 2.16 2.13 3/200 8971
/proc/meminfo: memFree=30968600/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9192 CPUtime=12.69 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 5925 0 0 0 1269 0 0 0 20 0 1 0 557504585 33456128 2298 33554432000 4194304 6211132 140725738865952 140725738863912 5480231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2298 863 493 0 1473 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9192 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 2.16 2.12 3/200 8974
/proc/meminfo: memFree=30968508/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9220 CPUtime=25.48 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 7056 0 0 0 2548 0 0 0 20 0 1 0 557504585 33456128 2305 33554432000 4194304 6211132 140725738865952 140725738863912 140045965163342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2305 863 493 0 1473 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9220 KiB

[startup+51.1091 s]
/proc/loadavg: 2.09 2.14 2.12 3/200 8974
/proc/meminfo: memFree=30968632/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9224 CPUtime=51.08 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 7399 0 0 0 5108 0 0 0 20 0 1 0 557504585 33456128 2306 33554432000 4194304 6211132 140725738865952 140725738863912 140045965163328 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2306 863 493 0 1473 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9224 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.12 2.12 3/200 8979
/proc/meminfo: memFree=30969084/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9228 CPUtime=102.27 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 7664 0 0 0 10227 0 0 0 20 0 1 0 557504585 33456128 2307 33554432000 4194304 6211132 140725738865952 140725738863912 5440652 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2307 863 493 0 1473 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9228 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.10 2.11 3/200 8985
/proc/meminfo: memFree=30968288/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9236 CPUtime=162.25 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 7988 0 0 0 16225 0 0 0 20 0 1 0 557504585 33456128 2309 33554432000 4194304 6211132 140725738865952 140725738863912 5453940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2309 863 493 0 1473 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9236 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.11 3/200 8989
/proc/meminfo: memFree=30968560/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9244 CPUtime=222.24 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 8327 0 0 0 22224 0 0 0 20 0 1 0 557504585 33456128 2311 33554432000 4194304 6211132 140725738865952 140725738863912 5446250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2311 863 493 0 1473 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9244 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/199 8994
/proc/meminfo: memFree=30969800/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9256 CPUtime=282.22 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 8618 0 0 0 28222 0 0 0 20 0 1 0 557504585 33456128 2314 33554432000 4194304 6211132 140725738865952 140725738863912 5446680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2314 863 493 0 1473 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9256 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/199 9000
/proc/meminfo: memFree=30968508/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9260 CPUtime=342.21 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 8959 0 0 0 34221 0 0 0 20 0 1 0 557504585 33456128 2315 33554432000 4194304 6211132 140725738865952 140725738863912 5478406 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2315 863 493 0 1473 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB

[startup+402.3 s]
/proc/loadavg: 2.55 2.19 2.14 3/201 9013
/proc/meminfo: memFree=30968300/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9260 CPUtime=402.2 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 9290 0 0 0 40220 0 0 0 20 0 1 0 557504585 33456128 2315 33554432000 4194304 6211132 140725738865952 140725738863912 5164909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2315 863 493 0 1473 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9260 KiB

[startup+462.3 s]
/proc/loadavg: 2.20 2.15 2.13 3/201 9039
/proc/meminfo: memFree=30968064/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9264 CPUtime=462.19 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 9627 0 0 0 46219 0 0 0 20 0 1 0 557504585 33456128 2316 33554432000 4194304 6211132 140725738865952 140725738863912 5454200 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2316 863 493 0 1473 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9264 KiB


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

/proc/8970/statm: 8168 2317 863 493 0 1473 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 9159
/proc/meminfo: memFree=30966992/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9268 CPUtime=1782.06 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 15745 0 0 0 178206 0 0 0 20 0 1 0 557504585 33456128 2317 33554432000 4194304 6211132 140725738865952 140725738863912 140045965163352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2317 863 493 0 1473 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/200 9163
/proc/meminfo: memFree=30966960/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9268 CPUtime=1842.05 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 16014 0 0 0 184205 0 0 0 20 0 1 0 557504585 33456128 2317 33554432000 4194304 6211132 140725738865952 140725738863912 5443038 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2317 863 493 0 1473 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9268 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 9168
/proc/meminfo: memFree=30968000/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=1902.05 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 16289 0 0 0 190205 0 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5476848 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 9174
/proc/meminfo: memFree=30967032/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=1962.05 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 16563 0 0 0 196204 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 4982624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 9178
/proc/meminfo: memFree=30967176/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2022.04 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 16896 0 0 0 202203 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5455666 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 9183
/proc/meminfo: memFree=30967748/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2082.04 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 17211 0 0 0 208203 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5441152 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 9189
/proc/meminfo: memFree=30966652/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2142.03 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 17525 0 0 0 214202 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 140045956144548 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9200
/proc/meminfo: memFree=30967100/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2202.03 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 17783 0 0 0 220202 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5451514 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2202.03 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9204
/proc/meminfo: memFree=30966728/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2262.02 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 18110 0 0 0 226201 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5440648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9210
/proc/meminfo: memFree=30967104/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2322.01 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 18364 0 0 0 232200 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5446292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9214
/proc/meminfo: memFree=30967140/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2382.01 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 18584 0 0 0 238200 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5446638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2442.3 s]
/proc/loadavg: 1.40 1.84 1.99 2/192 9263
/proc/meminfo: memFree=30976164/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2442.01 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 18839 0 0 0 244200 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5164837 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

[startup+2502.3 s]
/proc/loadavg: 1.15 1.69 1.92 2/192 9269
/proc/meminfo: memFree=30975452/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2502.01 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 19068 0 0 0 250200 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5446307 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.11 1.65 1.91 2/192 9270
/proc/meminfo: memFree=30975676/32770624 swapFree=66997268/67108860
[pid=8970] ppid=8967 vsize=32672 memory=9272 CPUtime=2519.72 cores=1,3,5,7
/proc/8970/stat : 8970 (cosoco) R 8967 8970 2465 0 -1 4202496 19248 0 0 0 251971 1 0 0 20 0 1 0 557504585 33456128 2318 33554432000 4194304 6211132 140725738865952 140725738863912 5452193 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 39260160 140725738869771 140725738869873 140725738869873 140725738872782 0
/proc/8970/statm: 8168 2318 863 493 0 1473 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 32672 KiB
Current children cumulated memory: 9272 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.012998
maximum resident set size= 9336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3598


# summary of solver processes directly reported to runsolver:
#   pid: 8970
#   total CPU time (s): 2519.73
#   total CPU user time (s): 2519.71
#   total CPU system time (s): 0.012998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.06439 second user time and 16.7628 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-30 05:53:41
IDJOB=4407904
IDBENCH=141744
IDSOLVER=2874
FILE ID=node140/4407904-1569815663
RUNJOBID= node140-1569787351-2497
PBS_JOBID= 21705822
Free space on /tmp= 62028 MiB

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

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=1477327531

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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:        30974376 kB
MemAvailable:   31867908 kB
Buffers:          110940 kB
Cached:          1119896 kB
SwapCached:         3040 kB
Active:           897032 kB
Inactive:         349328 kB
Active(anon):       8744 kB
Inactive(anon):    86440 kB
Active(file):     888288 kB
Inactive(file):   262888 kB
Unevictable:      107036 kB
Mlocked:          107036 kB
SwapTotal:      67108860 kB
SwapFree:       66997268 kB
Dirty:              2808 kB
Writeback:             0 kB
AnonPages:        120172 kB
Mapped:            28600 kB
Shmem:             71168 kB
Slab:             145104 kB
SReclaimable:     116384 kB
SUnreclaim:        28720 kB
KernelStack:        3536 kB
PageTables:         5268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     575756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node140 at 2019-09-30 06:35:41