Trace number 4396698

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 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-18.xml
MD5SUM3f0141c7bb33af25d9039070b39091b8
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 benchmark52.3708
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1184
Maximum domain size1282
Distribution of domain sizes[{"size":1184,"count":10},{"size":1185,"count":4},{"size":1186,"count":4},{"size":1187,"count":10},{"size":1188,"count":8},{"size":1191,"count":6},{"size":1192,"count":4},{"size":1193,"count":6},{"size":1194,"count":8},{"size":1195,"count":6},{"size":1196,"count":2},{"size":1197,"count":2},{"size":1198,"count":6},{"size":1199,"count":6},{"size":1200,"count":10},{"size":1201,"count":6},{"size":1202,"count":10},{"size":1203,"count":10},{"size":1204,"count":6},{"size":1206,"count":4},{"size":1207,"count":10},{"size":1208,"count":6},{"size":1209,"count":2},{"size":1210,"count":2},{"size":1211,"count":2},"...",{"size":1253,"count":4}, {"size":1255,"count":6}, {"size":1256,"count":6}, {"size":1257,"count":2}, {"size":1259,"count":8}, {"size":1260,"count":6}, {"size":1261,"count":4}, {"size":1262,"count":6}, {"size":1263,"count":4}, {"size":1264,"count":2}, {"size":1265,"count":2}, {"size":1267,"count":8}, {"size":1268,"count":6}, {"size":1269,"count":10}, {"size":1272,"count":6}, {"size":1273,"count":2}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1276,"count":2}, {"size":1277,"count":10}, {"size":1278,"count":10}, {"size":1279,"count":12}, {"size":1280,"count":6}, {"size":1281,"count":4}, {"size":1282,"count":8}]
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.59/3.62	c root propagations     : 319256      
3.59/3.62	c restarts enabled, print stats at every restarts
3.59/3.62	c
3.59/3.62	c
3.59/3.62	c
3.59/3.62	c This is cosoco 2.00 --  
3.59/3.62	c
3.59/3.62	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396698-1568593287.xml 
3.59/3.62	c ========================================[ Problem Statistics ]===========================================
3.59/3.62	c |                                                                                                       
3.59/3.62	c |  Parse time        :         3.48 s 
3.59/3.62	c |
3.59/3.62	c |               Variables: 450
3.59/3.62	c |            Domain Sizes: 1184..1282
3.59/3.62	c |
3.59/3.62	c |             Constraints: 5580
3.59/3.62	c |                   Arity: 2..2  -- Binary: 5580
3.59/3.62	c | 
3.59/3.62	c |                   Types: 
3.59/3.62	c |                          (X != Y): 225
3.59/3.62	c |                          (X -Y <= k): 630
3.59/3.62	c |                          Intension: 4725
3.59/3.62	c |                          
3.59/3.62	c =========================================================================================================
3.59/3.62	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.19/8.27	c 101            175            98377          889956         450            0              10   73   62   
26.48/26.51	c 211            468            542719         2597517        450            0              1   38   16    
43.39/43.46	c 332            823            918921         3220918        450            0              1   33   9     
68.38/68.40	c 465            1171           1441251        4011121        450            0              1   43   25    
85.48/85.56	c 611            1400           1766183        5338904        450            0              1   67   55    
99.78/99.82	c 771            1836           2039610        5989751        450            0              3   55   28    
132.99/133.10	c 947            2132           2488197        8854910        450            0              1   68   51    
149.09/149.13	c 1140           2418           2766734        10233721       450            0              2   43   40    
165.88/165.93	c 1352           2841           3123813        11123324       450            0              1   90   66    
180.08/180.12	c 1585           3253           3367051        12045575       450            0              6   45   42    
201.58/201.61	c 1841           3661           3702122        13662631       450            0              2   79   62    
221.78/221.87	c 2122           4106           3999294        15255053       450            0              18   95   88   
254.37/254.45	c 2431           4597           4493353        17129869       450            0              1   86   70    
293.17/293.26	c 2770           4978           4818949        19864736       450            0              2   24   23    
347.47/347.54	c 3142           5485           5294334        24400649       450            0              1   32   28    
390.27/390.32	c 3551           6100           5952931        27422695       450            0              5   76   69    
397.47/397.58	c 4000           6657           6101916        28260023       450            0              4   87   85    
457.27/457.31	c 4493           7215           6831605        32261199       450            0              18   49   48   
567.67/567.79	c 5035           7915           8180377        38476055       450            0              9   72   68    
598.38/598.44	c 5631           8775           8875196        42072861       450            0              1   48   46    
787.98/788.06	c 6286           9512           11539006       59179173       450            0              2   39   37    
842.17/842.24	c 7006           10994          12517986       61475808       450            0              3   96   55    
1007.67/1007.74	c 7798           11924          15111516       76464176       450            0              1   51   46    
1083.47/1083.50	c 8669           13123          16193112       82891644       450            0              3   82   77    
1104.77/1104.84	c 9627           14305          16624853       84216001       450            0              11   66   63   
1221.87/1222.00	c 10680          15603          18153956       90589635       450            0              3   88   79    
1381.17/1381.21	c 11838          17204          20669403       104747913      450            0              1   52   46    
1513.37/1513.42	c 13111          18841          22486741       110890432      450            0              3   60   54    
1804.48/1804.54	c 14511          20493          26497502       133093100      450            0              8   51   49    
2182.38/2182.49	c 16051          22702          31294472       154927464      450            0              5   40   29    
2264.78/2264.86	c 17745          26544          33387654       158619084      450            0              6   39   36    
2472.59/2472.61	c 19608          28490          34497490       176398995      450            0              2   30   29    
2519.99/2520.01	
2519.99/2520.01	c *** INTERRUPTED ***
2519.99/2520.01	c restarts              : 32          
2519.99/2520.01	c conflicts             : 19958        (8 /sec)
2519.99/2520.01	c decisions             : 28967        (11 /sec)
2519.99/2520.01	c propagations          : 180133631   (71490 /sec)
2519.99/2520.01	c root propagations     : 319256      
2519.99/2520.01	c filter calls          : 35026960       (13901 /sec)
2519.99/2520.01	c useless filter calls  : 31832833       (90 %)
2519.99/2520.01	c Memory used           : 447.76 MB
2519.99/2520.01	c CPU time              : 2519.69 s
2519.99/2520.01	c real time             : 2520 s
2519.99/2520.01	
2519.99/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 (11896 MiB free)
  memory of node 1: 16384 MiB (14002 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396698-1568593287/watcher-4396698-1568593287 -o /tmp/evaluation-result-4396698-1568593287/solver-4396698-1568593287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568572744-8046 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396698-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
solver pid=12421, runsolver pid=12418
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 2.02 2.08 2.07 3/199 12422
/proc/meminfo: memFree=26515792/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=32560 memory=8656 CPUtime=0.1 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 2372 0 0 0 10 0 0 0 20 0 1 0 435597521 33341440 2164 33554432000 4194304 6211092 140731721269040 140731721265576 140698981844096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 8140 2164 798 493 0 1445 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32560 KiB
Current children cumulated memory: 8656 KiB

[startup+0.209712 s]*
/proc/loadavg: 2.02 2.08 2.07 3/199 12422
/proc/meminfo: memFree=26515048/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=33664 memory=9852 CPUtime=0.21 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 2655 0 0 0 21 0 0 0 20 0 1 0 435597521 34471936 2463 33554432000 4194304 6211092 140731721269040 140731721265576 140698965781477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 8416 2463 816 493 0 1721 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33664 KiB
Current children cumulated memory: 9852 KiB

[startup+0.308962 s]*
/proc/loadavg: 2.02 2.08 2.07 3/199 12422
/proc/meminfo: memFree=26506120/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=42708 memory=18884 CPUtime=0.3 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 4909 0 0 0 30 0 0 0 20 0 1 0 435597521 43732992 4721 33554432000 4194304 6211092 140731721269040 140731721265576 140698965781477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 10677 4721 816 493 0 3982 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42708 KiB
Current children cumulated memory: 18884 KiB

[startup+0.700339 s]
/proc/loadavg: 2.02 2.08 2.07 4/199 12422
/proc/meminfo: memFree=26488264/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=77580 memory=53740 CPUtime=0.69 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 13605 0 0 0 67 2 0 0 20 0 1 0 435597521 79441920 13435 33554432000 4194304 6211092 140731721269040 140731721261928 140698965781477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 19395 13435 816 493 0 12700 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77580 KiB
Current children cumulated memory: 53740 KiB

[startup+1.50034 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 12423
/proc/meminfo: memFree=26443244/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=150508 memory=126696 CPUtime=1.49 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 31865 0 0 0 144 5 0 0 20 0 1 0 435597521 154120192 31674 33554432000 4194304 6211092 140731721269040 140731721264136 140698965781477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 37627 31674 816 493 0 30932 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 150508 KiB
Current children cumulated memory: 126696 KiB

[startup+3.10945 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 12423
/proc/meminfo: memFree=26260964/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=297008 memory=273196 CPUtime=3.1 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 68962 0 0 0 300 10 0 0 20 0 1 0 435597521 304136192 68299 33554432000 4194304 6211092 140731721269040 140731721264136 140698965781477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 74252 68299 816 493 0 67557 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 297008 KiB
Current children cumulated memory: 273196 KiB

[startup+6.30031 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 12423
/proc/meminfo: memFree=26197808/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=349848 memory=326348 CPUtime=6.29 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 112912 0 0 0 616 13 0 0 20 0 1 0 435597521 358244352 81587 33554432000 4194304 6211092 140731721269040 140731721266696 5451424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 87462 81587 860 493 0 80767 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 349848 KiB
Current children cumulated memory: 326348 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 12423
/proc/meminfo: memFree=26192372/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=354996 memory=331612 CPUtime=12.69 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 139011 0 0 0 1255 14 0 0 20 0 1 0 435597521 363515904 82903 33554432000 4194304 6211092 140731721269040 140731721266696 5453908 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 88749 82903 862 493 0 82054 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 354996 KiB
Current children cumulated memory: 331612 KiB

[startup+25.5004 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 12423
/proc/meminfo: memFree=26186380/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=361332 memory=337936 CPUtime=25.48 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 171034 0 0 0 2533 15 0 0 20 0 1 0 435597521 370003968 84484 33554432000 4194304 6211092 140731721269040 140731721266696 5446193 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 90333 84484 862 493 0 83638 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 361332 KiB
Current children cumulated memory: 337936 KiB

[startup+51.1096 s]
/proc/loadavg: 2.01 2.07 2.06 3/199 12425
/proc/meminfo: memFree=26180672/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=366480 memory=343096 CPUtime=51.1 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 198815 0 0 0 5092 18 0 0 20 0 1 0 435597521 375275520 85774 33554432000 4194304 6211092 140731721269040 140731721267000 5476813 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 91620 85774 862 493 0 84925 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 366480 KiB
Current children cumulated memory: 343096 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 12429
/proc/meminfo: memFree=26158168/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=389844 memory=366364 CPUtime=102.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 254202 0 0 0 10207 21 0 0 20 0 1 0 435597521 399200256 91591 33554432000 4194304 6211092 140731721269040 140731721266696 140698966707641 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 97461 91591 862 493 0 90766 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 389844 KiB
Current children cumulated memory: 366364 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 2.03 2.05 3/199 12494
/proc/meminfo: memFree=26034280/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=413756 memory=390248 CPUtime=162.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 294366 0 0 0 16204 24 0 0 20 0 1 0 435597521 423686144 97562 33554432000 4194304 6211092 140731721269040 140731721266696 140698966707626 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 103439 97562 862 493 0 96744 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 413756 KiB
Current children cumulated memory: 390248 KiB

[startup+222.3 s]
/proc/loadavg: 2.15 2.07 2.06 3/199 12500
/proc/meminfo: memFree=25833552/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=433424 memory=409916 CPUtime=222.27 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 320652 0 0 0 22201 26 0 0 20 0 1 0 435597521 443826176 102479 33554432000 4194304 6211092 140731721269040 140731721266696 5446240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 108356 102479 862 493 0 101661 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 433424 KiB
Current children cumulated memory: 409916 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/199 12566
/proc/meminfo: memFree=26114704/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=436988 memory=413464 CPUtime=282.27 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 323764 0 0 0 28201 26 0 0 20 0 1 0 435597521 447475712 103366 33554432000 4194304 6211092 140731721269040 140731721266696 5446178 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 109247 103366 862 493 0 102552 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 436988 KiB
Current children cumulated memory: 413464 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/199 12570
/proc/meminfo: memFree=26111840/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=439892 memory=416532 CPUtime=342.27 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 325305 0 0 0 34200 27 0 0 20 0 1 0 435597521 450449408 104133 33554432000 4194304 6211092 140731721269040 140731721266696 5451434 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 109973 104133 862 493 0 103278 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 439892 KiB
Current children cumulated memory: 416532 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 12576
/proc/meminfo: memFree=26107680/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=443588 memory=419972 CPUtime=402.27 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 327998 0 0 0 40200 27 0 0 20 0 1 0 435597521 454234112 104993 33554432000 4194304 6211092 140731721269040 140731721266696 5455650 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 110897 104993 862 493 0 104202 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 443588 KiB
Current children cumulated memory: 419972 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/199 12581
/proc/meminfo: memFree=26105928/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=444776 memory=421312 CPUtime=462.27 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 329966 0 0 0 46200 27 0 0 20 0 1 0 435597521 455450624 105328 33554432000 4194304 6211092 140731721269040 140731721266696 5476777 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 111194 105328 862 493 0 104499 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 444776 KiB
Current children cumulated memory: 421312 KiB


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

/proc/12421/statm: 113603 107748 862 493 0 106908 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 454412 KiB
Current children cumulated memory: 430992 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 12729
/proc/meminfo: memFree=26095668/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=454412 memory=430992 CPUtime=1782.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 351235 0 0 0 178198 30 0 0 20 0 1 0 435597521 465317888 107748 33554432000 4194304 6211092 140731721269040 140731721266696 5442964 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 113603 107748 862 493 0 106908 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 454412 KiB
Current children cumulated memory: 430992 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 12735
/proc/meminfo: memFree=26094504/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=454676 memory=431280 CPUtime=1842.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 352105 0 0 0 184198 30 0 0 20 0 1 0 435597521 465588224 107820 33554432000 4194304 6211092 140731721269040 140731721266696 140698975726474 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 113669 107820 862 493 0 106974 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 454676 KiB
Current children cumulated memory: 431280 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 12739
/proc/meminfo: memFree=26093500/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=455468 memory=431936 CPUtime=1902.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 353403 0 0 0 190198 30 0 0 20 0 1 0 435597521 466399232 107984 33554432000 4194304 6211092 140731721269040 140731721266696 5440817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 113867 107984 862 493 0 107172 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 455468 KiB
Current children cumulated memory: 431936 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12743
/proc/meminfo: memFree=26094588/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=455600 memory=432096 CPUtime=1962.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 354301 0 0 0 196198 30 0 0 20 0 1 0 435597521 466534400 108024 33554432000 4194304 6211092 140731721269040 140731721266696 5068981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 113900 108024 862 493 0 107205 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 455600 KiB
Current children cumulated memory: 432096 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12749
/proc/meminfo: memFree=26094596/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=456260 memory=432764 CPUtime=2022.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 355561 0 0 0 202198 30 0 0 20 0 1 0 435597521 467210240 108191 33554432000 4194304 6211092 140731721269040 140731721266696 5441082 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114065 108191 862 493 0 107370 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 456260 KiB
Current children cumulated memory: 432764 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12754
/proc/meminfo: memFree=26093652/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=456392 memory=432952 CPUtime=2082.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 356519 0 0 0 208198 30 0 0 20 0 1 0 435597521 467345408 108238 33554432000 4194304 6211092 140731721269040 140731721266696 5451457 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114098 108238 862 493 0 107403 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 456392 KiB
Current children cumulated memory: 432952 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12758
/proc/meminfo: memFree=26094176/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=456392 memory=433020 CPUtime=2142.27 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 357169 0 0 0 214197 30 0 0 20 0 1 0 435597521 467345408 108255 33554432000 4194304 6211092 140731721269040 140731721266696 4982624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114098 108255 862 493 0 107403 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 456392 KiB
Current children cumulated memory: 433020 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12764
/proc/meminfo: memFree=26092944/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=456656 memory=433144 CPUtime=2202.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 357934 0 0 0 220198 30 0 0 20 0 1 0 435597521 467615744 108286 33554432000 4194304 6211092 140731721269040 140731721266696 5440627 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114164 108286 862 493 0 107469 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 456656 KiB
Current children cumulated memory: 433144 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12769
/proc/meminfo: memFree=26092536/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=456656 memory=433248 CPUtime=2262.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 358505 0 0 0 226198 30 0 0 20 0 1 0 435597521 467615744 108312 33554432000 4194304 6211092 140731721269040 140731721266696 5451610 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114164 108312 862 493 0 107469 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 456656 KiB
Current children cumulated memory: 433248 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12773
/proc/meminfo: memFree=26091780/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=457052 memory=433544 CPUtime=2322.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 359271 0 0 0 232198 30 0 0 20 0 1 0 435597521 468021248 108386 33554432000 4194304 6211092 140731721269040 140731721266696 140698966702004 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114263 108386 862 493 0 107568 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 457052 KiB
Current children cumulated memory: 433544 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12787
/proc/meminfo: memFree=26091048/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=457052 memory=433596 CPUtime=2382.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 359868 0 0 0 238198 30 0 0 20 0 1 0 435597521 468021248 108399 33554432000 4194304 6211092 140731721269040 140731721266696 5439622 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114263 108399 862 493 0 107568 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 457052 KiB
Current children cumulated memory: 433596 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12813
/proc/meminfo: memFree=26091224/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=457052 memory=433596 CPUtime=2442.28 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 360460 0 0 0 244198 30 0 0 20 0 1 0 435597521 468021248 108399 33554432000 4194304 6211092 140731721269040 140731721266696 5476857 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114263 108399 862 493 0 107568 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 457052 KiB
Current children cumulated memory: 433596 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 12817
/proc/meminfo: memFree=26089828/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=458504 memory=434908 CPUtime=2502.29 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 361435 0 0 0 250198 31 0 0 20 0 1 0 435597521 469508096 108727 33554432000 4194304 6211092 140731721269040 140731721266696 5446218 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114626 108727 862 493 0 107931 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 458504 KiB
Current children cumulated memory: 434908 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 5/201 12819
/proc/meminfo: memFree=26088724/32770624 swapFree=66998528/67108860
[pid=12421] ppid=12418 vsize=458504 memory=435032 CPUtime=2519.99 cores=1,3,5,7
/proc/12421/stat : 12421 (cosoco) R 12418 12421 8014 0 -1 4202496 361866 0 0 0 251968 31 0 0 20 0 1 0 435597521 469508096 108758 33554432000 4194304 6211092 140731721269040 140731721266696 5451482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27840512 140731721274379 140731721274481 140731721274481 140731721277390 0
/proc/12421/statm: 114626 108758 862 493 0 107931 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 458504 KiB
Current children cumulated memory: 435032 KiB

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

[startup+2520.01 s]
# the end of solver process 12421 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.69 s, system=0.312001 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
CPU user time (s): 2519.69
CPU system time (s): 0.312001
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 458504
Max. memory (cumulated for all children) (KiB): 435032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.312001
maximum resident set size= 435104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361908
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= 49
involuntary context switches= 1153


# summary of solver processes directly reported to runsolver:
#   pid: 12421
#   total CPU time (s): 2520
#   total CPU user time (s): 2519.69
#   total CPU system time (s): 0.312001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39437 second user time and 18.0585 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-16 02:20:47
IDJOB=4396698
IDBENCH=138482
IDSOLVER=2848
FILE ID=node127/4396698-1568593287
RUNJOBID= node127-1568572744-8046
PBS_JOBID= 21703323
Free space on /tmp= 61308 MiB

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

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

MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8
RANDOM SEED=1592817590

node127.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.55
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.55
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.55
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.55
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:        26521096 kB
MemAvailable:   31854500 kB
Buffers:          135664 kB
Cached:          5472052 kB
SwapCached:         6772 kB
Active:          2824468 kB
Inactive:        2805732 kB
Active(anon):      14548 kB
Inactive(anon):    57448 kB
Active(file):    2809920 kB
Inactive(file):  2748284 kB
Unevictable:      110552 kB
Mlocked:          110552 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:              2776 kB
Writeback:             0 kB
AnonPages:        143924 kB
Mapped:            49616 kB
Shmem:             40892 kB
Slab:             212208 kB
SReclaimable:     182072 kB
SUnreclaim:        30136 kB
KernelStack:        3760 kB
PageTables:         5740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     547960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61308 MiB
End job on node127 at 2019-09-16 03:02:47