Trace number 4396941

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.02 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.10/0.11	c root propagations     : 0           
0.10/0.11	c restarts enabled, print stats at every restarts
0.10/0.11	c
0.10/0.11	c
0.10/0.11	c
0.10/0.11	c This is cosoco 2.00 --  
0.10/0.11	c
0.10/0.11	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396941-1568575305.xml 
0.10/0.11	c ========================================[ Problem Statistics ]===========================================
0.10/0.11	c |                                                                                                       
0.10/0.11	c |  Parse time        :         0.10 s 
0.10/0.11	c |
0.10/0.11	c |               Variables: 25
0.10/0.11	c |            Domain Sizes: 6400..6400
0.10/0.11	c |
0.10/0.11	c |             Constraints: 300
0.10/0.11	c |                   Arity: 2..2  -- Binary: 300
0.10/0.11	c | 
0.10/0.11	c |                   Types: 
0.10/0.11	c |                          (X != Y): 275
0.10/0.11	c |                          Intension: 25
0.10/0.11	c |                          
0.10/0.11	c =========================================================================================================
0.10/0.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.69/0.77	c 101            130            11344          887222         0              0              21   23   21   
1.39/1.44	c 211            281            25392          1761879        0              0              21   23   22   
1.79/1.89	c 332            439            38746          2362606        0              0              21   23   21   
2.89/2.97	c 465            627            56771          3702898        0              0              21   23   22   
3.39/3.40	c 611            805            70863          4252859        0              0              5   23   21    
4.29/4.38	c 771            997            85545          5554785        0              0              21   23   21   
5.59/5.69	c 947            1238           107260         7271464        0              0              21   23   22   
6.68/6.72	c 1140           1500           128696         8643911        0              0              21   23   22   
8.48/8.57	c 1352           1832           159609         11069081       0              0              20   23   22   
10.28/10.32	c 1585           2162           188383         13391622       0              0              21   23   22   
12.09/12.14	c 1841           2503           215695         15790645       0              0              20   23   22   
14.09/14.18	c 2122           2882           247708         18445001       0              0              21   23   22   
16.28/16.31	c 2431           3293           280942         21271567       0              0              21   23   22   
19.09/19.11	c 2770           3749           320259         24888888       0              0              20   23   22   
21.58/21.63	c 3142           4230           358327         28206663       0              0              21   23   22   
24.39/24.41	c 3551           4752           398392         31907338       0              0              20   23   21   
26.79/26.80	c 4000           5319           441912         35015309       0              0              16   23   22   
29.78/29.84	c 4493           5976           493640         39048569       0              0              20   23   22   
32.38/32.40	c 5035           6624           540283         42450460       0              0              20   23   21   
34.68/34.76	c 5631           7373           592989         45558057       0              0              20   23   21   
38.38/38.46	c 6286           8212           657539         50465230       0              0              21   23   22   
42.68/42.70	c 7006           9149           729565         56055234       0              0              21   23   22   
47.09/47.12	c 7798           10150          804418         61920065       0              0              20   23   22   
52.78/52.83	c 8669           11233          884926         69346003       0              0              21   23   22   
58.09/58.19	c 9627           12350          969303         76479715       0              0              20   23   21   
61.99/62.08	c 10680          13585          1053002        81599225       0              0              21   23   22   
67.58/67.65	c 11838          15082          1159634        88911880       0              0              19   23   21   
77.38/77.40	c 13111          16779          1293780        101864413      0              0              20   23   22   
85.18/85.25	c 14511          18525          1414621        112290940      0              0              20   23   21   
94.98/95.10	c 16051          20589          1566502        125413003      0              0              20   23   22   
105.37/105.48	c 17745          22728          1721682        139130398      0              0              20   23   22   
116.57/116.65	c 19608          25099          1901665        153909009      0              0              20   23   22   
129.27/129.39	c 21657          27586          2078574        170787078      0              0              20   23   22   
142.27/142.33	c 23910          30139          2244065        188096094      0              0              20   23   21   
156.97/157.04	c 26388          33161          2462594        207691488      0              0              20   23   21   
173.36/173.45	c 29113          36768          2727965        229268676      0              0              19   23   22   
186.16/186.23	c 32110          40348          2965884        246266368      0              0              20   23   21   
205.46/205.52	c 35406          44328          3246167        271816721      0              0              20   23   22   
224.26/224.37	c 39031          48953          3571137        296667084      0              0              19   23   22   
243.06/243.13	c 43018          54051          3924188        321108545      0              0              19   23   21   
266.55/266.60	c 47403          59397          4296277        352248407      0              0              20   23   22   
292.45/292.52	c 52226          65175          4692790        386035172      0              0              20   23   22   
325.64/325.79	c 57531          71970          5186393        429872064      0              0              19   23   22   
363.74/363.83	c 63366          78790          5667217        480088366      0              0              20   23   21   
394.64/394.75	c 69784          85889          6080059        521396144      0              0              19   23   20   
407.84/407.99	c 76843          93616          6523766        538617294      0              0              20   23   20   
443.64/443.73	c 84607          103144         7175771        586064507      0              0              19   23   21   
558.54/558.66	c 93147          117768         8662911        738735842      0              0              19   23   20   
590.84/590.97	c 102541         128498         9348500        781611852      0              0              20   23   21   
653.75/653.81	c 112874         140678         10174307       864523466      0              0              20   23   22   
712.55/712.68	c 124240         154009         11027507       942763729      0              0              19   23   21   
783.85/783.91	c 136742         169371         12093121       1035841314     0              0              19   23   22   
887.75/887.85	c 150494         184690         13297305       1174488788     0              0              20   23   21   
964.36/964.40	c 165621         202666         14463886       1275211925     0              0              19   23   21   
1024.86/1024.97	c 182260         221395         15628165       1353642204     0              0              19   23   21   
1187.97/1188.10	c 200562         240643         17302415       1567682921     0              0              20   23   20   
1303.16/1303.26	c 220694         262927         18899773       1716757234     0              0              20   23   20   
1450.17/1450.24	c 242839         288064         20734681       1909782144     0              0              20   23   21   
1576.57/1576.69	c 267198         315600         22641393       2074395675     0              0              19   23   21   
1648.98/1649.02	c 293992         346148         24496684       2170220038     0              0              19   23   21   
1894.47/1894.51	c 323465         377416         26994198       2481862403     0              0              20   23   20   
2001.88/2001.93	c 355885         414007         29158957       2623044216     0              0              19   23   20   
2195.58/2195.62	c 391547         454328         31844012       2870433416     0              0              19   23   20   
2441.70/2441.73	c 430775         496539         34651748       3197571549     0              0              19   23   20   
2520.01/2520.00	
2520.01/2520.00	c *** INTERRUPTED ***
2520.01/2520.00	c restarts              : 64          
2520.01/2520.00	c conflicts             : 441693       (175 /sec)
2520.01/2520.00	c decisions             : 508484       (202 /sec)
2520.01/2520.00	c propagations          : 3300452760  (1309712 /sec)
2520.01/2520.00	c root propagations     : 0           
2520.01/2520.00	c filter calls          : 35577188       (14118 /sec)
2520.01/2520.00	c useless filter calls  : 34136424       (95 %)
2520.01/2520.00	c Memory used           : 40.86 MB
2520.01/2520.00	c CPU time              : 2519.98 s
2520.01/2520.00	c real time             : 2520 s
2520.01/2520.00	
2520.01/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 (10489 MiB free)
  memory of node 1: 16384 MiB (13372 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396941-1568575305/watcher-4396941-1568575305 -o /tmp/evaluation-result-4396941-1568575305/solver-4396941-1568575305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2768 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396941-1568575305.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=3151, runsolver pid=3148

[startup+0.100124 s]*
/proc/loadavg: 2.03 2.00 1.88 3/195 3159
/proc/meminfo: memFree=24427492/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=35852 memory=12204 CPUtime=0.1 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 3219 0 0 0 10 0 0 0 20 0 1 0 433468948 36712448 3051 33554432000 4194304 6211092 140723581132896 140723581127864 139819182148581 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 8963 3051 825 493 0 2268 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35852 KiB
Current children cumulated memory: 12204 KiB

[startup+0.209459 s]*
/proc/loadavg: 2.03 2.00 1.88 3/194 3174
/proc/meminfo: memFree=24425412/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36256 memory=12732 CPUtime=0.21 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 3382 0 0 0 21 0 0 0 20 0 1 0 433468948 37126144 3183 33554432000 4194304 6211092 140723581132896 140723581131160 5451507 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+0.309304 s]*
/proc/loadavg: 2.03 2.00 1.88 3/200 3184
/proc/meminfo: memFree=24424560/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36256 memory=12732 CPUtime=0.3 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 3382 0 0 0 30 0 0 0 20 0 1 0 433468948 37126144 3183 33554432000 4194304 6211092 140723581132896 140723581131160 5164943 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/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.700231 s]
/proc/loadavg: 2.03 2.00 1.88 3/200 3184
/proc/meminfo: memFree=24423924/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36256 memory=12732 CPUtime=0.69 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 3382 0 0 0 69 0 0 0 20 0 1 0 433468948 37126144 3183 33554432000 4194304 6211092 140723581132896 140723581131160 5476519 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+1.50023 s]
/proc/loadavg: 2.03 2.00 1.88 3/200 3184
/proc/meminfo: memFree=24421200/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36256 memory=12732 CPUtime=1.49 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 3382 0 0 0 149 0 0 0 20 0 1 0 433468948 37126144 3183 33554432000 4194304 6211092 140723581132896 140723581130856 5454160 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9064 3183 827 493 0 2369 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12732 KiB

[startup+3.10898 s]
/proc/loadavg: 2.03 2.00 1.88 3/200 3184
/proc/meminfo: memFree=24413016/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36256 memory=12888 CPUtime=3.1 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 5098 0 0 0 310 0 0 0 20 0 1 0 433468948 37126144 3222 33554432000 4194304 6211092 140723581132896 140723581130856 5479980 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9064 3222 864 493 0 2369 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12888 KiB

[startup+6.30022 s]
/proc/loadavg: 2.03 2.00 1.88 3/200 3184
/proc/meminfo: memFree=24399888/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36388 memory=12924 CPUtime=6.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 7373 0 0 0 628 0 0 0 20 0 1 0 433468948 37261312 3231 33554432000 4194304 6211092 140723581132896 140723581130856 5441135 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/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.7002 s]
/proc/loadavg: 2.03 2.00 1.88 3/201 3186
/proc/meminfo: memFree=24372692/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36388 memory=12964 CPUtime=12.68 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 9940 0 0 0 1268 0 0 0 20 0 1 0 433468948 37261312 3241 33554432000 4194304 6211092 140723581132896 140723581130856 5480256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/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.5002 s]
/proc/loadavg: 2.02 2.00 1.88 3/200 3186
/proc/meminfo: memFree=24349432/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36520 memory=13048 CPUtime=25.49 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 14045 0 0 0 2548 1 0 0 20 0 1 0 433468948 37396480 3262 33554432000 4194304 6211092 140723581132896 140723581130856 5451507 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9130 3262 864 493 0 2435 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13048 KiB

[startup+51.1089 s]
/proc/loadavg: 2.01 2.00 1.88 3/200 3186
/proc/meminfo: memFree=24348660/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36520 memory=13108 CPUtime=51.09 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 16791 0 0 0 5108 1 0 0 20 0 1 0 433468948 37396480 3277 33554432000 4194304 6211092 140723581132896 140723581130856 5442964 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/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: 2.01 2.00 1.89 3/201 3192
/proc/meminfo: memFree=24347468/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36652 memory=13220 CPUtime=102.27 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 19120 0 0 0 10226 1 0 0 20 0 1 0 433468948 37531648 3305 33554432000 4194304 6211092 140723581132896 140723581130856 139819183074747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9163 3305 864 493 0 2468 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 36652 KiB
Current children cumulated memory: 13220 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/201 3197
/proc/meminfo: memFree=24346172/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36784 memory=13276 CPUtime=162.26 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 19999 0 0 0 16225 1 0 0 20 0 1 0 433468948 37666816 3319 33554432000 4194304 6211092 140723581132896 140723581130856 5446082 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9196 3319 864 493 0 2501 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 36784 KiB
Current children cumulated memory: 13276 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/201 3201
/proc/meminfo: memFree=24345768/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36784 memory=13400 CPUtime=222.26 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 20773 0 0 0 22225 1 0 0 20 0 1 0 433468948 37666816 3350 33554432000 4194304 6211092 140723581132896 140723581130856 5446904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9196 3350 864 493 0 2501 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 36784 KiB
Current children cumulated memory: 13400 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/201 3208
/proc/meminfo: memFree=24345608/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36916 memory=13444 CPUtime=282.25 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 21700 0 0 0 28224 1 0 0 20 0 1 0 433468948 37801984 3361 33554432000 4194304 6211092 140723581132896 140723581130856 5476491 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9229 3361 864 493 0 2534 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 13444 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/200 3212
/proc/meminfo: memFree=24347248/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=36916 memory=13484 CPUtime=342.24 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 22105 0 0 0 34223 1 0 0 20 0 1 0 433468948 37801984 3371 33554432000 4194304 6211092 140723581132896 140723581130856 5475644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9229 3371 864 493 0 2534 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 13484 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/200 3216
/proc/meminfo: memFree=24346360/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=37312 memory=13820 CPUtime=402.24 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 22627 0 0 0 40223 1 0 0 20 0 1 0 433468948 38207488 3455 33554432000 4194304 6211092 140723581132896 140723581130856 5164943 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9328 3455 864 493 0 2633 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13820 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/200 3223
/proc/meminfo: memFree=24347072/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=37312 memory=13884 CPUtime=462.24 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 23133 0 0 0 46223 1 0 0 20 0 1 0 433468948 38207488 3471 33554432000 4194304 6211092 140723581132896 140723581130856 5451500 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 9328 3471 864 493 0 2633 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13884 KiB


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

/proc/3151/statm: 10260 4373 864 493 0 3565 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 17492 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 3349
/proc/meminfo: memFree=24339328/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41040 memory=17680 CPUtime=1782.27 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 34475 0 0 0 178225 2 0 0 20 0 1 0 433468948 42024960 4420 33554432000 4194304 6211092 140723581132896 140723581130552 5072863 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10260 4420 864 493 0 3565 0
Current children cumulated CPU time: 1782.27 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/200 3353
/proc/meminfo: memFree=24338996/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41040 memory=17680 CPUtime=1842.27 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 34908 0 0 0 184225 2 0 0 20 0 1 0 433468948 42024960 4420 33554432000 4194304 6211092 140723581132896 140723581130552 5441131 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10260 4420 864 493 0 3565 0
Current children cumulated CPU time: 1842.27 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/201 3419
/proc/meminfo: memFree=24416808/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41040 memory=17680 CPUtime=1902.27 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 35365 0 0 0 190225 2 0 0 20 0 1 0 433468948 42024960 4420 33554432000 4194304 6211092 140723581132896 140723581130856 5443111 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10260 4420 864 493 0 3565 0
Current children cumulated CPU time: 1902.27 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/200 3423
/proc/meminfo: memFree=24416252/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41172 memory=17688 CPUtime=1962.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 35575 0 0 0 196226 2 0 0 20 0 1 0 433468948 42160128 4422 33554432000 4194304 6211092 140723581132896 140723581130552 5446260 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10293 4422 864 493 0 3598 0
Current children cumulated CPU time: 1962.28 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/200 3427
/proc/meminfo: memFree=24416724/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41172 memory=17704 CPUtime=2022.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 36020 0 0 0 202226 2 0 0 20 0 1 0 433468948 42160128 4426 33554432000 4194304 6211092 140723581132896 140723581130856 139819183069094 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2022.28 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/200 3434
/proc/meminfo: memFree=24416820/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41172 memory=17704 CPUtime=2082.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 36268 0 0 0 208226 2 0 0 20 0 1 0 433468948 42160128 4426 33554432000 4194304 6211092 140723581132896 140723581130856 5455642 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2082.28 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/199 3438
/proc/meminfo: memFree=24416800/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41172 memory=17704 CPUtime=2142.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 36614 0 0 0 214226 2 0 0 20 0 1 0 433468948 42160128 4426 33554432000 4194304 6211092 140723581132896 140723581130856 5008827 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2142.28 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/199 3442
/proc/meminfo: memFree=24417444/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41172 memory=17704 CPUtime=2202.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 37051 0 0 0 220226 2 0 0 20 0 1 0 433468948 42160128 4426 33554432000 4194304 6211092 140723581132896 140723581130856 5068955 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10293 4426 864 493 0 3598 0
Current children cumulated CPU time: 2202.28 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 3449
/proc/meminfo: memFree=24416024/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41700 memory=18232 CPUtime=2262.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 37444 0 0 0 226226 2 0 0 20 0 1 0 433468948 42700800 4558 33554432000 4194304 6211092 140723581132896 140723581130552 5475691 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10425 4558 864 493 0 3730 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 41700 KiB
Current children cumulated memory: 18232 KiB

[startup+2322.3 s]
/proc/loadavg: 2.29 2.07 1.98 3/199 3453
/proc/meminfo: memFree=24415592/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41832 memory=18456 CPUtime=2322.28 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 37878 0 0 0 232226 2 0 0 20 0 1 0 433468948 42835968 4614 33554432000 4194304 6211092 140723581132896 140723581130552 5446267 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10458 4614 864 493 0 3763 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18456 KiB

[startup+2382.3 s]
/proc/loadavg: 2.25 2.11 2.00 3/200 3465
/proc/meminfo: memFree=24415192/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41832 memory=18456 CPUtime=2382.3 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 38284 0 0 0 238227 3 0 0 20 0 1 0 433468948 42835968 4614 33554432000 4194304 6211092 140723581132896 140723581130552 139819192093504 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10458 4614 864 493 0 3763 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18456 KiB

[startup+2442.3 s]
/proc/loadavg: 2.09 2.09 2.00 3/202 3494
/proc/meminfo: memFree=24414508/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41832 memory=18460 CPUtime=2442.3 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 38515 0 0 0 244227 3 0 0 20 0 1 0 433468948 42835968 4615 33554432000 4194304 6211092 140723581132896 140723581130552 5479588 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10458 4615 864 493 0 3763 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 18460 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.07 2.00 3/201 3498
/proc/meminfo: memFree=24416800/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41832 memory=18460 CPUtime=2502.3 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 38710 0 0 0 250227 3 0 0 20 0 1 0 433468948 42835968 4615 33554432000 4194304 6211092 140723581132896 140723581130856 5065847 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10458 4615 864 493 0 3763 0
Current children cumulated CPU time: 2502.3 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.02 2.07 2.00 3/201 3500
/proc/meminfo: memFree=24416252/32770624 swapFree=66999428/67108860
[pid=3151] ppid=3148 vsize=41832 memory=18460 CPUtime=2520.01 cores=1,3,5,7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 2736 0 -1 4202496 38857 0 0 0 251998 3 0 0 20 0 1 0 433468948 42835968 4615 33554432000 4194304 6211092 140723581132896 140723581130856 5475661 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23785472 140723581137931 140723581138033 140723581138033 140723581140942 0
/proc/3151/statm: 10458 4615 864 493 0 3763 0
Current children cumulated CPU time: 2520.01 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 3151 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.99 s, system=0.03 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.02
CPU user time (s): 2519.99
CPU system time (s): 0.03
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 41832
Max. memory (cumulated for all children) (KiB): 18460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.03
maximum resident set size= 18524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38905
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= 20
involuntary context switches= 1353


# summary of solver processes directly reported to runsolver:
#   pid: 3151
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.99
#   total CPU system time (s): 0.03

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2706 second user time and 16.4823 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-15 21:21:05
IDJOB=4396941
IDBENCH=120660
IDSOLVER=2848
FILE ID=node140/4396941-1568575305
RUNJOBID= node140-1568572743-2768
PBS_JOBID= 21703315
Free space on /tmp= 58136 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-4396941-1568575305/watcher-4396941-1568575305 -o /tmp/evaluation-result-4396941-1568575305/solver-4396941-1568575305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2768 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396941-1568575305.xml

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

MD5SUM BENCH= 86f21c6f99b90e2b5de67b4ee346bae4
RANDOM SEED=1335061100

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:        24388844 kB
MemAvailable:   31806428 kB
Buffers:          187344 kB
Cached:          7445772 kB
SwapCached:         2604 kB
Active:          1584188 kB
Inactive:        6102372 kB
Active(anon):      50304 kB
Inactive(anon):    52336 kB
Active(file):    1533884 kB
Inactive(file):  6050036 kB
Unevictable:      107880 kB
Mlocked:          107880 kB
SwapTotal:      67108860 kB
SwapFree:       66999428 kB
Dirty:              2760 kB
Writeback:             0 kB
AnonPages:        133644 kB
Mapped:            57356 kB
Shmem:             40576 kB
Slab:             292220 kB
SReclaimable:     262124 kB
SUnreclaim:        30096 kB
KernelStack:        3568 kB
PageTables:         5592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1467424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58136 MiB
End job on node140 at 2019-09-15 22:03:05