Trace number 4408126

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2520.02 2519.8

General information on the benchmark

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

Solver Data 

3.58/3.67	c root propagations     : 317828      
3.58/3.67	c restarts enabled, print stats at every restarts
3.58/3.67	c
3.58/3.67	c
3.58/3.67	c
3.58/3.67	c This is cosoco 2.00 --  
3.58/3.67	c
3.58/3.67	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408126-1569809109.xml 
3.58/3.67	c ========================================[ Problem Statistics ]===========================================
3.58/3.67	c |                                                                                                       
3.58/3.67	c |  Parse time        :         3.54 s 
3.58/3.67	c |
3.58/3.67	c |               Variables: 450
3.58/3.67	c |            Domain Sizes: 1087..1185
3.58/3.67	c |
3.58/3.67	c |             Constraints: 5580
3.58/3.67	c |                   Arity: 2..2  -- Binary: 5580
3.58/3.67	c | 
3.58/3.67	c |                   Types: 
3.58/3.67	c |                          (X != Y): 225
3.58/3.67	c |                          (X -Y <= k): 630
3.58/3.67	c |                          Intension: 4725
3.58/3.67	c |                          
3.58/3.67	c =========================================================================================================
3.58/3.67	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
11.19/11.27	c 101            170            121472         806179         450            0              10   37   34   
28.89/28.95	c 211            462            559314         1274568        450            0              1   18   6     
42.29/42.36	c 332            685            848397         1984768        450            0              1   31   23    
94.89/94.97	c 465            865            1619832        5968975        450            0              1   7   2      
98.79/98.84	c 611            1080           1745175        6271018        450            0              1   33   28    
122.00/122.09	c 771            1676           2353226        6642283        450            0              2   34   13    
153.39/153.45	c 947            2042           2845680        8610917        450            0              1   22   13    
161.39/161.46	c 1140           2374           3013412        9135199        450            0              8   34   31    
173.49/173.56	c 1352           2735           3346470        9905309        450            0              1   24   20    
224.39/224.43	c 1585           3046           3974133        13180890       450            0              8   18   10    
310.40/310.41	c 1841           3361           4658621        18644389       450            0              2   29   27    
376.11/376.18	c 2122           3831           5479555        23015875       450            0              1   49   37    
502.42/502.43	c 2431           4359           7498037        31897227       450            0              2   15   9     
578.32/578.34	c 2770           4831           8491660        37139501       450            0              1   56   52    
656.53/656.52	c 3142           5313           9690061        42445726       450            0              13   30   22   
766.54/766.54	c 3551           5756           10814634       51089096       450            0              1   21   20    
829.55/829.55	c 4000           6733           12279448       52519399       450            0              1   55   45    
910.95/910.99	c 4493           7287           13437390       59038496       450            0              14   33   31   
955.26/955.24	c 5035           7970           14093337       63343814       450            0              8   45   43    
972.96/972.94	c 5631           8614           14322919       65194065       450            0              6   38   33    
1080.08/1080.04	c 6286           9665           15731223       73002697       450            0              3   35   30    
1139.67/1139.66	c 7006           10669          16521032       76356176       450            0              5   77   70    
1247.58/1247.53	c 7798           13423          18461649       78817301       450            0              7   56   46    
1347.49/1347.47	c 8669           14629          19562711       86726882       450            0              4   40   37    
1454.00/1453.93	c 9627           16242          21763960       97614733       450            0              1   30   20    
1494.51/1494.40	c 10680          17491          22374740       100843864      450            0              3   57   53    
1636.62/1636.56	c 11838          18782          24048786       111840418      450            0              12   42   39   
1711.33/1711.24	c 13111          20500          25373162       117261538      450            0              3   52   49    
1957.65/1957.57	c 14511          22254          28313161       132831766      450            0              1   44   39    
2138.37/2138.23	c 16051          24130          31747642       146149588      450            0              2   34   32    
2520.00/2519.80	
2520.00/2519.80	c *** INTERRUPTED ***
2520.00/2519.80	c restarts              : 30          
2520.00/2519.80	c conflicts             : 17340        (7 /sec)
2520.00/2519.80	c decisions             : 25658        (10 /sec)
2520.00/2519.80	c propagations          : 163508687   (64891 /sec)
2520.00/2519.80	c root propagations     : 317828      
2520.00/2519.80	c filter calls          : 35268812       (13997 /sec)
2520.00/2519.80	c useless filter calls  : 31929058       (90 %)
2520.00/2519.80	c Memory used           : 415.78 MB
2520.00/2519.80	c CPU time              : 2519.73 s
2520.00/2519.80	c real time             : 2519.8 s
2520.00/2519.80	
2520.00/2519.80	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 (15120 MiB free)
  memory of node 1: 16384 MiB (15186 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408126-1569809109/watcher-4408126-1569809109 -o /tmp/evaluation-result-4408126-1569809109/solver-4408126-1569809109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408126-1569809109.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=2504, runsolver pid=2501

[startup+0.100111 s]*
/proc/loadavg: 1.99 1.99 2.03 3/202 2505
/proc/meminfo: memFree=31030508/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=32316 memory=8364 CPUtime=0.1 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 2287 0 0 0 10 0 0 0 20 0 1 0 557159371 33091584 2091 33554432000 4194304 6211132 140727245416912 140727245413448 5734848 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 8079 2091 798 493 0 1384 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32316 KiB
Current children cumulated memory: 8364 KiB

[startup+0.209656 s]*
/proc/loadavg: 1.99 1.99 2.03 3/202 2505
/proc/meminfo: memFree=31029764/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=33028 memory=9060 CPUtime=0.21 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 2458 0 0 0 21 0 0 0 20 0 1 0 557159371 33820672 2265 33554432000 4194304 6211132 140727245416912 140727245413448 139771070599292 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 8257 2265 798 493 0 1562 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33028 KiB
Current children cumulated memory: 9060 KiB

[startup+0.308937 s]*
/proc/loadavg: 1.99 1.99 2.03 3/202 2505
/proc/meminfo: memFree=31021952/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=41368 memory=17540 CPUtime=0.3 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 4567 0 0 0 30 0 0 0 20 0 1 0 557159371 42360832 4385 33554432000 4194304 6211132 140727245416912 140727245413448 139771067120613 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 10342 4385 816 493 0 3647 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41368 KiB
Current children cumulated memory: 17540 KiB

[startup+0.700281 s]
/proc/loadavg: 2.07 2.00 2.04 3/202 2505
/proc/meminfo: memFree=31004864/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=73816 memory=49860 CPUtime=0.69 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 12685 0 0 0 67 2 0 0 20 0 1 0 557159371 75587584 12465 33554432000 4194304 6211132 140727245416912 140727245412008 139771070615648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 18454 12465 816 493 0 11759 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73816 KiB
Current children cumulated memory: 49860 KiB

[startup+1.50029 s]
/proc/loadavg: 2.07 2.00 2.04 4/202 2505
/proc/meminfo: memFree=30962456/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=142164 memory=118336 CPUtime=1.49 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 29766 0 0 0 145 4 0 0 20 0 1 0 557159371 145575936 29584 33554432000 4194304 6211132 140727245416912 140727245410216 139771070616708 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 35541 29584 816 493 0 28846 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 142164 KiB
Current children cumulated memory: 118336 KiB

[startup+3.10958 s]
/proc/loadavg: 2.07 2.00 2.04 3/202 2505
/proc/meminfo: memFree=30791520/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=279280 memory=255316 CPUtime=3.1 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 64524 0 0 0 301 9 0 0 20 0 1 0 557159371 285982720 63829 33554432000 4194304 6211132 140727245416912 140727245412008 139771070598385 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 69820 63829 816 493 0 63125 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 279280 KiB
Current children cumulated memory: 255316 KiB

[startup+6.30035 s]
/proc/loadavg: 1.98 1.99 2.03 3/202 2505
/proc/meminfo: memFree=30732744/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=328468 memory=305008 CPUtime=6.29 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 106430 0 0 0 617 12 0 0 20 0 1 0 557159371 336351232 76252 33554432000 4194304 6211132 140727245416912 140727245414568 139771068041123 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 82117 76252 860 493 0 75422 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 328468 KiB
Current children cumulated memory: 305008 KiB

[startup+12.7004 s]
/proc/loadavg: 1.99 1.99 2.03 3/203 2507
/proc/meminfo: memFree=30726000/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=335200 memory=311720 CPUtime=12.69 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 129177 0 0 0 1256 13 0 0 20 0 1 0 557159371 343244800 77930 33554432000 4194304 6211132 140727245416912 140727245414568 5446158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 83800 77930 862 493 0 77105 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 335200 KiB
Current children cumulated memory: 311720 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 1.99 2.03 3/202 2507
/proc/meminfo: memFree=30722560/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=335596 memory=312128 CPUtime=25.49 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 154344 0 0 0 2535 14 0 0 20 0 1 0 557159371 343650304 78032 33554432000 4194304 6211132 140727245416912 140727245414568 5446258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 83899 78032 862 493 0 77204 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 335596 KiB
Current children cumulated memory: 312128 KiB

[startup+51.1096 s]
/proc/loadavg: 2.05 2.00 2.04 3/200 2508
/proc/meminfo: memFree=30692776/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=365032 memory=341552 CPUtime=51.1 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 204266 0 0 0 5093 17 0 0 20 0 1 0 557159371 373792768 85388 33554432000 4194304 6211132 140727245416912 140727245414568 5446311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 91258 85388 862 493 0 84563 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 365032 KiB
Current children cumulated memory: 341552 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/200 2514
/proc/meminfo: memFree=30678556/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=370576 memory=347088 CPUtime=102.3 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 252927 0 0 0 10210 20 0 0 20 0 1 0 557159371 379469824 86772 33554432000 4194304 6211132 140727245416912 140727245414872 5446292 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 92644 86772 862 493 0 85949 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 370576 KiB
Current children cumulated memory: 347088 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 2518
/proc/meminfo: memFree=30666316/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=378760 memory=355280 CPUtime=162.29 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 296965 0 0 0 16207 22 0 0 20 0 1 0 557159371 387850240 88820 33554432000 4194304 6211132 140727245416912 140727245414872 5476895 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 94690 88820 862 493 0 87995 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 378760 KiB
Current children cumulated memory: 355280 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 2522
/proc/meminfo: memFree=30656476/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=384700 memory=361204 CPUtime=222.29 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 325545 0 0 0 22205 24 0 0 20 0 1 0 557159371 393932800 90301 33554432000 4194304 6211132 140727245416912 140727245414568 139771068041140 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 96175 90301 862 493 0 89480 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 384700 KiB
Current children cumulated memory: 361204 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 2528
/proc/meminfo: memFree=30650348/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=388132 memory=364740 CPUtime=282.3 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 336251 0 0 0 28205 25 0 0 20 0 1 0 557159371 397447168 91185 33554432000 4194304 6211132 140727245416912 140727245414568 5440612 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 97033 91185 862 493 0 90338 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 388132 KiB
Current children cumulated memory: 364740 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 2540
/proc/meminfo: memFree=30643380/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=394600 memory=370908 CPUtime=342.3 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 343542 0 0 0 34204 26 0 0 20 0 1 0 557159371 404070400 92727 33554432000 4194304 6211132 140727245416912 140727245414568 5440617 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 98650 92727 862 493 0 91955 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 394600 KiB
Current children cumulated memory: 370908 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 2544
/proc/meminfo: memFree=30641460/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=395260 memory=371716 CPUtime=402.31 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 344172 0 0 0 40205 26 0 0 20 0 1 0 557159371 404746240 92929 33554432000 4194304 6211132 140727245416912 140727245414568 5452185 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 98815 92929 862 493 0 92120 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 395260 KiB
Current children cumulated memory: 371716 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 2550
/proc/meminfo: memFree=30638496/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=395656 memory=372048 CPUtime=462.31 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 344790 0 0 0 46205 26 0 0 20 0 1 0 557159371 405151744 93012 33554432000 4194304 6211132 140727245416912 140727245414568 5451542 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 98914 93012 862 493 0 92219 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 395656 KiB
Current children cumulated memory: 372048 KiB


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

/proc/2504/statm: 106174 100311 862 493 0 99479 0
Current children cumulated CPU time: 1722.43 s
Current children cumulated vsize: 424696 KiB
Current children cumulated memory: 401244 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 2669
/proc/meminfo: memFree=30600388/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425356 memory=401796 CPUtime=1782.43 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 373160 0 0 0 178215 28 0 0 20 0 1 0 557159371 435564544 100449 33554432000 4194304 6211132 140727245416912 140727245414568 139771076453536 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106339 100449 862 493 0 99644 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 425356 KiB
Current children cumulated memory: 401796 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 2673
/proc/meminfo: memFree=30600340/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425488 memory=401988 CPUtime=1842.44 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 373698 0 0 0 184216 28 0 0 20 0 1 0 557159371 435699712 100497 33554432000 4194304 6211132 140727245416912 140727245414568 5451474 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106372 100497 862 493 0 99677 0
Current children cumulated CPU time: 1842.44 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 401988 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2679
/proc/meminfo: memFree=30599784/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425488 memory=402064 CPUtime=1902.44 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 374197 0 0 0 190216 28 0 0 20 0 1 0 557159371 435699712 100516 33554432000 4194304 6211132 140727245416912 140727245414568 5456342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106372 100516 862 493 0 99677 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402064 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2683
/proc/meminfo: memFree=30598872/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425488 memory=402068 CPUtime=1962.45 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 374771 0 0 0 196217 28 0 0 20 0 1 0 557159371 435699712 100517 33554432000 4194304 6211132 140727245416912 140727245414872 5451580 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106372 100517 862 493 0 99677 0
Current children cumulated CPU time: 1962.45 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402068 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2687
/proc/meminfo: memFree=30597544/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425488 memory=402084 CPUtime=2022.45 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 375326 0 0 0 202217 28 0 0 20 0 1 0 557159371 435699712 100521 33554432000 4194304 6211132 140727245416912 140727245414872 5439857 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106372 100521 862 493 0 99677 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 425488 KiB
Current children cumulated memory: 402084 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2693
/proc/meminfo: memFree=30597540/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425620 memory=402120 CPUtime=2082.46 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 375506 0 0 0 208218 28 0 0 20 0 1 0 557159371 435834880 100530 33554432000 4194304 6211132 140727245416912 140727245414568 5440656 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106405 100530 862 493 0 99710 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402120 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2706
/proc/meminfo: memFree=30596524/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425620 memory=402136 CPUtime=2142.47 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 376082 0 0 0 214219 28 0 0 20 0 1 0 557159371 435834880 100534 33554432000 4194304 6211132 140727245416912 140727245414872 139771068041140 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106405 100534 862 493 0 99710 0
Current children cumulated CPU time: 2142.47 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402136 KiB

[startup+2202.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/201 2710
/proc/meminfo: memFree=30596304/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425620 memory=402200 CPUtime=2202.47 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 376279 0 0 0 220219 28 0 0 20 0 1 0 557159371 435834880 100550 33554432000 4194304 6211132 140727245416912 140727245414872 5446956 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106405 100550 862 493 0 99710 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402200 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/202 2716
/proc/meminfo: memFree=30596688/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425620 memory=402208 CPUtime=2262.48 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 376945 0 0 0 226220 28 0 0 20 0 1 0 557159371 435834880 100552 33554432000 4194304 6211132 140727245416912 140727245414872 5442966 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106405 100552 862 493 0 99710 0
Current children cumulated CPU time: 2262.48 s
Current children cumulated vsize: 425620 KiB
Current children cumulated memory: 402208 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 2720
/proc/meminfo: memFree=30596256/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425752 memory=402264 CPUtime=2322.48 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 377497 0 0 0 232220 28 0 0 20 0 1 0 557159371 435970048 100566 33554432000 4194304 6211132 140727245416912 140727245414568 139771077065597 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106438 100566 862 493 0 99743 0
Current children cumulated CPU time: 2322.48 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402264 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2785
/proc/meminfo: memFree=30633996/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425752 memory=402308 CPUtime=2382.49 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 377656 0 0 0 238221 28 0 0 20 0 1 0 557159371 435970048 100577 33554432000 4194304 6211132 140727245416912 140727245414568 5443124 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2382.49 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2791
/proc/meminfo: memFree=30006840/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425752 memory=402308 CPUtime=2442.49 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 378140 0 0 0 244221 28 0 0 20 0 1 0 557159371 435970048 100577 33554432000 4194304 6211132 140727245416912 140727245414568 5441125 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2442.49 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2796
/proc/meminfo: memFree=29379352/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425752 memory=402308 CPUtime=2502.5 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 378295 0 0 0 250222 28 0 0 20 0 1 0 557159371 435970048 100577 33554432000 4194304 6211132 140727245416912 140727245414568 5454208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2502.5 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2797
/proc/meminfo: memFree=29203084/32770624 swapFree=67002192/67108860
[pid=2504] ppid=2501 vsize=425752 memory=402308 CPUtime=2520 cores=0,2,4,6
/proc/2504/stat : 2504 (cosoco) R 2501 2504 31123 0 -1 4202496 378295 0 0 0 251972 28 0 0 20 0 1 0 557159371 435970048 100577 33554432000 4194304 6211132 140727245416912 140727245414568 5442969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 34058240 140727245423627 140727245423729 140727245423729 140727245426638 0
/proc/2504/statm: 106438 100577 862 493 0 99743 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 425752 KiB
Current children cumulated memory: 402308 KiB

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

[startup+2519.8 s]
# the end of solver process 2504 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.73 s, system=0.288026 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.02
CPU user time (s): 2519.73
CPU system time (s): 0.288026
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 425752
Max. memory (cumulated for all children) (KiB): 402308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.288026
maximum resident set size= 402376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378343
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= 41
involuntary context switches= 1199


# summary of solver processes directly reported to runsolver:
#   pid: 2504
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.73
#   total CPU system time (s): 0.288026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78626 second user time and 18.0865 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-30 04:04:23
IDJOB=4408126
IDBENCH=138488
IDSOLVER=2874
FILE ID=node136/4408126-1569809109
RUNJOBID= node136-1569787347-31154
PBS_JOBID= 21705824
Free space on /tmp= 62028 MiB

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

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

MD5SUM BENCH= f8945e9ee38ae25fe131ea9d51f4675a
RANDOM SEED=2110093914

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31034864 kB
MemAvailable:   31486224 kB
Buffers:          101240 kB
Cached:           671264 kB
SwapCached:         3864 kB
Active:           917948 kB
Inactive:         232284 kB
Active(anon):     371508 kB
Inactive(anon):    87688 kB
Active(file):     546440 kB
Inactive(file):   144596 kB
Unevictable:      106792 kB
Mlocked:          106792 kB
SwapTotal:      67108860 kB
SwapFree:       67002192 kB
Dirty:              3012 kB
Writeback:            24 kB
AnonPages:        525848 kB
Mapped:            28576 kB
Shmem:             72848 kB
Slab:             182268 kB
SReclaimable:     152316 kB
SUnreclaim:        29952 kB
KernelStack:        3440 kB
PageTables:         6304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     938276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 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= 62024 MiB
End job on node136 at 2019-09-30 04:46:23