Trace number 4389521

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.99 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-08.xml
MD5SUM79bafde88fa7f495a04ad4879b5697b3
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 benchmark257.025
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1123
Maximum domain size1221
Distribution of domain sizes[{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

4.29/4.38	c root propagations     : 319256      
4.29/4.38	c restarts enabled, print stats at every restarts
4.29/4.38	c
4.29/4.38	c
4.29/4.38	c
4.29/4.38	c This is cosoco 2.00 --  
4.29/4.38	c
4.29/4.38	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389521-1568357938.xml 
4.29/4.38	c ========================================[ Problem Statistics ]===========================================
4.29/4.38	c |                                                                                                       
4.29/4.38	c |  Parse time        :         4.22 s 
4.29/4.38	c |
4.29/4.38	c |               Variables: 450
4.29/4.38	c |            Domain Sizes: 1123..1221
4.29/4.38	c |
4.29/4.38	c |             Constraints: 5580
4.29/4.38	c |                   Arity: 2..2  -- Binary: 5580
4.29/4.38	c | 
4.29/4.38	c |                   Types: 
4.29/4.38	c |                          (X != Y): 225
4.29/4.38	c |                          (X -Y <= k): 630
4.29/4.38	c |                          Intension: 4725
4.29/4.38	c |                          
4.29/4.38	c =========================================================================================================
4.29/4.38	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
11.69/11.76	c 101            142            117229         942005         450            0              10   40   38   
36.68/36.76	c 211            282            409612         2752344        450            0              1   23   20    
55.19/55.25	c 332            559            755377         3259324        450            0              1   22   5     
103.68/103.72	c 465            783            1368520        5631405        450            0              12   35   29   
128.99/129.09	c 611            1125           1903857        6459564        450            0              1   45   26    
164.98/165.03	c 771            1380           2430768        9173867        450            0              8   38   32    
195.68/195.75	c 947            1713           2928758        11487170       450            0              1   26   17    
224.48/224.58	c 1140           2334           3510067        11764903       450            0              2   21   9     
262.18/262.24	c 1352           2630           3942281        13610671       450            0              1   61   49    
303.87/303.93	c 1585           2936           4268609        16564799       450            0              16   55   52   
337.98/338.06	c 1841           3335           4694015        18137290       450            0              1   91   75    
365.87/365.92	c 2122           3859           5306794        20851827       450            0              3   30   26    
407.98/408.10	c 2431           4212           5865345        24286310       450            0              4   37   35    
438.47/438.54	c 2770           4611           6139409        26347570       450            0              1   36   33    
522.26/522.34	c 3142           5039           6775596        31541330       450            0              1   47   44    
693.16/693.21	c 3551           5500           7900657        41939698       450            0              20   28   27   
726.75/726.88	c 4000           6263           8528189        44029643       450            0              3   31   26    
913.16/913.23	c 4493           6849           10420842       57994220       450            0              3   40   32    
971.97/972.05	c 5035           7411           10708111       62817002       450            0              3   15   14    
1102.56/1102.66	c 5631           8076           12987252       72889980       450            0              2   35   34    
1170.97/1171.01	c 6286           8759           13300576       78504611       450            0              3   10   8     
1275.36/1275.40	c 7006           9545           14741836       86751375       450            0              2   36   34    
1482.57/1482.65	c 7798           10974          19736639       92298901       450            0              4   13   8     
1654.98/1655.03	c 8669           11925          21744742       105078905      450            0              2   39   38    
1947.07/1947.12	c 9627           13430          24130265       123403668      450            0              16   38   35   
2100.86/2100.96	c 10680          15266          27059455       133616163      450            0              1   13   7     
2235.07/2235.15	c 11838          16450          27620682       144429113      450            0              3   9   8      
2408.86/2408.98	c 13111          17925          29799131       159495204      450            0              3   36   34    
2519.98/2520.01	
2519.98/2520.01	c *** INTERRUPTED ***
2519.98/2520.01	c restarts              : 28          
2519.98/2520.01	c conflicts             : 13977        (6 /sec)
2519.98/2520.01	c decisions             : 19027        (8 /sec)
2519.98/2520.01	c propagations          : 165542307   (65703 /sec)
2519.98/2520.01	c root propagations     : 319256      
2519.98/2520.01	c filter calls          : 31472080       (12491 /sec)
2519.98/2520.01	c useless filter calls  : 28721756       (91 %)
2519.98/2520.01	c Memory used           : 419.16 MB
2519.98/2520.01	c CPU time              : 2519.56 s
2519.98/2520.01	c real time             : 2520.01 s
2519.98/2520.01	
2519.98/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 (13565 MiB free)
  memory of node 1: 16384 MiB (13563 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389521-1568357938/watcher-4389521-1568357938 -o /tmp/evaluation-result-4389521-1568357938/solver-4389521-1568357938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31074 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389521-1568357938.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
Current StackSize limit: 8192 KiB

solver pid=31095, runsolver pid=31091

[startup+0.100159 s]*
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27770580/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=32144 memory=8376 CPUtime=0.1 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 2286 0 0 0 10 0 0 0 20 0 1 0 411800124 32915456 2094 33554432000 4194304 6210612 140724165930256 140724165926792 140108116544485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 8036 2094 796 493 0 1341 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32144 KiB
Current children cumulated memory: 8376 KiB

[startup+0.210928 s]*
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27769092/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=33152 memory=9068 CPUtime=0.21 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 2482 0 0 0 21 0 0 0 20 0 1 0 411800124 33947648 2267 33554432000 4194304 6210612 140724165930256 140724165926792 5815972 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 8288 2267 796 493 0 1593 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9068 KiB

[startup+0.310373 s]*
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27760856/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=38164 memory=14332 CPUtime=0.31 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 3780 0 0 0 31 0 0 0 20 0 1 0 411800124 39079936 3583 33554432000 4194304 6210612 140724165930256 140724165926792 140108116544485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 9541 3583 815 493 0 2846 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 14332 KiB

[startup+0.700334 s]
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27729032/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=65324 memory=41380 CPUtime=0.68 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 10564 0 0 0 67 1 0 0 20 0 1 0 411800124 66891776 10345 33554432000 4194304 6210612 140724165930256 140724165925352 140108116544485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 16331 10345 815 493 0 9636 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65324 KiB
Current children cumulated memory: 41380 KiB

[startup+1.50033 s]
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27654516/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=123636 memory=99808 CPUtime=1.48 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 25145 0 0 0 144 4 0 0 20 0 1 0 411800124 126603264 24952 33554432000 4194304 6210612 140724165930256 140724165925352 140108116544485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 30909 24952 815 493 0 24214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123636 KiB
Current children cumulated memory: 99808 KiB

[startup+3.11079 s]
/proc/loadavg: 3.85 4.38 4.86 3/199 31105
/proc/meminfo: memFree=27350024/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=241084 memory=217112 CPUtime=3.1 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 54619 0 0 0 300 10 0 0 20 0 1 0 411800124 246870016 54278 33554432000 4194304 6210612 140724165930256 140724165925352 140108116540222 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 60271 54278 815 493 0 53576 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 241084 KiB
Current children cumulated memory: 217112 KiB

[startup+6.30029 s]
/proc/loadavg: 3.85 4.38 4.86 3/199 31105
/proc/meminfo: memFree=27161392/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=332720 memory=309228 CPUtime=6.28 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 96031 0 0 0 614 14 0 0 20 0 1 0 411800124 340705280 77307 33554432000 4194304 6210612 140724165930256 140724165927912 140108126489432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 83180 77307 857 493 0 76485 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 332720 KiB
Current children cumulated memory: 309228 KiB

[startup+12.7003 s]
/proc/loadavg: 3.70 4.34 4.85 3/199 31105
/proc/meminfo: memFree=27142444/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=336680 memory=313276 CPUtime=12.68 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 115128 0 0 0 1253 15 0 0 20 0 1 0 411800124 344760320 78319 33554432000 4194304 6210612 140724165930256 140724165927912 5446115 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 84170 78319 860 493 0 77475 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 336680 KiB
Current children cumulated memory: 313276 KiB

[startup+25.5003 s]
/proc/loadavg: 3.32 4.22 4.80 3/199 31105
/proc/meminfo: memFree=27125936/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=347372 memory=323872 CPUtime=25.48 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 146904 0 0 0 2531 17 0 0 20 0 1 0 411800124 355708928 80968 33554432000 4194304 6210612 140724165930256 140724165927912 5454016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 86843 80968 860 493 0 80148 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 347372 KiB
Current children cumulated memory: 323872 KiB

[startup+51.1109 s]
/proc/loadavg: 2.87 4.04 4.73 3/199 31115
/proc/meminfo: memFree=27103256/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=355688 memory=332224 CPUtime=51.1 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 187864 0 0 0 5090 20 0 0 20 0 1 0 411800124 364224512 83056 33554432000 4194304 6210612 140724165930256 140724165927912 5446066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 88922 83056 860 493 0 82227 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 355688 KiB
Current children cumulated memory: 332224 KiB

[startup+102.3 s]
/proc/loadavg: 2.38 3.73 4.58 3/199 31118
/proc/meminfo: memFree=27075280/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=368228 memory=344756 CPUtime=102.28 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 231864 0 0 0 10207 21 0 0 20 0 1 0 411800124 377065472 86189 33554432000 4194304 6210612 140724165930256 140724165927912 140108117468756 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 92057 86189 860 493 0 85362 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 368228 KiB
Current children cumulated memory: 344756 KiB

[startup+162.3 s]
/proc/loadavg: 2.14 3.41 4.42 3/199 31122
/proc/meminfo: memFree=27045512/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=385520 memory=362016 CPUtime=162.28 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 282886 0 0 0 16203 25 0 0 20 0 1 0 411800124 394772480 90504 33554432000 4194304 6210612 140724165930256 140724165927912 5451458 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 96380 90504 860 493 0 89685 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 385520 KiB
Current children cumulated memory: 362016 KiB

[startup+222.3 s]
/proc/loadavg: 2.05 3.16 4.27 3/199 31128
/proc/meminfo: memFree=27029212/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=395420 memory=371924 CPUtime=222.28 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 326300 0 0 0 22200 28 0 0 20 0 1 0 411800124 404910080 92981 33554432000 4194304 6210612 140724165930256 140724165927912 140108117465012 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 98855 92981 860 493 0 92160 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 395420 KiB
Current children cumulated memory: 371924 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.95 4.13 3/199 31132
/proc/meminfo: memFree=27017868/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=402416 memory=378912 CPUtime=282.27 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 386839 0 0 0 28197 30 0 0 20 0 1 0 411800124 412073984 94728 33554432000 4194304 6210612 140724165930256 140724165927912 5452063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 100604 94728 860 493 0 93909 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 402416 KiB
Current children cumulated memory: 378912 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.77 3.99 3/199 31137
/proc/meminfo: memFree=27003576/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=407036 memory=383584 CPUtime=342.27 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 433660 0 0 0 34194 33 0 0 20 0 1 0 411800124 416804864 95896 33554432000 4194304 6210612 140724165930256 140724165927912 5442943 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 101759 95896 860 493 0 95064 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 407036 KiB
Current children cumulated memory: 383584 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.63 3.87 3/199 31143
/proc/meminfo: memFree=26995980/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=409412 memory=385900 CPUtime=402.27 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 470382 0 0 0 40191 36 0 0 20 0 1 0 411800124 419237888 96475 33554432000 4194304 6210612 140724165930256 140724165927912 140108126489487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 102353 96475 860 493 0 95658 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 409412 KiB
Current children cumulated memory: 385900 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.52 3.75 3/199 31147
/proc/meminfo: memFree=26987896/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=413504 memory=390028 CPUtime=462.27 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 510564 0 0 0 46189 38 0 0 20 0 1 0 411800124 423428096 97507 33554432000 4194304 6210612 140724165930256 140724165927912 5442807 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 103376 97507 860 493 0 96681 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 413504 KiB
Current children cumulated memory: 390028 KiB


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

/proc/31095/statm: 106280 100406 860 493 0 99585 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 425120 KiB
Current children cumulated memory: 401624 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.45 3/199 31264
/proc/meminfo: memFree=26951408/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=425120 memory=401660 CPUtime=1782.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 553922 0 0 0 178185 41 0 0 20 0 1 0 411800124 435322880 100415 33554432000 4194304 6210612 140724165930256 140724165927912 5164482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 106280 100415 860 493 0 99585 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 425120 KiB
Current children cumulated memory: 401660 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.42 3/200 31278
/proc/meminfo: memFree=26951732/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=425120 memory=401708 CPUtime=1842.27 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 554381 0 0 0 184186 41 0 0 20 0 1 0 411800124 435322880 100427 33554432000 4194304 6210612 140724165930256 140724165927912 5389866 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 106280 100427 860 493 0 99585 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 425120 KiB
Current children cumulated memory: 401708 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.39 3/200 31282
/proc/meminfo: memFree=26951040/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=426440 memory=402972 CPUtime=1902.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 555591 0 0 0 190185 41 0 0 20 0 1 0 411800124 436674560 100743 33554432000 4194304 6210612 140724165930256 140724165927912 5439668 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 106610 100743 860 493 0 99915 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 426440 KiB
Current children cumulated memory: 402972 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.37 3/200 31286
/proc/meminfo: memFree=26948008/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=427232 memory=403760 CPUtime=1962.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 556699 0 0 0 196185 41 0 0 20 0 1 0 411800124 437485568 100940 33554432000 4194304 6210612 140724165930256 140724165927912 5480096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 106808 100940 860 493 0 100113 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 427232 KiB
Current children cumulated memory: 403760 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.35 3/200 31292
/proc/meminfo: memFree=26947076/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=427892 memory=404412 CPUtime=2022.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 557961 0 0 0 202185 41 0 0 20 0 1 0 411800124 438161408 101103 33554432000 4194304 6210612 140724165930256 140724165927912 5452047 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 106973 101103 860 493 0 100278 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 427892 KiB
Current children cumulated memory: 404412 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.32 3/200 31296
/proc/meminfo: memFree=26946528/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428024 memory=404516 CPUtime=2082.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 559113 0 0 0 208185 41 0 0 20 0 1 0 411800124 438296576 101129 33554432000 4194304 6210612 140724165930256 140724165927912 5451412 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107006 101129 860 493 0 100311 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404516 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.30 3/199 31301
/proc/meminfo: memFree=26946748/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428024 memory=404624 CPUtime=2142.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 559713 0 0 0 214185 41 0 0 20 0 1 0 411800124 438296576 101156 33554432000 4194304 6210612 140724165930256 140724165928216 5442909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107006 101156 860 493 0 100311 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404624 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/199 31307
/proc/meminfo: memFree=26946100/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428024 memory=404624 CPUtime=2202.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 560239 0 0 0 220185 41 0 0 20 0 1 0 411800124 438296576 101156 33554432000 4194304 6210612 140724165930256 140724165928216 5476729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107006 101156 860 493 0 100311 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404624 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.27 3/199 31311
/proc/meminfo: memFree=26945452/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428156 memory=404628 CPUtime=2262.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 560809 0 0 0 226185 41 0 0 20 0 1 0 411800124 438431744 101157 33554432000 4194304 6210612 140724165930256 140724165927912 5068693 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107039 101157 860 493 0 100344 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404628 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/199 31316
/proc/meminfo: memFree=26945420/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428156 memory=404688 CPUtime=2322.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 561435 0 0 0 232185 41 0 0 20 0 1 0 411800124 438431744 101172 33554432000 4194304 6210612 140724165930256 140724165927912 5452063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107039 101172 860 493 0 100344 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404688 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/199 31322
/proc/meminfo: memFree=26945520/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428156 memory=404704 CPUtime=2382.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 561960 0 0 0 238185 41 0 0 20 0 1 0 411800124 438431744 101176 33554432000 4194304 6210612 140724165930256 140724165927912 5480012 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107039 101176 860 493 0 100344 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 428156 KiB
Current children cumulated memory: 404704 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/200 31334
/proc/meminfo: memFree=26943988/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=428948 memory=405508 CPUtime=2442.26 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 562828 0 0 0 244185 41 0 0 20 0 1 0 411800124 439242752 101377 33554432000 4194304 6210612 140724165930256 140724165927912 5446070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107237 101377 860 493 0 100542 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 428948 KiB
Current children cumulated memory: 405508 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/201 31361
/proc/meminfo: memFree=26943416/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=429212 memory=405712 CPUtime=2502.27 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 563585 0 0 0 250185 42 0 0 20 0 1 0 411800124 439513088 101428 33554432000 4194304 6210612 140724165930256 140724165927912 5476727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107303 101428 860 493 0 100608 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 429212 KiB
Current children cumulated memory: 405712 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.20 3/201 31364
/proc/meminfo: memFree=26943192/32770688 swapFree=66919992/67108860
[pid=31095] ppid=31091 vsize=429212 memory=405820 CPUtime=2519.98 cores=0-3
/proc/31095/stat : 31095 (cosoco) R 31091 31095 31043 0 -1 4202496 563979 0 0 0 251956 42 0 0 20 0 1 0 411800124 439513088 101455 33554432000 4194304 6210612 140724165930256 140724165927912 5164448 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 17543168 140724165936139 140724165936241 140724165936241 140724165939150 0
/proc/31095/statm: 107303 101455 860 493 0 100608 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 429212 KiB
Current children cumulated memory: 405820 KiB

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

[startup+2520.01 s]
# the end of solver process 31095 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.56 s, system=0.423999 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.99
CPU user time (s): 2519.56
CPU system time (s): 0.423999
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 429212
Max. memory (cumulated for all children) (KiB): 405820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.423999
maximum resident set size= 405896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564022
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= 38
involuntary context switches= 1404


# summary of solver processes directly reported to runsolver:
#   pid: 31095
#   total CPU time (s): 2519.99
#   total CPU user time (s): 2519.56
#   total CPU system time (s): 0.423999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7006 second user time and 19.617 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-14 15:19:21
IDJOB=4389521
IDBENCH=138477
IDSOLVER=2829
FILE ID=node120/4389521-1568357938
RUNJOBID= node120-1323872360-31074
PBS_JOBID= 21701193
Free space on /tmp= 59152 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-08.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389521-1568357938/watcher-4389521-1568357938 -o /tmp/evaluation-result-4389521-1568357938/solver-4389521-1568357938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31074 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389521-1568357938.xml

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

MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3
RANDOM SEED=917022084

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:        27783772 kB
MemAvailable:   31818228 kB
Buffers:          167380 kB
Cached:          4160560 kB
SwapCached:        77548 kB
Active:          1247804 kB
Inactive:        3161428 kB
Active(anon):       3940 kB
Inactive(anon):   127220 kB
Active(file):    1243864 kB
Inactive(file):  3034208 kB
Unevictable:      108232 kB
Mlocked:          108232 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:        112456 kB
Mapped:            47104 kB
Shmem:             41008 kB
Slab:             173592 kB
SReclaimable:     144440 kB
SUnreclaim:        29152 kB
KernelStack:        3280 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     519376 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= 59148 MiB
End job on node120 at 2011-12-14 16:01:21