Trace number 4396753

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2519.96 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-13.xml
MD5SUM388994c608323cc5ca888624a3c66f06
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark110.493
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains89
Minimum domain size1197
Maximum domain size1295
Distribution of domain sizes[{"size":1197,"count":4},{"size":1199,"count":2},{"size":1200,"count":14},{"size":1201,"count":2},{"size":1202,"count":4},{"size":1203,"count":4},{"size":1204,"count":4},{"size":1206,"count":6},{"size":1207,"count":6},{"size":1208,"count":4},{"size":1209,"count":4},{"size":1210,"count":6},{"size":1211,"count":2},{"size":1212,"count":6},{"size":1213,"count":6},{"size":1214,"count":6},{"size":1215,"count":6},{"size":1216,"count":8},{"size":1217,"count":2},{"size":1218,"count":6},{"size":1219,"count":2},{"size":1220,"count":6},{"size":1221,"count":6},{"size":1222,"count":4},{"size":1223,"count":4},"...",{"size":1269,"count":8}, {"size":1270,"count":6}, {"size":1271,"count":4}, {"size":1272,"count":4}, {"size":1273,"count":6}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1277,"count":6}, {"size":1278,"count":6}, {"size":1279,"count":8}, {"size":1280,"count":4}, {"size":1281,"count":6}, {"size":1282,"count":6}, {"size":1283,"count":4}, {"size":1284,"count":10}, {"size":1285,"count":6}, {"size":1286,"count":6}, {"size":1287,"count":4}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":2}, {"size":1291,"count":6}, {"size":1292,"count":4}, {"size":1293,"count":10}, {"size":1295,"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.79/3.80	c root propagations     : 313068      
3.79/3.80	c restarts enabled, print stats at every restarts
3.79/3.80	c
3.79/3.80	c
3.79/3.80	c
3.79/3.80	c This is cosoco 2.00 --  
3.79/3.80	c
3.79/3.80	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396753-1568593281.xml 
3.79/3.80	c ========================================[ Problem Statistics ]===========================================
3.79/3.80	c |                                                                                                       
3.79/3.80	c |  Parse time        :         3.64 s 
3.79/3.80	c |
3.79/3.80	c |               Variables: 450
3.79/3.80	c |            Domain Sizes: 1197..1295
3.79/3.80	c |
3.79/3.80	c |             Constraints: 5580
3.79/3.80	c |                   Arity: 2..2  -- Binary: 5580
3.79/3.80	c | 
3.79/3.80	c |                   Types: 
3.79/3.80	c |                          (X != Y): 225
3.79/3.80	c |                          (X -Y <= k): 630
3.79/3.80	c |                          Intension: 4725
3.79/3.80	c |                          
3.79/3.80	c =========================================================================================================
3.79/3.80	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
24.79/24.81	c 101            193            354092         1810721        450            0              6   65   44    
40.38/40.43	c 211            427            672894         2699314        450            0              1   46   20    
59.28/59.35	c 332            760            1075505        3202606        450            0              1   18   6     
84.29/84.32	c 465            945            1366199        5564596        450            0              1   39   34    
105.28/105.30	c 611            1326           1779115        5920272        450            0              19   43   29   
127.68/127.71	c 771            1787           2305088        8318500        450            0              6   58   43    
150.88/150.99	c 947            2369           2829606        9053060        450            0              1   68   14    
190.99/191.02	c 1140           2618           3203939        12403269       450            0              4   43   41    
231.27/231.35	c 1352           2896           3709586        15706832       450            0              24   54   50   
254.68/254.76	c 1585           3457           4196982        16315289       450            0              1   50   26    
285.48/285.52	c 1841           4078           4823866        17431292       450            0              1   52   23    
348.27/348.35	c 2122           4828           6076246        20180130       450            0              1   69   28    
419.38/419.48	c 2431           5595           7055401        23274268       450            0              1   55   26    
437.48/437.57	c 2770           6062           7349023        24544187       450            0              5   52   47    
479.09/479.18	c 3142           6615           8033292        26683491       450            0              3   44   33    
546.38/546.42	c 3551           7372           8859651        31142966       450            0              1   43   30    
619.08/619.14	c 4000           7943           9447740        36718923       450            0              1   57   53    
656.57/656.67	c 4493           8737           10177277       39549943       450            0              5   106   86   
716.57/716.60	c 5035           10286          10908075       43430637       450            0              4   70   54    
762.57/762.62	c 5631           11134          11630276       46264048       450            0              2   95   84    
795.57/795.63	c 6286           11983          12279463       49870707       450            0              1   59   54    
815.08/815.12	c 7006           12782          12568840       51755006       450            0              3   39   38    
841.27/841.34	c 7798           13688          12960646       54432564       450            0              3   38   36    
856.97/857.09	c 8669           14669          13337382       55929676       450            0              3   40   38    
922.07/922.14	c 9627           15710          13945441       64517438       450            0              3   41   40    
1142.07/1142.19	c 10680          16974          15436983       82761528       450            0              12   53   51   
1212.16/1212.25	c 11838          18380          16460674       92417295       450            0              19   52   48   
1676.65/1676.72	c 13111          20099          20708334       122636947      450            0              2   43   40    
1703.06/1703.18	c 14511          21669          21195398       124617691      450            0              12   73   68   
1901.25/1901.32	c 16051          23631          23150976       141895968      450            0              5   21   18    
2147.15/2147.21	c 17745          25748          25228889       160066623      450            0              6   40   37    
2262.06/2262.15	c 19608          28079          26580744       168492654      450            0              15   52   48   
2337.05/2337.11	c 21657          30208          27606848       174976492      450            0              14   57   56   
2497.74/2497.85	c 23910          32657          29718934       195123245      450            0              1   21   20    
2519.94/2520.01	
2519.94/2520.01	c *** INTERRUPTED ***
2519.94/2520.01	c restarts              : 34          
2519.94/2520.01	c conflicts             : 24094        (10 /sec)
2519.94/2520.01	c decisions             : 33015        (13 /sec)
2519.94/2520.01	c propagations          : 196580375   (78020 /sec)
2519.94/2520.01	c root propagations     : 313068      
2519.94/2520.01	c filter calls          : 30097513       (11945 /sec)
2519.94/2520.01	c useless filter calls  : 26785953       (88 %)
2519.94/2520.01	c Memory used           : 449.09 MB
2519.94/2520.01	c CPU time              : 2519.63 s
2519.94/2520.01	c real time             : 2520.01 s
2519.94/2520.01	
2519.94/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 (10482 MiB free)
  memory of node 1: 16384 MiB (13319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396753-1568593281/watcher-4396753-1568593281 -o /tmp/evaluation-result-4396753-1568593281/solver-4396753-1568593281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2767 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396753-1568593281.xml 

running on 4 cores: 0,2,4,6

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=6416, runsolver pid=6413

[startup+0.1002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 6417
/proc/meminfo: memFree=24368276/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=32704 memory=8788 CPUtime=0.1 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 2384 0 0 0 10 0 0 0 20 0 1 0 435266506 33488896 2197 33554432000 4194304 6211092 140736503386992 140736503383528 140478831084624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 8176 2197 798 493 0 1481 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32704 KiB
Current children cumulated memory: 8788 KiB

[startup+0.20978 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 6417
/proc/meminfo: memFree=24367532/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=33416 memory=9340 CPUtime=0.21 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 2555 0 0 0 21 0 0 0 20 0 1 0 435266506 34217984 2335 33554432000 4194304 6211092 140736503386992 140736503383528 140478822677952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 8354 2335 798 493 0 1659 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9340 KiB

[startup+0.309165 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 6417
/proc/meminfo: memFree=24359304/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=42028 memory=18044 CPUtime=0.3 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 4723 0 0 0 30 0 0 0 20 0 1 0 435266506 43036672 4511 33554432000 4194304 6211092 140736503386992 140736503383528 140478821751781 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 10507 4511 816 493 0 3812 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42028 KiB
Current children cumulated memory: 18044 KiB

[startup+0.700389 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6417
/proc/meminfo: memFree=24341696/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=75456 memory=51612 CPUtime=0.69 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 13089 0 0 0 67 2 0 0 20 0 1 0 435266506 77266944 12903 33554432000 4194304 6211092 140736503386992 140736503382088 140478821751781 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 18864 12903 816 493 0 12169 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75456 KiB
Current children cumulated memory: 51612 KiB

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6417
/proc/meminfo: memFree=24298736/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=145212 memory=121400 CPUtime=1.49 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 30525 0 0 0 145 4 0 0 20 0 1 0 435266506 148697088 30350 33554432000 4194304 6211092 140736503386992 140736503382088 140478821751781 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 36303 30350 816 493 0 29608 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 145212 KiB
Current children cumulated memory: 121400 KiB

[startup+3.10966 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6417
/proc/meminfo: memFree=24123924/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=285284 memory=261472 CPUtime=3.1 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 66006 0 0 0 299 11 0 0 20 0 1 0 435266506 292130816 65368 33554432000 4194304 6211092 140736503386992 140736503382088 140478821751781 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 71321 65368 816 493 0 64626 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 285284 KiB
Current children cumulated memory: 261472 KiB

[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6418
/proc/meminfo: memFree=24059364/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=339604 memory=316148 CPUtime=6.28 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 107411 0 0 0 614 14 0 0 20 0 1 0 435266506 347754496 79037 33554432000 4194304 6211092 140736503386992 140736503384488 140478831696744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 84901 79037 860 493 0 78206 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 339604 KiB
Current children cumulated memory: 316148 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6418
/proc/meminfo: memFree=24043740/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=355972 memory=332468 CPUtime=12.69 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 132412 0 0 0 1253 16 0 0 20 0 1 0 435266506 364515328 83117 33554432000 4194304 6211092 140736503386992 140736503384648 5441128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 88993 83117 860 493 0 82298 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 355972 KiB
Current children cumulated memory: 332468 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6418
/proc/meminfo: memFree=24032892/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=368512 memory=345120 CPUtime=25.49 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 173312 0 0 0 2531 18 0 0 20 0 1 0 435266506 377356288 86280 33554432000 4194304 6211092 140736503386992 140736503384648 140478822675332 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 92128 86280 862 493 0 85433 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 368512 KiB
Current children cumulated memory: 345120 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6420
/proc/meminfo: memFree=24024520/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=374188 memory=350780 CPUtime=51.09 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 199335 0 0 0 5090 19 0 0 20 0 1 0 435266506 383168512 87695 33554432000 4194304 6211092 140736503386992 140736503384648 140478822675343 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 93547 87695 862 493 0 86852 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 374188 KiB
Current children cumulated memory: 350780 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 6424
/proc/meminfo: memFree=24008456/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=389632 memory=366244 CPUtime=102.28 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 236859 0 0 0 10206 22 0 0 20 0 1 0 435266506 398983168 91561 33554432000 4194304 6211092 140736503386992 140736503384648 5451477 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 97408 91561 862 493 0 90713 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 389632 KiB
Current children cumulated memory: 366244 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/201 6553
/proc/meminfo: memFree=23937104/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=407320 memory=383792 CPUtime=162.28 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 266841 0 0 0 16203 25 0 0 20 0 1 0 435266506 417095680 95948 33554432000 4194304 6211092 140736503386992 140736503384648 5478323 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 101830 95948 862 493 0 95135 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 407320 KiB
Current children cumulated memory: 383792 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/202 6559
/proc/meminfo: memFree=23763736/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=411676 memory=388136 CPUtime=222.27 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 277409 0 0 0 22202 25 0 0 20 0 1 0 435266506 421556224 97034 33554432000 4194304 6211092 140736503386992 140736503384648 5478424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 102919 97034 862 493 0 96224 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 411676 KiB
Current children cumulated memory: 388136 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 6564
/proc/meminfo: memFree=23598656/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=412864 memory=389368 CPUtime=282.28 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 278658 0 0 0 28202 26 0 0 20 0 1 0 435266506 422772736 97342 33554432000 4194304 6211092 140736503386992 140736503384648 5451626 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 103216 97342 862 493 0 96521 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 412864 KiB
Current children cumulated memory: 389368 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6568
/proc/meminfo: memFree=23422900/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=425148 memory=401484 CPUtime=342.27 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 284598 0 0 0 34201 26 0 0 20 0 1 0 435266506 435351552 100371 33554432000 4194304 6211092 140736503386992 140736503384648 5441090 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 106287 100371 862 493 0 99592 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 425148 KiB
Current children cumulated memory: 401484 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6574
/proc/meminfo: memFree=23262148/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=429240 memory=405776 CPUtime=402.28 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 287262 0 0 0 40201 27 0 0 20 0 1 0 435266506 439541760 101444 33554432000 4194304 6211092 140736503386992 140736503384648 5164712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 107310 101444 862 493 0 100615 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 429240 KiB
Current children cumulated memory: 405776 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6579
/proc/meminfo: memFree=23084140/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=430164 memory=406708 CPUtime=462.28 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 290074 0 0 0 46201 27 0 0 20 0 1 0 435266506 440487936 101677 33554432000 4194304 6211092 140736503386992 140736503384648 5441131 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 107541 101677 862 493 0 100846 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 430164 KiB
Current children cumulated memory: 406708 KiB


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

/proc/6416/statm: 114174 108302 862 493 0 107479 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 456696 KiB
Current children cumulated memory: 433208 KiB

[startup+1782.3 s]
/proc/loadavg: 2.05 2.09 2.22 3/201 7086
/proc/meminfo: memFree=14133536/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=456828 memory=433392 CPUtime=1782.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 347953 0 0 0 178194 31 0 0 20 0 1 0 435266506 467791872 108348 33554432000 4194304 6211092 140736503386992 140736503384648 5446230 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114207 108348 862 493 0 107512 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 456828 KiB
Current children cumulated memory: 433392 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.07 2.21 3/202 7092
/proc/meminfo: memFree=13505780/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=456960 memory=433488 CPUtime=1842.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 348756 0 0 0 184193 32 0 0 20 0 1 0 435266506 467927040 108372 33554432000 4194304 6211092 140736503386992 140736503384648 5442982 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114240 108372 862 493 0 107545 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 456960 KiB
Current children cumulated memory: 433488 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 2.20 3/201 7096
/proc/meminfo: memFree=12876200/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=457092 memory=433648 CPUtime=1902.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 349686 0 0 0 190193 32 0 0 20 0 1 0 435266506 468062208 108412 33554432000 4194304 6211092 140736503386992 140736503384952 5446174 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114273 108412 862 493 0 107578 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 457092 KiB
Current children cumulated memory: 433648 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.19 3/201 7100
/proc/meminfo: memFree=12248864/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=457356 memory=433888 CPUtime=1962.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 350648 0 0 0 196193 32 0 0 20 0 1 0 435266506 468332544 108472 33554432000 4194304 6211092 140736503386992 140736503384648 5068955 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114339 108472 862 493 0 107644 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433888 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.18 3/202 7106
/proc/meminfo: memFree=11619512/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=457356 memory=433968 CPUtime=2022.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 351539 0 0 0 202193 32 0 0 20 0 1 0 435266506 468332544 108492 33554432000 4194304 6211092 140736503386992 140736503384648 5446279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114339 108492 862 493 0 107644 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433968 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.17 3/199 7111
/proc/meminfo: memFree=10989964/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=457356 memory=433984 CPUtime=2082.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 352310 0 0 0 208193 32 0 0 20 0 1 0 435266506 468332544 108496 33554432000 4194304 6211092 140736503386992 140736503384648 5443025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114339 108496 862 493 0 107644 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433984 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.15 3/199 7115
/proc/meminfo: memFree=10362708/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=457356 memory=433984 CPUtime=2142.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 353088 0 0 0 214193 32 0 0 20 0 1 0 435266506 468332544 108496 33554432000 4194304 6211092 140736503386992 140736503384648 5453912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114339 108496 862 493 0 107644 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433984 KiB

[startup+2202.3 s]
/proc/loadavg: 2.05 2.04 2.15 3/200 7121
/proc/meminfo: memFree=9731868/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=458280 memory=434800 CPUtime=2202.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 354903 0 0 0 220193 32 0 0 20 0 1 0 435266506 469278720 108700 33554432000 4194304 6211092 140736503386992 140736503384648 5455658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114570 108700 862 493 0 107875 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 434800 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.14 3/199 7126
/proc/meminfo: memFree=9103960/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=458280 memory=434812 CPUtime=2262.25 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 355853 0 0 0 226193 32 0 0 20 0 1 0 435266506 469278720 108703 33554432000 4194304 6211092 140736503386992 140736503384648 5446264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114570 108703 862 493 0 107875 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 434812 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.13 3/199 7130
/proc/meminfo: memFree=8475724/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=459336 memory=435888 CPUtime=2322.24 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 357784 0 0 0 232192 32 0 0 20 0 1 0 435266506 470360064 108972 33554432000 4194304 6211092 140736503386992 140736503384648 5440690 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114834 108972 862 493 0 108139 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 459336 KiB
Current children cumulated memory: 435888 KiB

[startup+2382.3 s]
/proc/loadavg: 2.66 2.19 2.18 3/201 7209
/proc/meminfo: memFree=23956956/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=459600 memory=436148 CPUtime=2382.24 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 358977 0 0 0 238192 32 0 0 20 0 1 0 435266506 470630400 109037 33554432000 4194304 6211092 140736503386992 140736503384648 5451500 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114900 109037 862 493 0 108205 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 459600 KiB
Current children cumulated memory: 436148 KiB

[startup+2442.3 s]
/proc/loadavg: 2.24 2.16 2.17 3/201 7235
/proc/meminfo: memFree=23959076/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=459600 memory=436156 CPUtime=2442.24 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 359827 0 0 0 244192 32 0 0 20 0 1 0 435266506 470630400 109039 33554432000 4194304 6211092 140736503386992 140736503384648 5480268 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114900 109039 862 493 0 108205 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 459600 KiB
Current children cumulated memory: 436156 KiB

[startup+2502.3 s]
/proc/loadavg: 2.09 2.13 2.16 3/201 7299
/proc/meminfo: memFree=23963052/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=459600 memory=436168 CPUtime=2502.24 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 360901 0 0 0 250192 32 0 0 20 0 1 0 435266506 470630400 109042 33554432000 4194304 6211092 140736503386992 140736503384952 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114900 109042 862 493 0 108205 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 459600 KiB
Current children cumulated memory: 436168 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.15 2.14 2.16 3/201 7361
/proc/meminfo: memFree=23961008/32770624 swapFree=66999428/67108860
[pid=6416] ppid=6413 vsize=459864 memory=436472 CPUtime=2519.94 cores=0,2,4,6
/proc/6416/stat : 6416 (cosoco) R 6413 6416 2736 0 -1 4202496 361738 0 0 0 251962 32 0 0 20 0 1 0 435266506 470900736 109118 33554432000 4194304 6211092 140736503386992 140736503384648 5446200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27291648 140736503395339 140736503395441 140736503395441 140736503398350 0
/proc/6416/statm: 114966 109118 862 493 0 108271 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 459864 KiB
Current children cumulated memory: 436472 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.96
CPU user time (s): 2519.63
CPU system time (s): 0.330995
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 459864
Max. memory (cumulated for all children) (KiB): 436472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.63
system time used= 0.330995
maximum resident set size= 436564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361777
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= 42
involuntary context switches= 3184


# summary of solver processes directly reported to runsolver:
#   pid: 6416
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.63
#   total CPU system time (s): 0.330995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66942 second user time and 18.0845 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-16 02:20:40
IDJOB=4396753
IDBENCH=138480
IDSOLVER=2848
FILE ID=node140/4396753-1568593281
RUNJOBID= node140-1568572743-2767
PBS_JOBID= 21703315
Free space on /tmp= 58136 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-13.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396753-1568593281/watcher-4396753-1568593281 -o /tmp/evaluation-result-4396753-1568593281/solver-4396753-1568593281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2767 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396753-1568593281.xml

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

MD5SUM BENCH= 388994c608323cc5ca888624a3c66f06
RANDOM SEED=1580120613

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:        24373444 kB
MemAvailable:   31801920 kB
Buffers:          192000 kB
Cached:          7451416 kB
SwapCached:         2604 kB
Active:          1593956 kB
Inactive:        6105632 kB
Active(anon):      53080 kB
Inactive(anon):    52220 kB
Active(file):    1540876 kB
Inactive(file):  6053412 kB
Unevictable:      107880 kB
Mlocked:          107880 kB
SwapTotal:      67108860 kB
SwapFree:       66999428 kB
Dirty:              2620 kB
Writeback:             0 kB
AnonPages:        176284 kB
Mapped:            48992 kB
Shmem:             40576 kB
Slab:             293060 kB
SReclaimable:     262648 kB
SUnreclaim:        30412 kB
KernelStack:        3792 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     584748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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-16 03:02:41