Trace number 4389654

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? (TO) 2520 2520.02

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20/
SuperTaillard-js-20-10.xml
MD5SUM2e1a96a215dbee196ad45178247d22f3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Number of domains96
Minimum domain size1518
Maximum domain size1616
Distribution of domain sizes[{"size":1518,"count":10},{"size":1519,"count":4},{"size":1520,"count":16},{"size":1521,"count":2},{"size":1522,"count":6},{"size":1523,"count":8},{"size":1524,"count":6},{"size":1525,"count":6},{"size":1526,"count":6},{"size":1527,"count":16},{"size":1528,"count":6},{"size":1529,"count":6},{"size":1530,"count":8},{"size":1531,"count":24},{"size":1532,"count":6},{"size":1533,"count":8},{"size":1535,"count":8},{"size":1536,"count":14},{"size":1537,"count":6},{"size":1538,"count":8},{"size":1539,"count":6},{"size":1540,"count":8},{"size":1541,"count":10},{"size":1542,"count":8},{"size":1543,"count":10},"...",{"size":1591,"count":14}, {"size":1592,"count":4}, {"size":1593,"count":8}, {"size":1594,"count":4}, {"size":1595,"count":6}, {"size":1596,"count":8}, {"size":1597,"count":10}, {"size":1598,"count":8}, {"size":1599,"count":10}, {"size":1600,"count":14}, {"size":1601,"count":10}, {"size":1602,"count":14}, {"size":1603,"count":2}, {"size":1604,"count":10}, {"size":1605,"count":10}, {"size":1606,"count":10}, {"size":1607,"count":2}, {"size":1608,"count":16}, {"size":1609,"count":8}, {"size":1610,"count":8}, {"size":1612,"count":8}, {"size":1613,"count":8}, {"size":1614,"count":14}, {"size":1615,"count":10}, {"size":1616,"count":8}]
Minimum variable degree21
Maximum variable degree43
Distribution of variable degrees[{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12940}]
Number of extensional constraints0
Number of intensional constraints12940
Distribution of constraint types[{"type":"intension","count":12940}]
Optimization problemNO
Type of objective

Solver Data 

8.49/8.58	c root propagations     : 761976      
8.49/8.58	c restarts enabled, print stats at every restarts
8.49/8.58	c
8.49/8.58	c
8.49/8.58	c
8.49/8.58	c This is cosoco 2.00 --  
8.49/8.58	c
8.49/8.58	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389654-1568358202.xml 
8.49/8.58	c ========================================[ Problem Statistics ]===========================================
8.49/8.58	c |                                                                                                       
8.49/8.58	c |  Parse time        :         8.12 s 
8.49/8.58	c |
8.49/8.58	c |               Variables: 800
8.49/8.58	c |            Domain Sizes: 1518..1616
8.49/8.58	c |
8.49/8.58	c |             Constraints: 12940
8.49/8.58	c |                   Arity: 2..2  -- Binary: 12940
8.49/8.58	c | 
8.49/8.58	c |                   Types: 
8.49/8.58	c |                          (X != Y): 400
8.49/8.58	c |                          (X -Y <= k): 1140
8.49/8.58	c |                          Intension: 11400
8.49/8.58	c |                          
8.49/8.58	c =========================================================================================================
8.49/8.58	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
47.19/47.26	c 101            354            1155606        2689812        800            0              21   67   54   
102.78/102.87	c 211            617            2128830        5796214        800            0              21   110   79  
124.18/124.24	c 332            899            2611705        6944553        800            0              1   141   107  
150.69/150.75	c 465            1274           3391743        8382352        800            0              1   110   53   
183.99/184.07	c 611            1691           4312639        9978997        800            0              1   85   44    
219.69/219.76	c 771            2081           5413618        11988907       800            0              1   74   16    
260.38/260.40	c 947            2519           6406744        13585978       800            0              1   72   34    
305.49/305.55	c 1140           3064           7230937        14486727       800            0              1   40   18    
355.89/355.92	c 1352           3554           8272483        16574725       800            0              1   92   52    
385.88/385.90	c 1585           3871           8828155        19411566       800            0              23   74   72   
466.69/466.72	c 1841           4239           9912725        25285139       800            0              1   90   83    
582.89/583.00	c 2122           4640           10958289       33490116       800            0              1   72   67    
645.39/645.44	c 2431           5008           11630980       38241497       800            0              2   38   34    
787.48/787.51	c 2770           5680           13442113       45784969       800            0              2   111   86   
843.49/843.52	c 3142           6551           14958541       47509255       800            0              1   105   61   
982.00/982.04	c 3551           7101           16544787       54899209       800            0              1   69   63    
1038.99/1039.10	c 4000           7677           17566922       57699080       800            0              16   91   87   
1089.67/1089.74	c 4493           8315           18250429       60982209       800            0              4   110   102  
1244.17/1244.28	c 5035           9145           19741294       73461511       800            0              16   65   61   
1382.76/1382.89	c 5631           9936           21347364       81966198       800            0              3   56   51    
1558.86/1558.94	c 6286           10742          23933094       98781003       800            0              2   83   77    
1609.67/1609.73	c 7006           11573          24767259       104021586      800            0              2   44   42    
1818.07/1818.19	c 7798           12612          27141256       114120118      800            0              5   84   76    
1877.46/1877.57	c 8669           13715          28502360       118944200      800            0              8   86   81    
1957.56/1957.69	c 9627           14793          29446164       124212893      800            0              2   77   75    
2288.17/2288.26	c 10680          16010          34517466       150928768      800            0              2   66   61    
2514.78/2514.85	c 11838          18004          37435729       167949847      800            0              3   70   68    
2519.99/2520.01	
2519.99/2520.01	c *** INTERRUPTED ***
2519.99/2520.01	c restarts              : 27          
2519.99/2520.01	c conflicts             : 11857        (5 /sec)
2519.99/2520.01	c decisions             : 18062        (7 /sec)
2519.99/2520.01	c propagations          : 168244220   (66802 /sec)
2519.99/2520.01	c root propagations     : 761976      
2519.99/2520.01	c filter calls          : 37597849       (14928 /sec)
2519.99/2520.01	c useless filter calls  : 34831000       (92 %)
2519.99/2520.01	c Memory used           : 1217.34 MB
2519.99/2520.01	c CPU time              : 2518.55 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 (11712 MiB free)
  memory of node 1: 16384 MiB (14433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389654-1568358202/watcher-4389654-1568358202 -o /tmp/evaluation-result-4389654-1568358202/solver-4389654-1568358202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568358159-3900 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389654-1568358202.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=3926, runsolver pid=3921
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 4.24 6.06 5.81 3/203 3930
/proc/meminfo: memFree=26751492/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=38088 memory=14324 CPUtime=0.09 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 3758 0 0 0 9 0 0 0 20 0 1 0 411734041 39002112 3581 33554432000 4194304 6210612 140735296134928 140735296131416 5555461 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 9522 3581 796 493 0 2827 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38088 KiB
Current children cumulated memory: 14324 KiB

[startup+0.210124 s]*
/proc/loadavg: 4.24 6.06 5.81 4/203 3930
/proc/meminfo: memFree=26750004/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=39080 memory=14992 CPUtime=0.2 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 3958 0 0 0 20 0 0 0 20 0 1 0 411734041 40017920 3748 33554432000 4194304 6210612 140735296134928 140735296131416 5815969 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 9770 3748 796 493 0 3075 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 14992 KiB

[startup+0.30917 s]*
/proc/loadavg: 4.24 6.06 5.81 3/203 3930
/proc/meminfo: memFree=26748516/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=39464 memory=15624 CPUtime=0.3 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 4105 0 0 0 30 0 0 0 20 0 1 0 411734041 40411136 3906 33554432000 4194304 6210612 140735296134928 140735296131416 140375282998658 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 9866 3906 796 493 0 3171 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 15624 KiB

[startup+0.700362 s]
/proc/loadavg: 4.24 6.06 5.81 3/203 3930
/proc/meminfo: memFree=26745912/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=61192 memory=37312 CPUtime=0.69 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 9577 0 0 0 68 1 0 0 20 0 1 0 411734041 62660608 9328 33554432000 4194304 6210612 140735296134928 140735296131416 140375279504357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 15298 9328 815 493 0 8603 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61192 KiB
Current children cumulated memory: 37312 KiB

[startup+1.50038 s]
/proc/loadavg: 4.24 6.06 5.81 3/203 3930
/proc/meminfo: memFree=26637784/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=149916 memory=126016 CPUtime=1.49 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 31755 0 0 0 144 5 0 0 20 0 1 0 411734041 153513984 31504 33554432000 4194304 6210612 140735296134928 140735296130024 140375279504357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 37479 31504 815 493 0 30784 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 149916 KiB
Current children cumulated memory: 126016 KiB

[startup+3.10995 s]
/proc/loadavg: 4.06 5.99 5.79 3/203 3930
/proc/meminfo: memFree=26188944/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=329088 memory=305080 CPUtime=3.09 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 77075 0 0 0 295 14 0 0 20 0 1 0 411734041 336986112 76270 33554432000 4194304 6210612 140735296134928 140735296130024 140375279504357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 82272 76270 815 493 0 75577 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 329088 KiB
Current children cumulated memory: 305080 KiB

[startup+6.30034 s]
/proc/loadavg: 4.06 5.99 5.79 3/204 3932
/proc/meminfo: memFree=25513476/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=684132 memory=660160 CPUtime=6.29 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 166891 0 0 0 597 32 0 0 20 0 1 0 411734041 700551168 165040 33554432000 4194304 6210612 140735296134928 140735296130024 140375279504357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 171033 165040 815 493 0 164338 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 684132 KiB
Current children cumulated memory: 660160 KiB

[startup+12.7004 s]
/proc/loadavg: 3.90 5.93 5.77 3/204 3932
/proc/meminfo: memFree=24907844/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=942916 memory=919356 CPUtime=12.68 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 294979 0 0 0 1226 42 0 0 20 0 1 0 411734041 965545984 229839 33554432000 4194304 6210612 140735296134928 140735296132584 140375280424867 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 235729 229839 859 493 0 229034 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 942916 KiB
Current children cumulated memory: 919356 KiB

[startup+25.5004 s]
/proc/loadavg: 3.48 5.73 5.71 3/203 3932
/proc/meminfo: memFree=24907612/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=943708 memory=920244 CPUtime=25.49 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 355575 0 0 0 2504 45 0 0 20 0 1 0 411734041 966356992 230061 33554432000 4194304 6210612 140735296134928 140735296132584 5453754 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 235927 230061 859 493 0 229232 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 943708 KiB
Current children cumulated memory: 920244 KiB

[startup+51.1099 s]
/proc/loadavg: 2.97 5.43 5.61 3/204 3935
/proc/meminfo: memFree=24895332/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=949424 memory=926008 CPUtime=51.09 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 418393 0 0 0 5062 47 0 0 20 0 1 0 411734041 972210176 231502 33554432000 4194304 6210612 140735296134928 140735296132584 5452047 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 237356 231502 862 493 0 230661 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 949424 KiB
Current children cumulated memory: 926008 KiB

[startup+102.3 s]
/proc/loadavg: 2.42 4.91 5.42 3/202 3939
/proc/meminfo: memFree=24776808/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1023476 memory=1000068 CPUtime=102.28 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 571101 0 0 0 10171 57 0 0 20 0 1 0 411734041 1048039424 250017 33554432000 4194304 6210612 140735296134928 140735296132584 5440523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 255869 250017 862 493 0 249174 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1023476 KiB
Current children cumulated memory: 1000068 KiB

[startup+162.3 s]
/proc/loadavg: 2.15 4.38 5.21 3/202 3944
/proc/meminfo: memFree=24663740/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1073372 memory=1049860 CPUtime=162.29 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 693998 0 0 0 16164 65 0 0 20 0 1 0 411734041 1099132928 262465 33554432000 4194304 6210612 140735296134928 140735296132584 5446073 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 268343 262465 862 493 0 261648 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1073372 KiB
Current children cumulated memory: 1049860 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 3.94 5.01 3/200 3948
/proc/meminfo: memFree=24589280/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1109144 memory=1085632 CPUtime=222.29 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 793749 0 0 0 22159 70 0 0 20 0 1 0 411734041 1135763456 271408 33554432000 4194304 6210612 140735296134928 140735296132584 5446104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 277286 271408 862 493 0 270591 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1109144 KiB
Current children cumulated memory: 1085632 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 3.59 4.82 3/200 3954
/proc/meminfo: memFree=24551684/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1126964 memory=1103492 CPUtime=282.29 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 862377 0 0 0 28155 74 0 0 20 0 1 0 411734041 1154011136 275873 33554432000 4194304 6210612 140735296134928 140735296132584 5451309 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 281741 275873 862 493 0 275046 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 1126964 KiB
Current children cumulated memory: 1103492 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 3.30 4.64 3/200 3958
/proc/meminfo: memFree=24512792/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1132640 memory=1109196 CPUtime=342.29 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 947390 0 0 0 34151 78 0 0 20 0 1 0 411734041 1159823360 277299 33554432000 4194304 6210612 140735296134928 140735296132584 5068610 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 283160 277299 862 493 0 276465 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 1132640 KiB
Current children cumulated memory: 1109196 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 3.06 4.48 3/200 3962
/proc/meminfo: memFree=24481832/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1150196 memory=1126700 CPUtime=402.29 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 1068107 0 0 0 40146 83 0 0 20 0 1 0 411734041 1177800704 281675 33554432000 4194304 6210612 140735296134928 140735296132584 5068610 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 287549 281675 862 493 0 280854 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 1150196 KiB
Current children cumulated memory: 1126700 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.87 4.32 3/199 3975
/proc/meminfo: memFree=24473208/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1152968 memory=1129556 CPUtime=462.28 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 1119734 0 0 0 46142 86 0 0 20 0 1 0 411734041 1180639232 282389 33554432000 4194304 6210612 140735296134928 140735296132584 5068610 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 288242 282389 862 493 0 281547 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1152968 KiB
Current children cumulated memory: 1129556 KiB


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

/proc/3926/statm: 309989 304147 862 493 0 303294 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 1239956 KiB
Current children cumulated memory: 1216588 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.59 3/199 4093
/proc/meminfo: memFree=24278600/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1240088 memory=1216624 CPUtime=1782.26 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2172626 0 0 0 178083 143 0 0 20 0 1 0 411734041 1269850112 304156 33554432000 4194304 6210612 140735296134928 140735296132584 5442920 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 310022 304156 862 493 0 303327 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 1240088 KiB
Current children cumulated memory: 1216624 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.55 3/199 4097
/proc/meminfo: memFree=24277860/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1241144 memory=1217616 CPUtime=1842.26 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2175249 0 0 0 184083 143 0 0 20 0 1 0 411734041 1270931456 304404 33554432000 4194304 6210612 140735296134928 140735296132584 140375289449320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 310286 304404 862 493 0 303591 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 1241144 KiB
Current children cumulated memory: 1217616 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.52 3/199 4103
/proc/meminfo: memFree=24272920/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1243256 memory=1219788 CPUtime=1902.26 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2177453 0 0 0 190083 143 0 0 20 0 1 0 411734041 1273094144 304947 33554432000 4194304 6210612 140735296134928 140735296132584 5440933 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 310814 304947 862 493 0 304119 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 1243256 KiB
Current children cumulated memory: 1219788 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.48 3/199 4107
/proc/meminfo: memFree=24268656/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1244048 memory=1220552 CPUtime=1962.26 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2179091 0 0 0 196083 143 0 0 20 0 1 0 411734041 1273905152 305138 33554432000 4194304 6210612 140735296134928 140735296132584 5478264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311012 305138 862 493 0 304317 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 1244048 KiB
Current children cumulated memory: 1220552 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.46 3/198 4111
/proc/meminfo: memFree=24263112/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1245764 memory=1222252 CPUtime=2022.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2181067 0 0 0 202083 144 0 0 20 0 1 0 411734041 1275662336 305563 33554432000 4194304 6210612 140735296134928 140735296132584 5068613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311441 305563 862 493 0 304746 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 1245764 KiB
Current children cumulated memory: 1222252 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.44 3/199 4118
/proc/meminfo: memFree=24259876/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246028 memory=1222552 CPUtime=2082.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2182421 0 0 0 208083 144 0 0 20 0 1 0 411734041 1275932672 305638 33554432000 4194304 6210612 140735296134928 140735296132584 5009295 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311507 305638 862 493 0 304812 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222552 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.41 3/199 4122
/proc/meminfo: memFree=24260036/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246028 memory=1222564 CPUtime=2142.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2183749 0 0 0 214083 144 0 0 20 0 1 0 411734041 1275932672 305641 33554432000 4194304 6210612 140735296134928 140735296132584 140375289449320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311507 305641 862 493 0 304812 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222564 KiB

[startup+2202.3 s]
/proc/loadavg: 2.05 2.05 2.39 3/199 4126
/proc/meminfo: memFree=24259348/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246028 memory=1222568 CPUtime=2202.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2185075 0 0 0 220083 144 0 0 20 0 1 0 411734041 1275932672 305642 33554432000 4194304 6210612 140735296134928 140735296132584 140375288837280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311507 305642 862 493 0 304812 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222568 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.05 2.37 3/199 4139
/proc/meminfo: memFree=24258972/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246028 memory=1222576 CPUtime=2262.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2186415 0 0 0 226083 144 0 0 20 0 1 0 411734041 1275932672 305644 33554432000 4194304 6210612 140735296134928 140735296132584 5478249 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311507 305644 862 493 0 304812 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222576 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.06 2.36 3/199 4143
/proc/meminfo: memFree=24256572/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246556 memory=1223084 CPUtime=2322.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2188188 0 0 0 232083 144 0 0 20 0 1 0 411734041 1276473344 305771 33554432000 4194304 6210612 140735296134928 140735296132584 5446767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311639 305771 862 493 0 304944 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223084 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.05 2.33 3/199 4147
/proc/meminfo: memFree=24257192/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246556 memory=1223088 CPUtime=2382.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2189388 0 0 0 238083 144 0 0 20 0 1 0 411734041 1276473344 305772 33554432000 4194304 6210612 140735296134928 140735296132584 5439442 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311639 305772 862 493 0 304944 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223088 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.31 3/199 4153
/proc/meminfo: memFree=24256608/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246556 memory=1223088 CPUtime=2442.27 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2190714 0 0 0 244083 144 0 0 20 0 1 0 411734041 1276473344 305772 33554432000 4194304 6210612 140735296134928 140735296132584 5440930 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311639 305772 862 493 0 304944 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223088 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.29 3/199 4157
/proc/meminfo: memFree=24257392/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246556 memory=1223088 CPUtime=2502.28 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2191902 0 0 0 250083 145 0 0 20 0 1 0 411734041 1276473344 305772 33554432000 4194304 6210612 140735296134928 140735296132584 5068590 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311639 305772 862 493 0 304944 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.29 3/199 4158
/proc/meminfo: memFree=24257640/32770624 swapFree=66957012/67108860
[pid=3926] ppid=3921 vsize=1246556 memory=1223140 CPUtime=2519.99 cores=1,3,5,7
/proc/3926/stat : 3926 (cosoco) R 3921 3926 3868 0 -1 4202496 2192371 0 0 0 251854 145 0 0 20 0 1 0 411734041 1276473344 305785 33554432000 4194304 6210612 140735296134928 140735296132888 5440930 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21762048 140735296136203 140735296136305 140735296136305 140735296139214 0
/proc/3926/statm: 311639 305785 862 493 0 304944 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 1246556 KiB
Current children cumulated memory: 1223140 KiB

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

[startup+2520.02 s]
# the end of solver process 3926 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.55 s, system=1.45602 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2520
CPU user time (s): 2518.55
CPU system time (s): 1.45602
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 1246556
Max. memory (cumulated for all children) (KiB): 1223140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.55
system time used= 1.45602
maximum resident set size= 1223224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2192415
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= 97
involuntary context switches= 1383


# summary of solver processes directly reported to runsolver:
#   pid: 3926
#   total CPU time (s): 2520
#   total CPU user time (s): 2518.55
#   total CPU system time (s): 1.45602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46341 second user time and 18.725 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 09:02:39
IDJOB=4389654
IDBENCH=138655
IDSOLVER=2829
FILE ID=node147/4389654-1568358202
RUNJOBID= node147-1568358159-3900
PBS_JOBID= 21701195
Free space on /tmp= 56544 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-10.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389654-1568358202/watcher-4389654-1568358202 -o /tmp/evaluation-result-4389654-1568358202/solver-4389654-1568358202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568358159-3900 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389654-1568358202.xml

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

MD5SUM BENCH= 2e1a96a215dbee196ad45178247d22f3
RANDOM SEED=74417397

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:        26773740 kB
MemAvailable:   31812912 kB
Buffers:          151860 kB
Cached:          5105080 kB
SwapCached:        48500 kB
Active:          2107876 kB
Inactive:        3200768 kB
Active(anon):       3804 kB
Inactive(anon):    89600 kB
Active(file):    2104072 kB
Inactive(file):  3111168 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              6240 kB
Writeback:             0 kB
AnonPages:        112600 kB
Mapped:            43084 kB
Shmem:             32768 kB
Slab:             281384 kB
SReclaimable:     252392 kB
SUnreclaim:        28992 kB
KernelStack:        3344 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56540 MiB
End job on node147 at 2019-09-13 09:44:39