Trace number 4408201

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

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-080-25.xml
MD5SUM86f21c6f99b90e2b5de67b4ee346bae4
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 benchmark51.5215
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Number of domains1
Minimum domain size6400
Maximum domain size6400
Distribution of domain sizes[{"size":6400,"count":25}]
Minimum variable degree23
Maximum variable degree23
Distribution of variable degrees[{"degree":23,"count":25}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":300}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.11	c root propagations     : 0           
0.09/0.11	c restarts enabled, print stats at every restarts
0.09/0.11	c
0.09/0.11	c
0.09/0.11	c
0.09/0.11	c This is cosoco 2.00 --  
0.09/0.11	c
0.09/0.11	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408201-1569789914.xml 
0.09/0.11	c ========================================[ Problem Statistics ]===========================================
0.09/0.11	c |                                                                                                       
0.09/0.11	c |  Parse time        :         0.10 s 
0.09/0.11	c |
0.09/0.11	c |               Variables: 25
0.09/0.11	c |            Domain Sizes: 6400..6400
0.09/0.11	c |
0.09/0.11	c |             Constraints: 300
0.09/0.11	c |                   Arity: 2..2  -- Binary: 300
0.09/0.11	c | 
0.09/0.11	c |                   Types: 
0.09/0.11	c |                          (X != Y): 275
0.09/0.11	c |                          Intension: 25
0.09/0.11	c |                          
0.09/0.11	c =========================================================================================================
0.09/0.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/0.77	c 101            130            11344          887222         0              0              21   23   21   
1.38/1.43	c 211            281            25392          1761879        0              0              21   23   22   
1.78/1.89	c 332            439            38746          2362606        0              0              21   23   21   
2.88/2.97	c 465            627            56771          3702898        0              0              21   23   22   
3.28/3.39	c 611            805            70863          4252859        0              0              5   23   21    
4.28/4.37	c 771            997            85545          5554785        0              0              21   23   21   
5.58/5.67	c 947            1238           107260         7271464        0              0              21   23   22   
6.68/6.71	c 1140           1500           128696         8643911        0              0              21   23   22   
8.48/8.55	c 1352           1832           159609         11069081       0              0              20   23   22   
10.28/10.31	c 1585           2162           188383         13391622       0              0              21   23   22   
12.09/12.12	c 1841           2503           215695         15790645       0              0              20   23   22   
14.09/14.16	c 2122           2882           247708         18445001       0              0              21   23   22   
16.28/16.30	c 2431           3293           280942         21271567       0              0              21   23   22   
18.99/19.07	c 2770           3749           320259         24888888       0              0              20   23   22   
21.58/21.61	c 3142           4230           358327         28206663       0              0              21   23   22   
24.28/24.39	c 3551           4752           398392         31907338       0              0              20   23   21   
26.68/26.78	c 4000           5319           441912         35015309       0              0              16   23   22   
29.78/29.82	c 4493           5976           493640         39048569       0              0              20   23   22   
32.28/32.38	c 5035           6624           540283         42450460       0              0              20   23   21   
34.68/34.77	c 5631           7373           592989         45558057       0              0              20   23   21   
38.38/38.47	c 6286           8212           657539         50465230       0              0              21   23   22   
42.68/42.72	c 7006           9149           729565         56055234       0              0              21   23   22   
46.98/47.09	c 7798           10150          804418         61920065       0              0              20   23   22   
52.68/52.79	c 8669           11233          884926         69346003       0              0              21   23   22   
58.09/58.14	c 9627           12350          969303         76479715       0              0              20   23   21   
61.99/62.03	c 10680          13585          1053002        81599225       0              0              21   23   22   
67.58/67.63	c 11838          15082          1159634        88911880       0              0              19   23   21   
77.38/77.45	c 13111          16779          1293780        101864413      0              0              20   23   22   
85.18/85.29	c 14511          18525          1414621        112290940      0              0              20   23   21   
95.09/95.14	c 16051          20589          1566502        125413003      0              0              20   23   22   
105.48/105.51	c 17745          22728          1721682        139130398      0              0              20   23   22   
116.58/116.65	c 19608          25099          1901665        153909009      0              0              20   23   22   
129.38/129.44	c 21657          27586          2078574        170787078      0              0              20   23   22   
142.38/142.40	c 23910          30139          2244065        188096094      0              0              20   23   21   
157.09/157.14	c 26388          33161          2462594        207691488      0              0              20   23   21   
173.58/173.62	c 29113          36768          2727965        229268676      0              0              19   23   22   
186.38/186.42	c 32110          40348          2965884        246266368      0              0              20   23   21   
205.78/205.81	c 35406          44328          3246167        271816721      0              0              20   23   22   
224.58/224.69	c 39031          48953          3571137        296667084      0              0              19   23   22   
243.48/243.50	c 43018          54051          3924188        321108545      0              0              19   23   21   
266.88/266.90	c 47403          59397          4296277        352248407      0              0              20   23   22   
292.78/292.85	c 52226          65175          4692790        386035172      0              0              20   23   22   
326.28/326.37	c 57531          71970          5186393        429872064      0              0              19   23   22   
364.38/364.41	c 63366          78790          5667217        480088366      0              0              20   23   21   
395.28/395.35	c 69784          85889          6080059        521396144      0              0              19   23   20   
408.58/408.68	c 76843          93616          6523766        538617294      0              0              20   23   20   
444.48/444.58	c 84607          103144         7175771        586064507      0              0              19   23   21   
559.58/559.65	c 93147          117768         8662911        738735842      0              0              19   23   20   
592.09/592.13	c 102541         128498         9348500        781611852      0              0              20   23   21   
655.09/655.16	c 112874         140678         10174307       864523466      0              0              20   23   22   
714.09/714.18	c 124240         154009         11027507       942763729      0              0              19   23   21   
785.48/785.59	c 136742         169371         12093121       1035841314     0              0              19   23   22   
889.48/889.57	c 150494         184690         13297305       1174488788     0              0              20   23   21   
966.38/966.49	c 165621         202666         14463886       1275211925     0              0              19   23   21   
1026.99/1027.02	c 182260         221395         15628165       1353642204     0              0              19   23   21   
1188.89/1188.97	c 200562         240643         17302415       1567682921     0              0              20   23   20   
1304.19/1304.29	c 220694         262927         18899773       1716757234     0              0              20   23   20   
1450.29/1450.32	c 242839         288064         20734681       1909782144     0              0              20   23   21   
1576.30/1576.37	c 267198         315600         22641393       2074395675     0              0              19   23   21   
1648.80/1648.85	c 293992         346148         24496684       2170220038     0              0              19   23   21   
1895.20/1895.23	c 323465         377416         26994198       2481862403     0              0              20   23   20   
2002.70/2002.70	c 355885         414007         29158957       2623044216     0              0              19   23   20   
2197.80/2197.86	c 391547         454328         31844012       2870433416     0              0              19   23   20   
2444.42/2444.43	c 430775         496539         34651748       3197571549     0              0              19   23   20   
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c restarts              : 64          
2520.03/2520.00	c conflicts             : 441464       (175 /sec)
2520.03/2520.00	c decisions             : 508255       (202 /sec)
2520.03/2520.00	c propagations          : 3297554191  (1308553 /sec)
2520.03/2520.00	c root propagations     : 0           
2520.03/2520.00	c filter calls          : 35555891       (14109 /sec)
2520.03/2520.00	c useless filter calls  : 34116043       (95 %)
2520.03/2520.00	c Memory used           : 40.86 MB
2520.03/2520.00	c CPU time              : 2520 s
2520.03/2520.00	c real time             : 2520 s
2520.03/2520.00	
2520.03/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 (13901 MiB free)
  memory of node 1: 16384 MiB (14077 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408201-1569789914/watcher-4408201-1569789914 -o /tmp/evaluation-result-4408201-1569789914/solver-4408201-1569789914 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23555 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408201-1569789914.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=23932, runsolver pid=23927

[startup+0.100688 s]*
/proc/loadavg: 2.00 2.00 1.87 3/200 23944
/proc/meminfo: memFree=28636896/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=35720 memory=12204 CPUtime=0.09 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 3213 0 0 0 9 0 0 0 20 0 1 0 554927824 36577280 2986 33554432000 4194304 6211132 140722503312480 140722503307448 140192618130528 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 8930 2986 825 493 0 2235 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35720 KiB
Current children cumulated memory: 12204 KiB

[startup+0.209854 s]*
/proc/loadavg: 2.00 2.00 1.87 3/195 23952
/proc/meminfo: memFree=28638428/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36256 memory=12732 CPUtime=0.2 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 3382 0 0 0 20 0 0 0 20 0 1 0 554927824 37126144 3183 33554432000 4194304 6211132 140722503312480 140722503307448 140192615564175 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+0.30967 s]*
/proc/loadavg: 2.00 2.00 1.87 4/213 23973
/proc/meminfo: memFree=28623340/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36256 memory=12732 CPUtime=0.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 3382 0 0 0 30 0 0 0 20 0 1 0 554927824 37126144 3183 33554432000 4194304 6211132 140722503312480 140722503307448 5164936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 1.87 2/194 23992
/proc/meminfo: memFree=28641740/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36256 memory=12732 CPUtime=0.68 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 3382 0 0 0 68 0 0 0 20 0 1 0 554927824 37126144 3183 33554432000 4194304 6211132 140722503312480 140722503310744 5390022 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.87 3/200 24005
/proc/meminfo: memFree=28627852/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36256 memory=12732 CPUtime=1.48 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 3382 0 0 0 148 0 0 0 20 0 1 0 554927824 37126144 3183 33554432000 4194304 6211132 140722503312480 140722503310744 5479738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+3.10917 s]
/proc/loadavg: 1.92 1.99 1.87 3/200 24005
/proc/meminfo: memFree=28598836/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36256 memory=12888 CPUtime=3.09 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 5098 0 0 0 309 0 0 0 20 0 1 0 554927824 37126144 3222 33554432000 4194304 6211132 140722503312480 140722503310440 5446270 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9064 3222 864 493 0 2369 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12888 KiB

[startup+6.30027 s]
/proc/loadavg: 1.92 1.99 1.87 3/200 24005
/proc/meminfo: memFree=28556644/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36388 memory=12924 CPUtime=6.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 7373 0 0 0 628 0 0 0 20 0 1 0 554927824 37261312 3231 33554432000 4194304 6211132 140722503312480 140722503310440 140192615564161 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9097 3231 864 493 0 2402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12924 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.87 3/200 24066
/proc/meminfo: memFree=28603312/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36388 memory=12964 CPUtime=12.68 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 9940 0 0 0 1268 0 0 0 20 0 1 0 554927824 37261312 3241 33554432000 4194304 6211132 140722503312480 140722503310440 5451532 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9097 3241 864 493 0 2402 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12964 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.87 3/201 24068
/proc/meminfo: memFree=28558948/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36520 memory=13048 CPUtime=25.48 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 14068 0 0 0 2548 0 0 0 20 0 1 0 554927824 37396480 3262 33554432000 4194304 6211132 140722503312480 140722503310440 5480285 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9130 3262 864 493 0 2435 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13048 KiB

[startup+51.1092 s]
/proc/loadavg: 1.96 1.99 1.87 3/199 24069
/proc/meminfo: memFree=28559280/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36520 memory=13108 CPUtime=51.09 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 16791 0 0 0 5108 1 0 0 20 0 1 0 554927824 37396480 3277 33554432000 4194304 6211132 140722503312480 140722503310440 5443093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9130 3277 864 493 0 2435 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13108 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/199 24073
/proc/meminfo: memFree=28556576/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36652 memory=13200 CPUtime=102.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 19076 0 0 0 10227 1 0 0 20 0 1 0 554927824 37531648 3300 33554432000 4194304 6211132 140722503312480 140722503310440 5446280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9163 3300 864 493 0 2468 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 36652 KiB
Current children cumulated memory: 13200 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/199 24079
/proc/meminfo: memFree=28555956/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36784 memory=13268 CPUtime=162.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 19953 0 0 0 16227 1 0 0 20 0 1 0 554927824 37666816 3317 33554432000 4194304 6211132 140722503312480 140722503310440 5440612 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9196 3317 864 493 0 2501 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 36784 KiB
Current children cumulated memory: 13268 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/199 24083
/proc/meminfo: memFree=28556940/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36784 memory=13380 CPUtime=222.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 20727 0 0 0 22227 1 0 0 20 0 1 0 554927824 37666816 3345 33554432000 4194304 6211132 140722503312480 140722503310440 140192615566751 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9196 3345 864 493 0 2501 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 36784 KiB
Current children cumulated memory: 13380 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/199 24087
/proc/meminfo: memFree=28557372/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36916 memory=13432 CPUtime=282.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 21676 0 0 0 28227 1 0 0 20 0 1 0 554927824 37801984 3358 33554432000 4194304 6211132 140722503312480 140722503310440 5446302 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9229 3358 864 493 0 2534 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 13432 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 2.00 1.91 3/199 24100
/proc/meminfo: memFree=28556084/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=36916 memory=13484 CPUtime=342.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 22557 0 0 0 34227 1 0 0 20 0 1 0 554927824 37801984 3371 33554432000 4194304 6211132 140722503312480 140722503310440 5069553 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9229 3371 864 493 0 2534 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 13484 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/199 24104
/proc/meminfo: memFree=28556908/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=37312 memory=13852 CPUtime=402.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 23576 0 0 0 40227 1 0 0 20 0 1 0 554927824 38207488 3463 33554432000 4194304 6211132 140722503312480 140722503310440 5453944 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9328 3463 864 493 0 2633 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13852 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/199 24108
/proc/meminfo: memFree=28556708/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=37312 memory=13884 CPUtime=462.28 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 24082 0 0 0 46227 1 0 0 20 0 1 0 554927824 38207488 3471 33554432000 4194304 6211132 140722503312480 140722503310440 5475786 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 9328 3471 864 493 0 2633 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13884 KiB


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

/proc/23932/statm: 10260 4386 864 493 0 3565 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 17544 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 24251
/proc/meminfo: memFree=28553640/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41040 memory=17680 CPUtime=1782.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 36713 0 0 0 178228 2 0 0 20 0 1 0 554927824 42024960 4420 33554432000 4194304 6211132 140722503312480 140722503310136 5446270 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10260 4420 864 493 0 3565 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 17680 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 24255
/proc/meminfo: memFree=28553276/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41040 memory=17680 CPUtime=1842.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 36751 0 0 0 184228 2 0 0 20 0 1 0 554927824 42024960 4420 33554432000 4194304 6211132 140722503312480 140722503310136 5446956 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10260 4420 864 493 0 3565 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 17680 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 24259
/proc/meminfo: memFree=28553432/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41040 memory=17680 CPUtime=1902.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 37366 0 0 0 190228 2 0 0 20 0 1 0 554927824 42024960 4420 33554432000 4194304 6211132 140722503312480 140722503310440 5446258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10260 4420 864 493 0 3565 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 17680 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 24265
/proc/meminfo: memFree=28553824/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41172 memory=17688 CPUtime=1962.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 37641 0 0 0 196228 2 0 0 20 0 1 0 554927824 42160128 4422 33554432000 4194304 6211132 140722503312480 140722503310136 5389992 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10293 4422 864 493 0 3598 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 17688 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 24269
/proc/meminfo: memFree=28553972/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41172 memory=17704 CPUtime=2022.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 38084 0 0 0 202228 2 0 0 20 0 1 0 554927824 42160128 4426 33554432000 4194304 6211132 140722503312480 140722503310440 5446143 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 17704 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 24273
/proc/meminfo: memFree=28554176/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41172 memory=17704 CPUtime=2082.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 38307 0 0 0 208228 2 0 0 20 0 1 0 554927824 42160128 4426 33554432000 4194304 6211132 140722503312480 140722503310440 5068981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 17704 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 24287
/proc/meminfo: memFree=28553212/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41172 memory=17704 CPUtime=2142.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 38615 0 0 0 214228 2 0 0 20 0 1 0 554927824 42160128 4426 33554432000 4194304 6211132 140722503312480 140722503310440 5454220 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 17704 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 24291
/proc/meminfo: memFree=28552204/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41172 memory=17704 CPUtime=2202.3 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 39054 0 0 0 220228 2 0 0 20 0 1 0 554927824 42160128 4426 33554432000 4194304 6211132 140722503312480 140722503310440 5442988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 17704 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 24317
/proc/meminfo: memFree=28551548/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41700 memory=18292 CPUtime=2262.31 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 39453 0 0 0 226229 2 0 0 20 0 1 0 554927824 42700800 4573 33554432000 4194304 6211132 140722503312480 140722503310136 5440652 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10425 4573 864 493 0 3730 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 41700 KiB
Current children cumulated memory: 18292 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 24323
/proc/meminfo: memFree=28552180/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41832 memory=18456 CPUtime=2322.31 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 39971 0 0 0 232229 2 0 0 20 0 1 0 554927824 42835968 4614 33554432000 4194304 6211132 140722503312480 140722503310136 5446258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10458 4614 864 493 0 3763 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18456 KiB

[startup+2382.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/200 24327
/proc/meminfo: memFree=28552456/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41832 memory=18456 CPUtime=2382.32 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 40438 0 0 0 238229 3 0 0 20 0 1 0 554927824 42835968 4614 33554432000 4194304 6211132 140722503312480 140722503310136 5451514 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10458 4614 864 493 0 3763 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18456 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/199 24332
/proc/meminfo: memFree=28551760/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41832 memory=18456 CPUtime=2442.32 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 40947 0 0 0 244229 3 0 0 20 0 1 0 554927824 42835968 4614 33554432000 4194304 6211132 140722503312480 140722503310136 5454208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10458 4614 864 493 0 3763 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18456 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/199 24338
/proc/meminfo: memFree=28551764/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41832 memory=18460 CPUtime=2502.32 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 41303 0 0 0 250229 3 0 0 20 0 1 0 554927824 42835968 4615 33554432000 4194304 6211132 140722503312480 140722503310440 5479582 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10458 4615 864 493 0 3763 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18460 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.01 1.96 3/199 24338
/proc/meminfo: memFree=28552064/32770624 swapFree=66966908/67108860
[pid=23932] ppid=23927 vsize=41832 memory=18460 CPUtime=2520.03 cores=1,3,5,7
/proc/23932/stat : 23932 (cosoco) R 23927 23932 23523 0 -1 4202496 41340 0 0 0 252000 3 0 0 20 0 1 0 554927824 42835968 4615 33554432000 4194304 6211132 140722503312480 140722503310440 5451514 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29798400 140722503316491 140722503316593 140722503316593 140722503319502 0
/proc/23932/statm: 10458 4615 864 493 0 3763 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18460 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.03
CPU user time (s): 2520
CPU system time (s): 0.032
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 41832
Max. memory (cumulated for all children) (KiB): 18460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.032
maximum resident set size= 18524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41383
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= 922


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97575 second user time and 15.2372 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-29 22:44:32
IDJOB=4408201
IDBENCH=120660
IDSOLVER=2874
FILE ID=node145/4408201-1569789914
RUNJOBID= node145-1569787350-23555
PBS_JOBID= 21705820
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-080-25.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408201-1569789914/watcher-4408201-1569789914 -o /tmp/evaluation-result-4408201-1569789914/solver-4408201-1569789914 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23555 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408201-1569789914.xml

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

MD5SUM BENCH= 86f21c6f99b90e2b5de67b4ee346bae4
RANDOM SEED=240987012

node145.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.59
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.59
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.59
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.59
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:        28650752 kB
MemAvailable:   31828536 kB
Buffers:          222940 kB
Cached:          3280340 kB
SwapCached:        32484 kB
Active:          1311348 kB
Inactive:        2228680 kB
Active(anon):      22636 kB
Inactive(anon):    95820 kB
Active(file):    1288712 kB
Inactive(file):  2132860 kB
Unevictable:      108364 kB
Mlocked:          108364 kB
SwapTotal:      67108860 kB
SwapFree:       66966908 kB
Dirty:              2784 kB
Writeback:             0 kB
AnonPages:        112596 kB
Mapped:            24804 kB
Shmem:             73436 kB
Slab:             173880 kB
SReclaimable:     144096 kB
SUnreclaim:        29784 kB
KernelStack:        3536 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     542808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62012 MiB
End job on node145 at 2019-09-29 23:26:32