Trace number 4396866

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

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-26.xml
MD5SUMf8945e9ee38ae25fe131ea9d51f4675a
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 benchmark442.279
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains93
Minimum domain size1087
Maximum domain size1185
Distribution of domain sizes[{"size":1087,"count":6},{"size":1088,"count":2},{"size":1089,"count":4},{"size":1090,"count":4},{"size":1091,"count":4},{"size":1092,"count":2},{"size":1093,"count":12},{"size":1094,"count":8},{"size":1095,"count":6},{"size":1096,"count":4},{"size":1097,"count":2},{"size":1098,"count":4},{"size":1099,"count":6},{"size":1101,"count":4},{"size":1102,"count":2},{"size":1103,"count":4},{"size":1104,"count":2},{"size":1105,"count":6},{"size":1106,"count":8},{"size":1107,"count":10},{"size":1108,"count":4},{"size":1109,"count":2},{"size":1110,"count":6},{"size":1111,"count":2},{"size":1112,"count":4},"...",{"size":1159,"count":10}, {"size":1160,"count":4}, {"size":1161,"count":4}, {"size":1162,"count":6}, {"size":1163,"count":10}, {"size":1164,"count":2}, {"size":1165,"count":2}, {"size":1166,"count":4}, {"size":1167,"count":2}, {"size":1168,"count":2}, {"size":1170,"count":8}, {"size":1171,"count":2}, {"size":1173,"count":4}, {"size":1174,"count":4}, {"size":1175,"count":4}, {"size":1176,"count":6}, {"size":1177,"count":2}, {"size":1178,"count":4}, {"size":1179,"count":4}, {"size":1180,"count":8}, {"size":1181,"count":10}, {"size":1182,"count":6}, {"size":1183,"count":4}, {"size":1184,"count":6}, {"size":1185,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

3.58/3.62	c root propagations     : 317828      
3.58/3.62	c restarts enabled, print stats at every restarts
3.58/3.62	c
3.58/3.62	c
3.58/3.62	c
3.58/3.62	c This is cosoco 2.00 --  
3.58/3.62	c
3.58/3.62	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396866-1568593287.xml 
3.58/3.62	c ========================================[ Problem Statistics ]===========================================
3.58/3.62	c |                                                                                                       
3.58/3.62	c |  Parse time        :         3.49 s 
3.58/3.62	c |
3.58/3.62	c |               Variables: 450
3.58/3.62	c |            Domain Sizes: 1087..1185
3.58/3.62	c |
3.58/3.62	c |             Constraints: 5580
3.58/3.62	c |                   Arity: 2..2  -- Binary: 5580
3.58/3.62	c | 
3.58/3.62	c |                   Types: 
3.58/3.62	c |                          (X != Y): 225
3.58/3.62	c |                          (X -Y <= k): 630
3.58/3.62	c |                          Intension: 4725
3.58/3.62	c |                          
3.58/3.62	c =========================================================================================================
3.58/3.62	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
11.09/11.18	c 101            170            121472         806179         450            0              10   37   34   
28.69/28.78	c 211            462            559314         1274568        450            0              1   18   6     
42.09/42.12	c 332            685            848397         1984768        450            0              1   31   23    
94.38/94.47	c 465            865            1619832        5968975        450            0              1   7   2      
98.29/98.31	c 611            1080           1745175        6271018        450            0              1   33   28    
121.38/121.43	c 771            1676           2353226        6642283        450            0              2   34   13    
152.58/152.63	c 947            2042           2845680        8610917        450            0              1   22   13    
160.58/160.60	c 1140           2374           3013412        9135199        450            0              8   34   31    
172.58/172.65	c 1352           2735           3346470        9905309        450            0              1   24   20    
223.09/223.17	c 1585           3046           3974133        13180890       450            0              8   18   10    
308.48/308.57	c 1841           3361           4658621        18644389       450            0              2   29   27    
373.98/374.09	c 2122           3831           5479555        23015875       450            0              1   49   37    
499.88/499.92	c 2431           4359           7498037        31897227       450            0              2   15   9     
575.48/575.52	c 2770           4831           8491660        37139501       450            0              1   56   52    
653.19/653.25	c 3142           5313           9690061        42445726       450            0              13   30   22   
762.68/762.72	c 3551           5756           10814634       51089096       450            0              1   21   20    
825.58/825.63	c 4000           6733           12279448       52519399       450            0              1   55   45    
906.48/906.51	c 4493           7287           13437390       59038496       450            0              14   33   31   
950.58/950.61	c 5035           7970           14093337       63343814       450            0              8   45   43    
968.18/968.23	c 5631           8614           14322919       65194065       450            0              6   38   33    
1074.99/1075.03	c 6286           9665           15731223       73002697       450            0              3   35   30    
1134.18/1134.29	c 7006           10669          16521032       76356176       450            0              5   77   70    
1241.79/1241.89	c 7798           13423          18461649       78817301       450            0              7   56   46    
1341.19/1341.28	c 8669           14629          19562711       86726882       450            0              4   40   37    
1447.28/1447.32	c 9627           16242          21763960       97614733       450            0              1   30   20    
1487.48/1487.58	c 10680          17491          22374740       100843864      450            0              3   57   53    
1628.79/1628.86	c 11838          18782          24048786       111840418      450            0              12   42   39   
1703.19/1703.22	c 13111          20500          25373162       117261538      450            0              3   52   49    
1948.69/1948.70	c 14511          22254          28313161       132831766      450            0              1   44   39    
2129.01/2129.04	c 16051          24130          31747642       146149588      450            0              2   34   32    
2520.01/2520.01	
2520.01/2520.01	c *** INTERRUPTED ***
2520.01/2520.01	c restarts              : 30          
2520.01/2520.01	c conflicts             : 17379        (7 /sec)
2520.01/2520.01	c decisions             : 25703        (10 /sec)
2520.01/2520.01	c propagations          : 164020970   (65094 /sec)
2520.01/2520.01	c root propagations     : 317828      
2520.01/2520.01	c filter calls          : 35368066       (14036 /sec)
2520.01/2520.01	c useless filter calls  : 32012304       (90 %)
2520.01/2520.01	c Memory used           : 415.78 MB
2520.01/2520.01	c CPU time              : 2519.75 s
2520.01/2520.01	c real time             : 2520.01 s
2520.01/2520.01	
2520.01/2520.01	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 (13257 MiB free)
  memory of node 1: 16384 MiB (15820 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396866-1568593287/watcher-4396866-1568593287 -o /tmp/evaluation-result-4396866-1568593287/solver-4396866-1568593287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4240 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396866-1568593287.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=8979, runsolver pid=8976

[startup+0.100058 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 8980
/proc/meminfo: memFree=29771080/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=32316 memory=8360 CPUtime=0.1 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 2286 0 0 0 10 0 0 0 20 0 1 0 435242532 33091584 2090 33554432000 4194304 6211092 140722975882112 140722975878648 140431656601952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 8079 2090 798 493 0 1384 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32316 KiB
Current children cumulated memory: 8360 KiB

[startup+0.209626 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29770336/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=33172 memory=9204 CPUtime=0.21 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 2523 0 0 0 21 0 0 0 20 0 1 0 435242532 33968128 2301 33554432000 4194304 6211092 140722975882112 140722975878648 140431653116901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 8293 2301 804 493 0 1598 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 9204 KiB

[startup+0.308878 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29762152/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=41768 memory=18068 CPUtime=0.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 4680 0 0 0 30 0 0 0 20 0 1 0 435242532 42770432 4517 33554432000 4194304 6211092 140722975882112 140722975878648 140431653116901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 10442 4517 816 493 0 3747 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18068 KiB

[startup+0.700338 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29744560/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=75040 memory=51196 CPUtime=0.69 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 12974 0 0 0 67 2 0 0 20 0 1 0 435242532 76840960 12799 33554432000 4194304 6211092 140722975882112 140722975875416 140431653116901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 18760 12799 816 493 0 12065 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75040 KiB
Current children cumulated memory: 51196 KiB

[startup+1.50035 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29701780/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=144200 memory=120368 CPUtime=1.49 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 30290 0 0 0 144 5 0 0 20 0 1 0 435242532 147660800 30092 33554432000 4194304 6211092 140722975882112 140722975875416 140431653116901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 36083 30092 816 493 0 29388 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 144200 KiB
Current children cumulated memory: 120368 KiB

[startup+3.10955 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29529284/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=283040 memory=259228 CPUtime=3.1 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 65488 0 0 0 300 10 0 0 20 0 1 0 435242532 289832960 64807 33554432000 4194304 6211092 140722975882112 140722975877208 140431653116901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 70760 64807 816 493 0 64065 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 283040 KiB
Current children cumulated memory: 259228 KiB

[startup+6.30029 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29473876/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=328468 memory=305008 CPUtime=6.29 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 106457 0 0 0 615 14 0 0 20 0 1 0 435242532 336351232 76252 33554432000 4194304 6211092 140722975882112 140722975877208 5446226 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 82117 76252 860 493 0 75422 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 328468 KiB
Current children cumulated memory: 305008 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 8981
/proc/meminfo: memFree=29466616/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=335200 memory=311720 CPUtime=12.69 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 128322 0 0 0 1254 15 0 0 20 0 1 0 435242532 343244800 77930 33554432000 4194304 6211092 140722975882112 140722975879768 140431663061830 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 83800 77930 862 493 0 77105 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 335200 KiB
Current children cumulated memory: 311720 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 8983
/proc/meminfo: memFree=29466296/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=335596 memory=312128 CPUtime=25.49 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 152021 0 0 0 2533 16 0 0 20 0 1 0 435242532 343650304 78032 33554432000 4194304 6211092 140722975882112 140722975879768 5446248 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 83899 78032 862 493 0 77204 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 335596 KiB
Current children cumulated memory: 312128 KiB

[startup+51.1096 s]
/proc/loadavg: 1.97 2.00 2.04 3/200 8983
/proc/meminfo: memFree=29436396/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=365032 memory=341556 CPUtime=51.09 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 195899 0 0 0 5091 18 0 0 20 0 1 0 435242532 373792768 85389 33554432000 4194304 6211092 140722975882112 140722975879768 5476816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 91258 85389 862 493 0 84563 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 365032 KiB
Current children cumulated memory: 341556 KiB

[startup+102.3 s]
/proc/loadavg: 2.31 2.08 2.07 3/200 8987
/proc/meminfo: memFree=29430912/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=370576 memory=347088 CPUtime=102.29 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 232543 0 0 0 10208 21 0 0 20 0 1 0 435242532 379469824 86772 33554432000 4194304 6211092 140722975882112 140722975880072 5440580 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 92644 86772 862 493 0 85949 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 370576 KiB
Current children cumulated memory: 347088 KiB

[startup+162.3 s]
/proc/loadavg: 2.35 2.15 2.09 3/200 8993
/proc/meminfo: memFree=29422428/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=378760 memory=355280 CPUtime=162.28 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 259479 0 0 0 16206 22 0 0 20 0 1 0 435242532 387850240 88820 33554432000 4194304 6211092 140722975882112 140722975880072 5446275 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 94690 88820 862 493 0 87995 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 378760 KiB
Current children cumulated memory: 355280 KiB

[startup+222.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/200 9057
/proc/meminfo: memFree=29411196/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=384700 memory=361124 CPUtime=222.28 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 268929 0 0 0 22205 23 0 0 20 0 1 0 435242532 393932800 90281 33554432000 4194304 6211092 140722975882112 140722975879768 5072421 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 96175 90281 862 493 0 89480 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 384700 KiB
Current children cumulated memory: 361124 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/199 9062
/proc/meminfo: memFree=29408092/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=388132 memory=364764 CPUtime=282.28 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 270742 0 0 0 28205 23 0 0 20 0 1 0 435242532 397447168 91191 33554432000 4194304 6211092 140722975882112 140722975879768 5442934 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 97033 91191 862 493 0 90338 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 388132 KiB
Current children cumulated memory: 364764 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/199 9068
/proc/meminfo: memFree=29401700/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=394600 memory=371140 CPUtime=342.28 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 273447 0 0 0 34205 23 0 0 20 0 1 0 435242532 404070400 92785 33554432000 4194304 6211092 140722975882112 140722975879768 5453912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 98650 92785 862 493 0 91955 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 394600 KiB
Current children cumulated memory: 371140 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/199 9072
/proc/meminfo: memFree=29400448/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=395260 memory=371776 CPUtime=402.28 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 274401 0 0 0 40205 23 0 0 20 0 1 0 435242532 404746240 92944 33554432000 4194304 6211092 140722975882112 140722975879768 5451572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 98815 92944 862 493 0 92120 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 395260 KiB
Current children cumulated memory: 371776 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 9077
/proc/meminfo: memFree=29400148/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=395656 memory=372068 CPUtime=462.28 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 275411 0 0 0 46205 23 0 0 20 0 1 0 435242532 405151744 93017 33554432000 4194304 6211092 140722975882112 140722975879768 5451621 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 98914 93017 862 493 0 92219 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 395656 KiB
Current children cumulated memory: 372068 KiB


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

/proc/8979/statm: 106306 100393 862 493 0 99611 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 425224 KiB
Current children cumulated memory: 401572 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9204
/proc/meminfo: memFree=29369368/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425356 memory=401884 CPUtime=1782.29 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 305466 0 0 0 178202 27 0 0 20 0 1 0 435242532 435564544 100471 33554432000 4194304 6211092 140722975882112 140722975879768 4982624 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106339 100471 862 493 0 99644 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 425356 KiB
Current children cumulated memory: 401884 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9208
/proc/meminfo: memFree=29369164/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425488 memory=402028 CPUtime=1842.29 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 306169 0 0 0 184202 27 0 0 20 0 1 0 435242532 435699712 100507 33554432000 4194304 6211092 140722975882112 140722975879768 5451482 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106372 100507 862 493 0 99677 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402028 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9212
/proc/meminfo: memFree=29368896/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425488 memory=402064 CPUtime=1902.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 306727 0 0 0 190203 27 0 0 20 0 1 0 435242532 435699712 100516 33554432000 4194304 6211092 140722975882112 140722975879768 5446904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106372 100516 862 493 0 99677 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402064 KiB

[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 9218
/proc/meminfo: memFree=29368684/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425488 memory=402068 CPUtime=1962.29 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 307208 0 0 0 196202 27 0 0 20 0 1 0 435242532 435699712 100517 33554432000 4194304 6211092 140722975882112 140722975880072 5478352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106372 100517 862 493 0 99677 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402068 KiB

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 9222
/proc/meminfo: memFree=29369320/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425488 memory=402116 CPUtime=2022.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 307515 0 0 0 202203 27 0 0 20 0 1 0 435242532 435699712 100529 33554432000 4194304 6211092 140722975882112 140722975880072 5442910 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106372 100529 862 493 0 99677 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402116 KiB

[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/199 9227
/proc/meminfo: memFree=29369088/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425620 memory=402128 CPUtime=2082.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 307813 0 0 0 208203 27 0 0 20 0 1 0 435242532 435834880 100532 33554432000 4194304 6211092 140722975882112 140722975879768 5441112 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106405 100532 862 493 0 99710 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402128 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 9233
/proc/meminfo: memFree=29369696/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425620 memory=402200 CPUtime=2142.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 308162 0 0 0 214203 27 0 0 20 0 1 0 435242532 435834880 100550 33554432000 4194304 6211092 140722975882112 140722975880072 5456310 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106405 100550 862 493 0 99710 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402200 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 9237
/proc/meminfo: memFree=29369240/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425620 memory=402204 CPUtime=2202.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 308490 0 0 0 220203 27 0 0 20 0 1 0 435242532 435834880 100551 33554432000 4194304 6211092 140722975882112 140722975880072 5442993 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106405 100551 862 493 0 99710 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402204 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 9242
/proc/meminfo: memFree=29369788/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425620 memory=402208 CPUtime=2262.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 308818 0 0 0 226203 27 0 0 20 0 1 0 435242532 435834880 100552 33554432000 4194304 6211092 140722975882112 140722975880072 5478406 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106405 100552 862 493 0 99710 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402208 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9248
/proc/meminfo: memFree=29368720/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425752 memory=402220 CPUtime=2322.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 309182 0 0 0 232203 27 0 0 20 0 1 0 435242532 435970048 100555 33554432000 4194304 6211092 140722975882112 140722975879768 5068998 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106438 100555 862 493 0 99743 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402220 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9259
/proc/meminfo: memFree=29369076/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425752 memory=402308 CPUtime=2382.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 309507 0 0 0 238203 27 0 0 20 0 1 0 435242532 435970048 100577 33554432000 4194304 6211092 140722975882112 140722975879768 5068992 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9285
/proc/meminfo: memFree=29368048/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425752 memory=402308 CPUtime=2442.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 309825 0 0 0 244203 27 0 0 20 0 1 0 435242532 435970048 100577 33554432000 4194304 6211092 140722975882112 140722975879768 5454183 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9291
/proc/meminfo: memFree=29367888/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425752 memory=402308 CPUtime=2502.3 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 310144 0 0 0 250203 27 0 0 20 0 1 0 435242532 435970048 100577 33554432000 4194304 6211092 140722975882112 140722975879768 5452223 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9292
/proc/meminfo: memFree=29367916/32770624 swapFree=66957020/67108860
[pid=8979] ppid=8976 vsize=425752 memory=402308 CPUtime=2520.01 cores=1,3,5,7
/proc/8979/stat : 8979 (cosoco) R 8976 8979 4208 0 -1 4202496 310340 0 0 0 251974 27 0 0 20 0 1 0 435242532 435970048 100577 33554432000 4194304 6211092 140722975882112 140722975879768 5453904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 37359616 140722975888395 140722975888497 140722975888497 140722975891406 0
/proc/8979/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB

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

[startup+2520.01 s]
# the end of solver process 8979 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.75 s, system=0.277002 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.75
CPU system time (s): 0.277002
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 425752
Max. memory (cumulated for all children) (KiB): 402308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.75
system time used= 0.277002
maximum resident set size= 402376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310389
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= 39
involuntary context switches= 1433


# summary of solver processes directly reported to runsolver:
#   pid: 8979
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.75
#   total CPU system time (s): 0.277002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34345 second user time and 18.0944 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-16 02:20:44
IDJOB=4396866
IDBENCH=138488
IDSOLVER=2848
FILE ID=node147/4396866-1568593287
RUNJOBID= node147-1568572740-4240
PBS_JOBID= 21703310
Free space on /tmp= 58876 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-26.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396866-1568593287/watcher-4396866-1568593287 -o /tmp/evaluation-result-4396866-1568593287/solver-4396866-1568593287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4240 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396866-1568593287.xml

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

MD5SUM BENCH= f8945e9ee38ae25fe131ea9d51f4675a
RANDOM SEED=583022257

node147.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.52
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.52
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.52
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.52
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:        29776160 kB
MemAvailable:   31829092 kB
Buffers:          101444 kB
Cached:          2229280 kB
SwapCached:        48484 kB
Active:          1312440 kB
Inactive:        1071276 kB
Active(anon):       4728 kB
Inactive(anon):    98100 kB
Active(file):    1307712 kB
Inactive(file):   973176 kB
Unevictable:      108996 kB
Mlocked:          108996 kB
SwapTotal:      67108860 kB
SwapFree:       66957020 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        119220 kB
Mapped:            49556 kB
Shmem:             40960 kB
Slab:             205132 kB
SReclaimable:     175756 kB
SUnreclaim:        29376 kB
KernelStack:        3648 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     537600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 58876 MiB
End job on node147 at 2019-09-16 03:02:44