Trace number 4389659

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) 2519.98 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20/
SuperTaillard-js-20-20.xml
MD5SUMbd4660d9f641dd45473fddd00af9a0d0
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 benchmark1437.98
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Number of domains96
Minimum domain size1599
Maximum domain size1697
Distribution of domain sizes[{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"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.68/8.72	c root propagations     : 761976      
8.68/8.72	c restarts enabled, print stats at every restarts
8.68/8.72	c
8.68/8.72	c
8.68/8.72	c
8.68/8.72	c This is cosoco 2.00 --  
8.68/8.72	c
8.68/8.72	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389659-1568358202.xml 
8.68/8.72	c ========================================[ Problem Statistics ]===========================================
8.68/8.72	c |                                                                                                       
8.68/8.72	c |  Parse time        :         8.31 s 
8.68/8.72	c |
8.68/8.72	c |               Variables: 800
8.68/8.72	c |            Domain Sizes: 1599..1697
8.68/8.72	c |
8.68/8.72	c |             Constraints: 12940
8.68/8.72	c |                   Arity: 2..2  -- Binary: 12940
8.68/8.72	c | 
8.68/8.72	c |                   Types: 
8.68/8.72	c |                          (X != Y): 400
8.68/8.72	c |                          (X -Y <= k): 1140
8.68/8.72	c |                          Intension: 11400
8.68/8.72	c |                          
8.68/8.72	c =========================================================================================================
8.68/8.72	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
44.58/44.64	c 101            347            926814         1777810        800            0              21   67   53   
67.38/67.44	c 211            621            1412304        2821202        800            0              5   77   40    
89.88/89.95	c 332            904            1813970        3480149        800            0              1   71   32    
117.98/118.10	c 465            1274           2488307        4664787        800            0              2   132   74   
146.97/147.10	c 611            1593           3113054        6859236        800            0              1   117   67   
199.17/199.22	c 771            1989           4136714        9143176        800            0              1   79   42    
221.36/221.47	c 947            2320           4723909        10414078       800            0              4   120   100  
248.76/248.84	c 1140           2771           5307675        11466830       800            0              1   129   66   
267.86/267.90	c 1352           3144           5807833        13079513       800            0              2   119   100  
313.06/313.18	c 1585           3509           6613678        14968886       800            0              1   76   60    
360.07/360.19	c 1841           4049           7541937        17243730       800            0              1   111   73   
403.55/403.61	c 2122           4691           8629258        18273840       800            0              1   105   65   
464.06/464.15	c 2431           5266           9617307        22755221       800            0              1   126   96   
522.25/522.37	c 2770           5947           10864031       25537817       800            0              7   102   72   
568.45/568.51	c 3142           6621           11856224       27323646       800            0              1   153   135  
634.26/634.38	c 3551           7269           13030780       29981801       800            0              1   121   105  
708.15/708.25	c 4000           8062           14536740       33445673       800            0              4   108   64   
738.84/738.98	c 4493           8721           15147654       35641617       800            0              1   108   102  
839.15/839.26	c 5035           9834           17024688       38385160       800            0              1   147   94   
992.75/992.82	c 5631           10956          19383092       48376055       800            0              3   144   121  
1089.35/1089.41	c 6286           11906          21117252       53140763       800            0              15   175   155 
1129.06/1129.19	c 7006           12764          21764978       55955883       800            0              7   107   103  
1388.15/1388.26	c 7798           14109          26256480       80386015       800            0              1   106   89   
1474.75/1474.85	c 8669           15348          28007171       84860417       800            0              1   119   105  
1863.15/1863.27	c 9627           16668          33799234       104055296      800            0              4   150   131  
1960.85/1961.00	c 10680          18605          35809087       109473359      800            0              5   151   115  
2296.16/2296.24	c 11838          20134          41013483       136847510      800            0              1   148   133  
2519.96/2520.01	
2519.96/2520.01	c *** INTERRUPTED ***
2519.96/2520.01	c restarts              : 27          
2519.96/2520.01	c conflicts             : 13084        (5 /sec)
2519.96/2520.01	c decisions             : 22067        (9 /sec)
2519.96/2520.01	c propagations          : 148629908   (59002 /sec)
2519.96/2520.01	c root propagations     : 761976      
2519.96/2520.01	c filter calls          : 45401624       (18023 /sec)
2519.96/2520.01	c useless filter calls  : 42713340       (94 %)
2519.96/2520.01	c Memory used           : 1287.91 MB
2519.96/2520.01	c CPU time              : 2519.08 s
2519.96/2520.01	c real time             : 2520 s
2519.96/2520.01	
2519.96/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-4389659-1568358202/watcher-4389659-1568358202 -o /tmp/evaluation-result-4389659-1568358202/solver-4389659-1568358202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568358159-3899 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389659-1568358202.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=3928, runsolver pid=3922

[startup+0.100203 s]*
/proc/loadavg: 4.24 6.06 5.81 4/203 3930
/proc/meminfo: memFree=26751492/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=38596 memory=14836 CPUtime=0.09 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 3885 0 0 0 9 0 0 0 20 0 1 0 411734041 39522304 3709 33554432000 4194304 6210612 140725876800304 140725876796792 5817516 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 9649 3709 796 493 0 2954 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38596 KiB
Current children cumulated memory: 14836 KiB

[startup+0.209919 s]*
/proc/loadavg: 4.24 6.06 5.81 3/203 3930
/proc/meminfo: memFree=26750004/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=39584 memory=15496 CPUtime=0.21 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 4085 0 0 0 20 1 0 0 20 0 1 0 411734041 40534016 3874 33554432000 4194304 6210612 140725876800304 140725876796792 140345066847599 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 9896 3874 796 493 0 3201 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 15496 KiB

[startup+0.309196 s]*
/proc/loadavg: 4.24 6.06 5.81 4/203 3930
/proc/meminfo: memFree=26748516/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=40096 memory=16276 CPUtime=0.31 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 4234 0 0 0 30 1 0 0 20 0 1 0 411734041 41058304 4069 33554432000 4194304 6210612 140725876800304 140725876796792 140345063357413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 10024 4069 796 493 0 3329 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 16276 KiB

[startup+0.700393 s]
/proc/loadavg: 4.24 6.06 5.81 4/203 3930
/proc/meminfo: memFree=26745912/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=62308 memory=38348 CPUtime=0.69 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 9870 0 0 0 67 2 0 0 20 0 1 0 411734041 63803392 9587 33554432000 4194304 6210612 140725876800304 140725876796792 5070781 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 15577 9587 815 493 0 8882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62308 KiB
Current children cumulated memory: 38348 KiB

[startup+1.50039 s]
/proc/loadavg: 4.24 6.06 5.81 4/203 3930
/proc/meminfo: memFree=26637784/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=152616 memory=128636 CPUtime=1.49 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 32428 0 0 0 144 5 0 0 20 0 1 0 411734041 156278784 32159 33554432000 4194304 6210612 140725876800304 140725876795400 140345063357413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 38154 32159 815 493 0 31459 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 152616 KiB
Current children cumulated memory: 128636 KiB

[startup+3.10973 s]
/proc/loadavg: 4.06 5.99 5.79 4/203 3930
/proc/meminfo: memFree=26188944/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=333628 memory=309596 CPUtime=3.09 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 77792 0 0 0 297 12 0 0 20 0 1 0 411734041 341635072 77399 33554432000 4194304 6210612 140725876800304 140725876795400 140345063357413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 83407 77399 815 493 0 76712 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 333628 KiB
Current children cumulated memory: 309596 KiB

[startup+6.30038 s]
/proc/loadavg: 4.06 5.99 5.79 4/204 3932
/proc/meminfo: memFree=25513476/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=694460 memory=670536 CPUtime=6.28 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 168129 0 0 0 603 25 0 0 20 0 1 0 411734041 711127040 167634 33554432000 4194304 6210612 140725876800304 140725876795400 140345063357413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 173615 167634 815 493 0 166920 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 694460 KiB
Current children cumulated memory: 670536 KiB

[startup+12.7004 s]
/proc/loadavg: 3.90 5.93 5.77 4/204 3932
/proc/meminfo: memFree=24907844/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=973444 memory=950012 CPUtime=12.68 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 297100 0 0 0 1230 38 0 0 20 0 1 0 411734041 996806656 237503 33554432000 4194304 6210612 140725876800304 140725876797960 5456146 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 243361 237503 859 493 0 236666 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 973444 KiB
Current children cumulated memory: 950012 KiB

[startup+25.5004 s]
/proc/loadavg: 3.48 5.73 5.71 4/203 3932
/proc/meminfo: memFree=24907612/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=973576 memory=950124 CPUtime=25.47 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 347189 0 0 0 2507 40 0 0 20 0 1 0 411734041 996941824 237531 33554432000 4194304 6210612 140725876800304 140725876797704 5445927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 243394 237531 859 493 0 236699 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 973576 KiB
Current children cumulated memory: 950124 KiB

[startup+51.1097 s]
/proc/loadavg: 2.97 5.43 5.61 4/204 3935
/proc/meminfo: memFree=24895332/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=978900 memory=955484 CPUtime=51.09 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 399604 0 0 0 5066 43 0 0 20 0 1 0 411734041 1002393600 238871 33554432000 4194304 6210612 140725876800304 140725876797960 5445997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 244725 238871 862 493 0 238030 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 978900 KiB
Current children cumulated memory: 955484 KiB

[startup+102.3 s]
/proc/loadavg: 2.42 4.91 5.42 4/202 3939
/proc/meminfo: memFree=24776808/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1023648 memory=1000192 CPUtime=102.27 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 490157 0 0 0 10179 48 0 0 20 0 1 0 411734041 1048215552 250048 33554432000 4194304 6210612 140725876800304 140725876797960 140345073302336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 255912 250048 862 493 0 249217 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1023648 KiB
Current children cumulated memory: 1000192 KiB

[startup+162.3 s]
/proc/loadavg: 2.15 4.38 5.21 4/202 3944
/proc/meminfo: memFree=24663740/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1087008 memory=1063512 CPUtime=162.27 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 591798 0 0 0 16173 54 0 0 20 0 1 0 411734041 1113096192 265878 33554432000 4194304 6210612 140725876800304 140725876797960 5442936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 271752 265878 862 493 0 265057 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1087008 KiB
Current children cumulated memory: 1063512 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 3.94 5.01 4/200 3948
/proc/meminfo: memFree=24589280/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1125948 memory=1102516 CPUtime=222.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 682267 0 0 0 22167 59 0 0 20 0 1 0 411734041 1152970752 275629 33554432000 4194304 6210612 140725876800304 140725876797960 5164384 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 281487 275629 862 493 0 274792 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1125948 KiB
Current children cumulated memory: 1102516 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 3.59 4.82 4/200 3954
/proc/meminfo: memFree=24551684/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1146672 memory=1123172 CPUtime=282.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 758188 0 0 0 28163 63 0 0 20 0 1 0 411734041 1174192128 280793 33554432000 4194304 6210612 140725876800304 140725876797960 5440451 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 286668 280793 862 493 0 279973 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 1146672 KiB
Current children cumulated memory: 1123172 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 3.30 4.64 4/200 3958
/proc/meminfo: memFree=24512792/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1179540 memory=1156132 CPUtime=342.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 823420 0 0 0 34160 66 0 0 20 0 1 0 411734041 1207848960 289033 33554432000 4194304 6210612 140725876800304 140725876797960 5068613 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 294885 289033 862 493 0 288190 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 1179540 KiB
Current children cumulated memory: 1156132 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 3.06 4.48 4/200 3962
/proc/meminfo: memFree=24481832/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1192872 memory=1169452 CPUtime=402.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 878488 0 0 0 40156 69 0 0 20 0 1 0 411734041 1221500928 292363 33554432000 4194304 6210612 140725876800304 140725876797960 5451317 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 298218 292363 862 493 0 291523 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1192872 KiB
Current children cumulated memory: 1169452 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.87 4.32 4/199 3975
/proc/meminfo: memFree=24473208/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1198548 memory=1175144 CPUtime=462.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 923217 0 0 0 46154 72 0 0 20 0 1 0 411734041 1227313152 293786 33554432000 4194304 6210612 140725876800304 140725876797960 140345064281422 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 299637 293786 862 493 0 292942 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 1198548 KiB
Current children cumulated memory: 1175144 KiB


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

/proc/3928/statm: 326008 320150 862 493 0 319313 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 1304032 KiB
Current children cumulated memory: 1280600 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.59 4/199 4093
/proc/meminfo: memFree=24278600/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1304032 memory=1280628 CPUtime=1782.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1144441 0 0 0 178140 85 0 0 20 0 1 0 411734041 1335328768 320157 33554432000 4194304 6210612 140725876800304 140725876797960 5164652 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 326008 320157 862 493 0 319313 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 1304032 KiB
Current children cumulated memory: 1280628 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.55 4/199 4097
/proc/meminfo: memFree=24277860/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1304560 memory=1281104 CPUtime=1842.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1147396 0 0 0 184139 86 0 0 20 0 1 0 411734041 1335869440 320276 33554432000 4194304 6210612 140725876800304 140725876797960 5442812 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 326140 320276 862 493 0 319445 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 1304560 KiB
Current children cumulated memory: 1281104 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.52 4/199 4103
/proc/meminfo: memFree=24272920/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1306540 memory=1283076 CPUtime=1902.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1155890 0 0 0 190139 86 0 0 20 0 1 0 411734041 1337896960 320769 33554432000 4194304 6210612 140725876800304 140725876797960 140345064280961 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 326635 320769 862 493 0 319940 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 1306540 KiB
Current children cumulated memory: 1283076 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.48 4/199 4107
/proc/meminfo: memFree=24268656/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1311556 memory=1288028 CPUtime=1962.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1162917 0 0 0 196139 86 0 0 20 0 1 0 411734041 1343033344 322007 33554432000 4194304 6210612 140725876800304 140725876797960 140345073302365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 327889 322007 862 493 0 321194 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 1311556 KiB
Current children cumulated memory: 1288028 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.46 4/198 4111
/proc/meminfo: memFree=24263112/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1316176 memory=1292740 CPUtime=2022.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1174435 0 0 0 202138 87 0 0 20 0 1 0 411734041 1347764224 323185 33554432000 4194304 6210612 140725876800304 140725876797960 5446488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329044 323185 862 493 0 322349 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 1316176 KiB
Current children cumulated memory: 1292740 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.44 4/199 4118
/proc/meminfo: memFree=24259876/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1317100 memory=1293664 CPUtime=2082.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1182024 0 0 0 208138 88 0 0 20 0 1 0 411734041 1348710400 323416 33554432000 4194304 6210612 140725876800304 140725876797960 5446100 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329275 323416 862 493 0 322580 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 1317100 KiB
Current children cumulated memory: 1293664 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.41 4/199 4122
/proc/meminfo: memFree=24260036/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1317100 memory=1293708 CPUtime=2142.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1190402 0 0 0 214137 88 0 0 20 0 1 0 411734041 1348710400 323427 33554432000 4194304 6210612 140725876800304 140725876797960 5454028 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329275 323427 862 493 0 322580 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 1317100 KiB
Current children cumulated memory: 1293708 KiB

[startup+2202.3 s]
/proc/loadavg: 2.05 2.05 2.39 4/199 4126
/proc/meminfo: memFree=24259348/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1317364 memory=1293896 CPUtime=2202.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1198850 0 0 0 220137 88 0 0 20 0 1 0 411734041 1348980736 323474 33554432000 4194304 6210612 140725876800304 140725876797960 140345064280975 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329341 323474 862 493 0 322646 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 1317364 KiB
Current children cumulated memory: 1293896 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.05 2.37 4/199 4139
/proc/meminfo: memFree=24258972/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1317364 memory=1293992 CPUtime=2262.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1203452 0 0 0 226137 88 0 0 20 0 1 0 411734041 1348980736 323498 33554432000 4194304 6210612 140725876800304 140725876797960 5453752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329341 323498 862 493 0 322646 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 1317364 KiB
Current children cumulated memory: 1293992 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.06 2.36 4/199 4143
/proc/meminfo: memFree=24256572/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1318552 memory=1295064 CPUtime=2322.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1212063 0 0 0 232137 89 0 0 20 0 1 0 411734041 1350197248 323766 33554432000 4194304 6210612 140725876800304 140725876797960 5452063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329638 323766 862 493 0 322943 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 1318552 KiB
Current children cumulated memory: 1295064 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.05 2.33 4/199 4147
/proc/meminfo: memFree=24257192/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1318552 memory=1295188 CPUtime=2382.26 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1213463 0 0 0 238137 89 0 0 20 0 1 0 411734041 1350197248 323797 33554432000 4194304 6210612 140725876800304 140725876797960 5452071 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329638 323797 862 493 0 322943 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 1318552 KiB
Current children cumulated memory: 1295188 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.31 4/199 4153
/proc/meminfo: memFree=24256608/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1318816 memory=1295452 CPUtime=2442.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1214448 0 0 0 244136 89 0 0 20 0 1 0 411734041 1350467584 323863 33554432000 4194304 6210612 140725876800304 140725876797960 5451388 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329704 323863 862 493 0 323009 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 1318816 KiB
Current children cumulated memory: 1295452 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.29 4/199 4157
/proc/meminfo: memFree=24257392/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1318816 memory=1295452 CPUtime=2502.25 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1215323 0 0 0 250136 89 0 0 20 0 1 0 411734041 1350467584 323863 33554432000 4194304 6210612 140725876800304 140725876797960 140345073302410 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329704 323863 862 493 0 323009 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 1318816 KiB
Current children cumulated memory: 1295452 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.29 4/199 4158
/proc/meminfo: memFree=24257640/32770624 swapFree=66957012/67108860
[pid=3928] ppid=3922 vsize=1318816 memory=1295452 CPUtime=2519.96 cores=0,2,4,6
/proc/3928/stat : 3928 (cosoco) R 3922 3928 3868 0 -1 4202496 1215703 0 0 0 251907 89 0 0 20 0 1 0 411734041 1350467584 323863 33554432000 4194304 6210612 140725876800304 140725876797960 5452001 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19820544 140725876806667 140725876806769 140725876806769 140725876809678 0
/proc/3928/statm: 329704 323863 862 493 0 323009 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 1318816 KiB
Current children cumulated memory: 1295452 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.98
CPU user time (s): 2519.08
CPU system time (s): 0.902007
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 1318816
Max. memory (cumulated for all children) (KiB): 1295452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.08
system time used= 0.902007
maximum resident set size= 1295516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1215747
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= 113
involuntary context switches= 1341


# summary of solver processes directly reported to runsolver:
#   pid: 3928
#   total CPU time (s): 2519.98
#   total CPU user time (s): 2519.08
#   total CPU system time (s): 0.902007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46789 second user time and 18.1693 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0
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:          2108136 kB
Inactive:        3200508 kB
Active(anon):       3804 kB
Inactive(anon):    89600 kB
Active(file):    2104332 kB
Inactive(file):  3110908 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:         5592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     503448 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