Trace number 4396934

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2519.97 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 

10.00/10.01	c root propagations     : 761976      
10.00/10.01	c restarts enabled, print stats at every restarts
10.00/10.01	c
10.00/10.01	c
10.00/10.01	c
10.00/10.01	c This is cosoco 2.00 --  
10.00/10.01	c
10.00/10.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396934-1568593335.xml 
10.00/10.01	c ========================================[ Problem Statistics ]===========================================
10.00/10.01	c |                                                                                                       
10.00/10.01	c |  Parse time        :         9.60 s 
10.00/10.01	c |
10.00/10.01	c |               Variables: 800
10.00/10.01	c |            Domain Sizes: 1518..1616
10.00/10.01	c |
10.00/10.01	c |             Constraints: 12940
10.00/10.01	c |                   Arity: 2..2  -- Binary: 12940
10.00/10.01	c | 
10.00/10.01	c |                   Types: 
10.00/10.01	c |                          (X != Y): 400
10.00/10.01	c |                          (X -Y <= k): 1140
10.00/10.01	c |                          Intension: 11400
10.00/10.01	c |                          
10.00/10.01	c =========================================================================================================
10.00/10.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
54.00/54.04	c 101            354            1155606        2689812        800            0              21   67   54   
117.00/117.06	c 211            617            2128830        5796214        800            0              21   110   79  
141.10/141.16	c 332            899            2611705        6944553        800            0              1   141   107  
171.29/171.32	c 465            1274           3391743        8382352        800            0              1   110   53   
209.08/209.19	c 611            1691           4312639        9978997        800            0              1   85   44    
249.77/249.81	c 771            2081           5413618        11988907       800            0              1   74   16    
295.87/295.99	c 947            2519           6406744        13585978       800            0              1   72   34    
346.77/346.85	c 1140           3064           7230937        14486727       800            0              1   40   18    
403.76/403.81	c 1352           3554           8272483        16574725       800            0              1   92   52    
437.66/437.71	c 1585           3871           8828155        19411566       800            0              23   74   72   
529.07/529.12	c 1841           4239           9912725        25285139       800            0              1   90   83    
660.56/660.69	c 2122           4640           10958289       33490116       800            0              1   72   67    
731.06/731.19	c 2431           5008           11630980       38241497       800            0              2   38   34    
891.35/891.44	c 2770           5680           13442113       45784969       800            0              2   111   86   
954.85/954.99	c 3142           6551           14958541       47509255       800            0              1   105   61   
1111.34/1111.48	c 3551           7101           16544787       54899209       800            0              1   69   63    
1175.84/1175.98	c 4000           7677           17566922       57699080       800            0              16   91   87   
1232.75/1232.82	c 4493           8315           18250429       60982209       800            0              4   110   102  
1407.64/1407.72	c 5035           9145           19741294       73461511       800            0              16   65   61   
1564.64/1564.78	c 5631           9936           21347364       81966198       800            0              3   56   51    
1764.24/1764.30	c 6286           10742          23933094       98781003       800            0              2   83   77    
1821.74/1821.82	c 7006           11573          24767259       104021586      800            0              2   44   42    
2057.64/2057.79	c 7798           12612          27141256       114120118      800            0              5   84   76    
2124.95/2125.04	c 8669           13715          28502360       118944200      800            0              8   86   81    
2215.95/2216.02	c 9627           14793          29446164       124212893      800            0              2   77   75    
2519.95/2520.01	
2519.95/2520.01	c *** INTERRUPTED ***
2519.95/2520.01	c restarts              : 25          
2519.95/2520.01	c conflicts             : 10488        (4 /sec)
2519.95/2520.01	c decisions             : 15817        (6 /sec)
2519.95/2520.01	c propagations          : 145765521   (57867 /sec)
2519.95/2520.01	c root propagations     : 761976      
2519.95/2520.01	c filter calls          : 33574328       (13329 /sec)
2519.95/2520.01	c useless filter calls  : 31156041       (92 %)
2519.95/2520.01	c Memory used           : 1216.83 MB
2519.95/2520.01	c CPU time              : 2518.96 s
2519.95/2520.01	c real time             : 2520.01 s
2519.95/2520.01	
2519.95/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: 16375 MiB (13971 MiB free)
  memory of node 1: 16384 MiB (14332 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396934-1568593335/watcher-4396934-1568593335 -o /tmp/evaluation-result-4396934-1568593335/solver-4396934-1568593335 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28529 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396934-1568593335.xml 

running on 4 cores: 0-3

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=32370, runsolver pid=32367
Current StackSize limit: 8192 KiB


[startup+0.100161 s]*
/proc/loadavg: 2.29 2.08 2.07 3/199 32371
/proc/meminfo: memFree=28972708/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=38088 memory=14336 CPUtime=0.1 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 3750 0 0 0 10 0 0 0 20 0 1 0 435339839 39002112 3584 33554432000 4194304 6211092 140724813381296 140724813377832 140434664787569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 9522 3584 798 493 0 2827 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38088 KiB
Current children cumulated memory: 14336 KiB

[startup+0.210848 s]*
/proc/loadavg: 2.29 2.08 2.07 3/199 32371
/proc/meminfo: memFree=28972336/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=38624 memory=14864 CPUtime=0.21 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 3910 0 0 0 21 0 0 0 20 0 1 0 435339839 39550976 3716 33554432000 4194304 6211092 140724813381296 140724813377832 140434663844837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 9656 3716 798 493 0 2961 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38624 KiB
Current children cumulated memory: 14864 KiB

[startup+0.310234 s]*
/proc/loadavg: 2.29 2.08 2.07 4/199 32371
/proc/meminfo: memFree=28971592/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=39336 memory=15488 CPUtime=0.31 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 4055 0 0 0 31 0 0 0 20 0 1 0 435339839 40280064 3872 33554432000 4194304 6211092 140724813381296 140724813378568 140434663844837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 9834 3872 798 493 0 3139 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 15488 KiB

[startup+0.700355 s]
/proc/loadavg: 2.29 2.08 2.07 3/199 32371
/proc/meminfo: memFree=28970252/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=51820 memory=27820 CPUtime=0.69 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 7230 0 0 0 68 1 0 0 20 0 1 0 435339839 53063680 6955 33554432000 4194304 6211092 140724813381296 140724813378568 5071149 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 12955 6955 816 493 0 6260 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51820 KiB
Current children cumulated memory: 27820 KiB

[startup+1.50036 s]
/proc/loadavg: 2.29 2.08 2.07 3/199 32371
/proc/meminfo: memFree=28930696/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=127684 memory=103588 CPUtime=1.49 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 26198 0 0 0 145 4 0 0 20 0 1 0 435339839 130748416 25897 33554432000 4194304 6211092 140724813381296 140724813378568 140434663844837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 31921 25897 816 493 0 25226 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 127684 KiB
Current children cumulated memory: 103588 KiB

[startup+3.11068 s]
/proc/loadavg: 2.34 2.09 2.07 3/199 32371
/proc/meminfo: memFree=28740852/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=280824 memory=256900 CPUtime=3.1 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 64978 0 0 0 300 10 0 0 20 0 1 0 435339839 287563776 64225 33554432000 4194304 6211092 140724813381296 140724813376392 5071149 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 70206 64225 816 493 0 63511 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 280824 KiB
Current children cumulated memory: 256900 KiB

[startup+6.30032 s]
/proc/loadavg: 2.34 2.09 2.07 3/199 32371
/proc/meminfo: memFree=28454628/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=584324 memory=560448 CPUtime=6.29 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 141787 0 0 0 608 21 0 0 20 0 1 0 435339839 598347776 140112 33554432000 4194304 6211092 140724813381296 140724813376392 140434663844837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 146081 140112 816 493 0 139386 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 584324 KiB
Current children cumulated memory: 560448 KiB

[startup+12.7004 s]
/proc/loadavg: 2.40 2.11 2.08 3/199 32371
/proc/meminfo: memFree=28070380/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=942784 memory=919328 CPUtime=12.68 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 291367 0 0 0 1231 37 0 0 20 0 1 0 435339839 965410816 229832 33554432000 4194304 6211092 140724813381296 140724813375816 5068955 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 235696 229832 862 493 0 229001 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 942784 KiB
Current children cumulated memory: 919328 KiB

[startup+25.5004 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 32373
/proc/meminfo: memFree=28065740/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=943576 memory=920076 CPUtime=25.49 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 337519 0 0 0 2509 40 0 0 20 0 1 0 435339839 966221824 230019 33554432000 4194304 6211092 140724813381296 140724813378952 5441082 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 235894 230019 862 493 0 229199 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 943576 KiB
Current children cumulated memory: 920076 KiB

[startup+51.1107 s]
/proc/loadavg: 2.46 2.17 2.10 3/199 32373
/proc/meminfo: memFree=28065460/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=943880 memory=920360 CPUtime=51.1 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 397872 0 0 0 5067 43 0 0 20 0 1 0 435339839 966533120 230090 33554432000 4194304 6211092 140724813381296 140724813378776 5480172 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 235970 230090 862 493 0 229275 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 943880 KiB
Current children cumulated memory: 920360 KiB

[startup+102.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/199 32377
/proc/meminfo: memFree=27988076/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1020176 memory=996756 CPUtime=102.29 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 548983 0 0 0 10174 55 0 0 20 0 1 0 435339839 1044660224 249189 33554432000 4194304 6211092 140724813381296 140724813378952 5439610 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 255044 249189 864 493 0 248349 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1020176 KiB
Current children cumulated memory: 996756 KiB

[startup+162.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/199 32383
/proc/meminfo: memFree=27942240/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1065848 memory=1042428 CPUtime=162.29 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 655679 0 0 0 16167 62 0 0 20 0 1 0 435339839 1091428352 260607 33554432000 4194304 6211092 140724813381296 140724813378952 5068955 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 266462 260607 864 493 0 259767 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1065848 KiB
Current children cumulated memory: 1042428 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/199 32387
/proc/meminfo: memFree=27910448/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1097000 memory=1073604 CPUtime=222.27 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 739136 0 0 0 22158 69 0 0 20 0 1 0 435339839 1123328000 268401 33554432000 4194304 6211092 140724813381296 140724813378952 5443112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 274250 268401 864 493 0 267555 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1097000 KiB
Current children cumulated memory: 1073604 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 32391
/proc/meminfo: memFree=27898520/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1109276 memory=1085780 CPUtime=282.27 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 794822 0 0 0 28155 72 0 0 20 0 1 0 435339839 1135898624 271445 33554432000 4194304 6211092 140724813381296 140724813378952 5446279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 277319 271445 864 493 0 270624 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 1109276 KiB
Current children cumulated memory: 1085780 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 32397
/proc/meminfo: memFree=27880820/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1126964 memory=1103564 CPUtime=342.27 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 846252 0 0 0 34152 75 0 0 20 0 1 0 435339839 1154011136 275891 33554432000 4194304 6211092 140724813381296 140724813378952 5164831 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 281741 275891 864 493 0 275046 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 1126964 KiB
Current children cumulated memory: 1103564 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 32401
/proc/meminfo: memFree=27874064/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1134356 memory=1110940 CPUtime=402.26 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 898437 0 0 0 40148 78 0 0 20 0 1 0 435339839 1161580544 277735 33554432000 4194304 6211092 140724813381296 140724813378952 140434673789777 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 283589 277735 864 493 0 276894 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 1134356 KiB
Current children cumulated memory: 1110940 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/201 32414
/proc/meminfo: memFree=27857152/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1150196 memory=1126760 CPUtime=462.26 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 968720 0 0 0 46142 84 0 0 20 0 1 0 435339839 1177800704 281690 33554432000 4194304 6211092 140724813381296 140724813378952 5439825 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 287549 281690 864 493 0 280854 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 1150196 KiB
Current children cumulated memory: 1126760 KiB


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

/proc/32370/statm: 308537 302696 864 493 0 301842 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 1234148 KiB
Current children cumulated memory: 1210784 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32618
/proc/meminfo: memFree=27764716/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1234676 memory=1211280 CPUtime=1782.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1165157 0 0 0 178126 98 0 0 20 0 1 0 435339839 1264308224 302820 33554432000 4194304 6211092 140724813381296 140724813378952 5446158 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 308669 302820 864 493 0 301974 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 1234676 KiB
Current children cumulated memory: 1211280 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32622
/proc/meminfo: memFree=27764272/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1234940 memory=1211480 CPUtime=1842.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1166307 0 0 0 184126 98 0 0 20 0 1 0 435339839 1264578560 302870 33554432000 4194304 6211092 140724813381296 140724813378952 140434673789789 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 308735 302870 864 493 0 302040 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 1234940 KiB
Current children cumulated memory: 1211480 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32626
/proc/meminfo: memFree=27760056/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1239560 memory=1216184 CPUtime=1902.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1169340 0 0 0 190126 98 0 0 20 0 1 0 435339839 1269309440 304046 33554432000 4194304 6211092 140724813381296 140724813378952 5164805 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 309890 304046 864 493 0 303195 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 1239560 KiB
Current children cumulated memory: 1216184 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32632
/proc/meminfo: memFree=27759696/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1240088 memory=1216612 CPUtime=1962.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1171455 0 0 0 196125 99 0 0 20 0 1 0 435339839 1269850112 304153 33554432000 4194304 6211092 140724813381296 140724813378952 140434664770975 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 310022 304153 864 493 0 303327 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 1240088 KiB
Current children cumulated memory: 1216612 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32636
/proc/meminfo: memFree=27759744/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1240088 memory=1216684 CPUtime=2022.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1173289 0 0 0 202125 99 0 0 20 0 1 0 435339839 1269850112 304171 33554432000 4194304 6211092 140724813381296 140724813378952 5443000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 310022 304171 864 493 0 303327 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 1240088 KiB
Current children cumulated memory: 1216684 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32640
/proc/meminfo: memFree=27758812/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1241012 memory=1217512 CPUtime=2082.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1175860 0 0 0 208125 99 0 0 20 0 1 0 435339839 1270796288 304378 33554432000 4194304 6211092 140724813381296 140724813378952 140434664768385 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 310253 304378 864 493 0 303558 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 1241012 KiB
Current children cumulated memory: 1217512 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32646
/proc/meminfo: memFree=27756820/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1243124 memory=1219688 CPUtime=2142.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1177995 0 0 0 214125 99 0 0 20 0 1 0 435339839 1272958976 304922 33554432000 4194304 6211092 140724813381296 140724813378952 5446912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 310781 304922 864 493 0 304086 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 1243124 KiB
Current children cumulated memory: 1219688 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32650
/proc/meminfo: memFree=27756532/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1243520 memory=1220032 CPUtime=2202.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1179274 0 0 0 220125 99 0 0 20 0 1 0 435339839 1273364480 305008 33554432000 4194304 6211092 140724813381296 140724813378952 5441131 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 310880 305008 864 493 0 304185 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 1243520 KiB
Current children cumulated memory: 1220032 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32662
/proc/meminfo: memFree=27753792/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1245632 memory=1222184 CPUtime=2262.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1181401 0 0 0 226124 100 0 0 20 0 1 0 435339839 1275527168 305546 33554432000 4194304 6211092 140724813381296 140724813378952 5451416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 311408 305546 864 493 0 304713 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 1245632 KiB
Current children cumulated memory: 1222184 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32668
/proc/meminfo: memFree=27753836/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1245896 memory=1222504 CPUtime=2322.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1182646 0 0 0 232124 100 0 0 20 0 1 0 435339839 1275797504 305626 33554432000 4194304 6211092 140724813381296 140724813378952 5453914 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 311474 305626 864 493 0 304779 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 1245896 KiB
Current children cumulated memory: 1222504 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32672
/proc/meminfo: memFree=27753540/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1246028 memory=1222568 CPUtime=2382.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1183834 0 0 0 238124 100 0 0 20 0 1 0 435339839 1275932672 305642 33554432000 4194304 6211092 140724813381296 140724813378952 5164967 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 311507 305642 864 493 0 304812 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222568 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32676
/proc/meminfo: memFree=27753872/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1246028 memory=1222576 CPUtime=2442.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1185005 0 0 0 244124 100 0 0 20 0 1 0 435339839 1275932672 305644 33554432000 4194304 6211092 140724813381296 140724813378952 5068955 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 311507 305644 864 493 0 304812 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222576 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32682
/proc/meminfo: memFree=27753432/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1246028 memory=1222580 CPUtime=2502.24 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1186176 0 0 0 250124 100 0 0 20 0 1 0 435339839 1275932672 305645 33554432000 4194304 6211092 140724813381296 140724813378952 5389984 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 311507 305645 864 493 0 304812 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222580 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 32682
/proc/meminfo: memFree=27753420/32770688 swapFree=66919992/67108860
[pid=32370] ppid=32367 vsize=1246028 memory=1222580 CPUtime=2519.95 cores=0-3
/proc/32370/stat : 32370 (cosoco) R 32367 32370 28498 0 -1 4202496 1186400 0 0 0 251895 100 0 0 20 0 1 0 435339839 1275932672 305645 33554432000 4194304 6211092 140724813381296 140724813378952 5443111 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14118912 140724813386763 140724813386865 140724813386865 140724813389774 0
/proc/32370/statm: 311507 305645 864 493 0 304812 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 1246028 KiB
Current children cumulated memory: 1222580 KiB

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

[startup+2520.02 s]
# the end of solver process 32370 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.96 s, system=1.00999 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): 2519.97
CPU user time (s): 2518.96
CPU system time (s): 1.00999
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 1246028
Max. memory (cumulated for all children) (KiB): 1222580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 1.00999
maximum resident set size= 1222644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1186443
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= 76
involuntary context switches= 1549


# summary of solver processes directly reported to runsolver:
#   pid: 32370
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2518.96
#   total CPU system time (s): 1.00999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5705 second user time and 19.9869 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-17 08:42:38
IDJOB=4396934
IDBENCH=138655
IDSOLVER=2848
FILE ID=node120/4396934-1568593335
RUNJOBID= node120-1324087207-28529
PBS_JOBID= 21703329
Free space on /tmp= 61652 MiB

SOLVER NAME= cosoco 2.0
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-4396934-1568593335/watcher-4396934-1568593335 -o /tmp/evaluation-result-4396934-1568593335/solver-4396934-1568593335 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28529 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396934-1568593335.xml

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

MD5SUM BENCH= 2e1a96a215dbee196ad45178247d22f3
RANDOM SEED=843686238

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28983092 kB
MemAvailable:   31827060 kB
Buffers:          195664 kB
Cached:          2952632 kB
SwapCached:        77548 kB
Active:          1341632 kB
Inactive:        1891760 kB
Active(anon):       4456 kB
Inactive(anon):   130244 kB
Active(file):    1337176 kB
Inactive(file):  1761516 kB
Unevictable:      106404 kB
Mlocked:          106404 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:        114912 kB
Mapped:            53532 kB
Shmem:             41008 kB
Slab:             150840 kB
SReclaimable:     122220 kB
SUnreclaim:        28620 kB
KernelStack:        3472 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     545496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61648 MiB
End job on node120 at 2011-12-17 09:24:38