Trace number 4242104

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
R1: cosoco 1.1? (TO) 2400.07 2401.31

General information on the benchmark

NameMagicSquare/MagicSquare-mdd-s1/
MagicSquare-15-mdd.xml
MD5SUMeb9d91ed4b70703bb0e2b52375e1b8aa
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 variables225
Number of constraints33
Number of domains1
Minimum domain size225
Maximum domain size225
Distribution of domain sizes[{"size":225,"count":225}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":196},{"degree":4,"count":28},{"degree":5,"count":1}]
Minimum constraint arity15
Maximum constraint arity225
Distribution of constraint arities[{"arity":15,"count":32},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":32},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

41.88/41.98	c root propagations     : 0           
41.88/41.98	c restarts enabled, print stats at every restarts
41.88/41.98	c
41.88/41.98	c
41.88/41.98	c
41.88/41.98	c This is cosoco 1.0 --  
41.88/41.98	c
41.88/41.98	c ========================================[ Problem Statistics ]===========================================
41.88/41.98	c |                                                                                                       
41.88/41.98	c |  Parse time        :        40.96 s 
41.88/41.98	c |
41.88/41.98	c |               Variables: 225
41.88/41.98	c |            Domain Sizes: 225..225
41.88/41.98	c |
41.88/41.98	c |             Constraints: 33
41.88/41.98	c |                   Arity: 15..225
41.88/41.98	c | 
41.88/41.98	c |                   Types: 
41.88/41.98	c |                          All Different: 1
41.88/41.98	c |                          MDD: 32
41.88/41.98	c |                          
41.88/41.98	c =========================================================================================================
41.88/41.98	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
55.27/55.32	c 101            127            1452           30537          0              0              9   12   10    
69.96/70.04	c 211            264            2994           62212          0              0              8   11   9     
85.14/85.22	c 332            414            4669           96500          0              0              8   11   9     
101.24/101.35	c 465            579            6507           134141         0              0              8   11   9     
117.63/117.75	c 611            760            8447           175342         0              0              8   11   9     
135.81/135.91	c 771            957            10587          217658         0              0              8   11   9     
154.30/154.49	c 947            1173           12853          262831         0              0              8   11   9     
175.79/176.00	c 1140           1410           15420          312992         0              0              8   11   10    
199.28/199.41	c 1352           1668           18216          372193         0              0              8   11   9     
224.27/224.44	c 1585           1951           21245          436103         0              0              8   11   9     
251.45/251.69	c 1841           2261           24558          505451         0              0              8   11   9     
280.94/281.19	c 2122           2601           28169          580176         0              0              8   11   9     
311.92/312.18	c 2431           2975           32045          659808         0              0              8   11   9     
350.10/350.35	c 2770           3385           36579          747347         0              0              8   11   9     
388.58/388.80	c 3142           3834           41334          840377         0              0              8   11   10    
429.76/430.08	c 3551           4326           46486          947415         0              0              8   11   10    
471.03/471.38	c 4000           4866           51875          1064185        0              0              8   11   9     
515.81/516.13	c 4493           5458           57757          1189663        0              0              8   11   9     
565.10/565.50	c 5035           6110           64244          1326543        0              0              8   11   10    
618.66/619.02	c 5631           6825           71326          1480019        0              0              8   11   10    
677.13/677.53	c 6286           7610           79089          1646399        0              0              8   11   10    
746.40/746.84	c 7006           8473           87964          1827133        0              0              8   11   10    
828.06/828.54	c 7798           9421           98087          2028167        0              0              8   11   10    
911.01/911.56	c 8669           10463          108769         2247151        0              0              8   11   10    
1001.96/1002.52	c 9627           11609          120501         2482912        0              0              8   11   10    
1102.51/1103.14	c 10680          12871          133456         2738845        0              0              8   12   10    
1215.65/1216.39	c 11838          14267          147922         3023712        0              0              8   12   10    
1340.89/1341.65	c 13111          15808          163915         3335791        0              0              8   12   10    
1472.62/1473.42	c 14511          17508          181132         3678191        0              0              8   12   10    
1614.35/1615.24	c 16051          19387          199919         4055297        0              0              8   12   10    
1787.46/1788.41	c 17745          21466          221784         4474651        0              0              8   12   10    
1986.46/1987.55	c 19608          23758          246446         4938306        0              0              8   12   10    
2208.15/2209.38	c 21657          26286          273787         5447974        0              0              8   12   10

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242104-1500657790/watcher-4242104-1500657790 -o /tmp/evaluation-result-4242104-1500657790/solver-4242104-1500657790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2485 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242104-1500657790.xml 

pid=3825
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.95 2.02 2.04 2/240 3828
/proc/meminfo: memFree=30990660/32770624 swapFree=5804/1080052
[pid=3828] ppid=3825 vsize=27652 CPUtime=0 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 1124 0 0 0 0 0 0 0 20 0 1 0 1044661 28315648 964 33554432000 4194304 5970956 140729799066160 140729799061448 139874241646085 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 6913 964 714 434 0 277 0

[startup+0.100166 s]
/proc/loadavg: 1.95 2.02 2.04 2/240 3828
/proc/meminfo: memFree=30990660/32770624 swapFree=5804/1080052
[pid=3828] ppid=3825 vsize=29908 CPUtime=0.09 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 2095 0 0 0 9 0 0 0 20 0 1 0 1044661 30625792 1389 33554432000 4194304 5970956 140729799066160 140729799062760 139874232541728 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 7477 1389 715 434 0 841 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29908

[startup+0.200432 s]
/proc/loadavg: 1.95 2.02 2.04 2/240 3828
/proc/meminfo: memFree=30990660/32770624 swapFree=5804/1080052
[pid=3828] ppid=3825 vsize=32212 CPUtime=0.19 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 2368 0 0 0 19 0 0 0 20 0 1 0 1044661 32985088 2110 33554432000 4194304 5970956 140729799066160 140729799062760 5465080 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 8053 2110 715 434 0 1417 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32212

[startup+0.300385 s]
/proc/loadavg: 1.95 2.02 2.04 2/240 3828
/proc/meminfo: memFree=30990660/32770624 swapFree=5804/1080052
[pid=3828] ppid=3825 vsize=36820 CPUtime=0.29 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 2756 0 0 0 29 0 0 0 20 0 1 0 1044661 37703680 2367 33554432000 4194304 5970956 140729799066160 140729799062760 5672966 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 9205 2367 715 434 0 2569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36820

[startup+0.70033 s]
/proc/loadavg: 1.95 2.02 2.04 2/240 3828
/proc/meminfo: memFree=30990660/32770624 swapFree=5804/1080052
[pid=3828] ppid=3825 vsize=46036 CPUtime=0.69 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 3533 0 0 0 68 1 0 0 20 0 1 0 1044661 47140864 4416 33554432000 4194304 5970956 140729799066160 140729799062760 5674688 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 11509 4416 715 434 0 4873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46036

[startup+1.50032 s]
/proc/loadavg: 2.03 2.04 2.05 3/241 3829
/proc/meminfo: memFree=30819492/32770624 swapFree=5804/1227844
[pid=3828] ppid=3825 vsize=64468 CPUtime=1.49 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 4061 0 0 0 148 1 0 0 20 0 1 0 1044661 66015232 7489 33554432000 4194304 5970956 140729799066160 140729799062760 5672396 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 16117 7489 715 434 0 9481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64468

[startup+3.10033 s]
/proc/loadavg: 2.03 2.04 2.05 3/241 3829
/proc/meminfo: memFree=30678420/32770624 swapFree=5804/1341956
[pid=3828] ppid=3825 vsize=101332 CPUtime=3.09 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 5024 0 0 0 307 2 0 0 20 0 1 0 1044661 103763968 14658 33554432000 4194304 5970956 140729799066160 140729799062760 5668312 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 25333 14658 715 434 0 18697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101332

[startup+6.30033 s]
/proc/loadavg: 2.11 2.05 2.05 3/245 3840
/proc/meminfo: memFree=30617228/32770624 swapFree=5804/157412
[pid=3828] ppid=3825 vsize=175060 CPUtime=6.28 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 6034 0 0 0 624 4 0 0 20 0 1 0 1044661 179261440 27971 33554432000 4194304 5970956 140729799066160 140729799062760 5674904 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 43765 27971 715 434 0 37129 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 175060

[startup+12.7003 s]
/proc/loadavg: 2.10 2.05 2.05 3/245 3840
/proc/meminfo: memFree=30317044/32770624 swapFree=5804/157412
[pid=3828] ppid=3825 vsize=644772 CPUtime=12.68 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 12989 0 0 0 1253 15 0 0 20 0 1 0 1044661 660246528 93962 33554432000 4194304 5970956 140729799066160 140729799060712 4958400 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 161193 93962 719 434 0 154557 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 644772

[startup+25.5004 s]
/proc/loadavg: 2.09 2.05 2.05 3/245 3840
/proc/meminfo: memFree=30142368/32770624 swapFree=5804/157412
[pid=3828] ppid=3825 vsize=703080 CPUtime=25.48 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 26522 0 0 0 2531 17 0 0 20 0 1 0 1044661 719953920 107728 33554432000 4194304 5970956 140729799066160 140729799060712 4957684 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 175770 107728 727 434 0 169134 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 703080

[startup+51.1004 s]
/proc/loadavg: 2.12 2.06 2.05 3/245 3840
/proc/meminfo: memFree=30038096/32770624 swapFree=5804/157412
[pid=3828] ppid=3825 vsize=457396 CPUtime=51.07 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 54824 0 0 0 5086 21 0 0 20 0 1 0 1044661 468373504 77084 33554432000 4194304 5970956 140729799066160 140729799063768 4918467 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77084 774 434 0 107713 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 457396

[startup+102.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/245 3841
/proc/meminfo: memFree=29577536/32770624 swapFree=5804/157872
[pid=3828] ppid=3825 vsize=457396 CPUtime=102.24 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 74574 0 0 0 10201 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918467 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 457396

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/245 3843
/proc/meminfo: memFree=27913996/32770624 swapFree=5804/157908
[pid=3828] ppid=3825 vsize=457396 CPUtime=162.2 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 83972 0 0 0 16197 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918515 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 457396

[startup+222.308 s]
/proc/loadavg: 2.04 2.05 2.05 3/245 3844
/proc/meminfo: memFree=27914072/32770624 swapFree=5804/157920
[pid=3828] ppid=3825 vsize=457396 CPUtime=222.17 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 85270 0 0 0 22194 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918467 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 457396

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/245 3845
/proc/meminfo: memFree=27419476/32770624 swapFree=5804/157920
[pid=3828] ppid=3825 vsize=457396 CPUtime=282.14 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 86568 0 0 0 28191 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918515 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 457396

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 3847
/proc/meminfo: memFree=26464124/32770624 swapFree=5804/158000
[pid=3828] ppid=3825 vsize=457396 CPUtime=342.1 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 87849 0 0 0 34187 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918489 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 457396

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 3848
/proc/meminfo: memFree=26362176/32770624 swapFree=5804/158080
[pid=3828] ppid=3825 vsize=457396 CPUtime=402.07 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 89147 0 0 0 40184 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918515 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 457396

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 3856
/proc/meminfo: memFree=24379472/32770624 swapFree=5804/158092
[pid=3828] ppid=3825 vsize=457396 CPUtime=462.04 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 90300 0 0 0 46181 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918467 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 457396

[startup+522.3 s]
/proc/loadavg: 2.31 2.11 2.07 10/261 3891
/proc/meminfo: memFree=23057272/32770624 swapFree=5804/158092
[pid=3828] ppid=3825 vsize=457396 CPUtime=522 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 91598 0 0 0 52177 23 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918562 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 457396

[startup+582.3 s]
/proc/loadavg: 4.56 2.74 2.29 3/243 3924
/proc/meminfo: memFree=31672804/32770624 swapFree=5804/158092
[pid=3828] ppid=3825 vsize=457396 CPUtime=581.98 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 92750 0 0 0 58174 24 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918562 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 457396


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

[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.12 3/242 3947
/proc/meminfo: memFree=31669084/32770624 swapFree=5804/158892
[pid=3828] ppid=3825 vsize=457396 CPUtime=1541.49 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 112613 0 0 0 154125 24 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918489 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 457396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.11 3/243 3949
/proc/meminfo: memFree=31669060/32770624 swapFree=5804/158824
[pid=3828] ppid=3825 vsize=457396 CPUtime=1601.46 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 113748 0 0 0 160121 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 457396

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.10 3/243 3957
/proc/meminfo: memFree=31668908/32770624 swapFree=5804/158860
[pid=3828] ppid=3825 vsize=457396 CPUtime=1661.43 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 115027 0 0 0 166118 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918467 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1661.43
Current children cumulated vsize (KiB) 457396

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.10 3/243 3958
/proc/meminfo: memFree=31669176/32770624 swapFree=5804/158860
[pid=3828] ppid=3825 vsize=457396 CPUtime=1721.4 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 116289 0 0 0 172115 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918651 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1721.4
Current children cumulated vsize (KiB) 457396

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.10 3/243 3959
/proc/meminfo: memFree=31669112/32770624 swapFree=5804/158860
[pid=3828] ppid=3825 vsize=457396 CPUtime=1781.37 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 117551 0 0 0 178112 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918293 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 457396

[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.10 3/243 3960
/proc/meminfo: memFree=31668872/32770624 swapFree=5804/158860
[pid=3828] ppid=3825 vsize=457396 CPUtime=1841.34 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 118830 0 0 0 184109 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918489 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1841.34
Current children cumulated vsize (KiB) 457396

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.09 3/243 3961
/proc/meminfo: memFree=31669460/32770624 swapFree=5804/159048
[pid=3828] ppid=3825 vsize=457396 CPUtime=1901.31 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 120092 0 0 0 190106 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918293 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1901.31
Current children cumulated vsize (KiB) 457396

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.09 3/243 3963
/proc/meminfo: memFree=31670256/32770624 swapFree=5804/159100
[pid=3828] ppid=3825 vsize=457396 CPUtime=1961.28 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 121354 0 0 0 196103 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918562 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 1961.28
Current children cumulated vsize (KiB) 457396

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/243 3964
/proc/meminfo: memFree=31670040/32770624 swapFree=5804/159100
[pid=3828] ppid=3825 vsize=457396 CPUtime=2021.25 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 122633 0 0 0 202100 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918293 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2021.25
Current children cumulated vsize (KiB) 457396

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/243 3965
/proc/meminfo: memFree=31670364/32770624 swapFree=5804/159100
[pid=3828] ppid=3825 vsize=457396 CPUtime=2081.22 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 123895 0 0 0 208097 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918515 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2081.22
Current children cumulated vsize (KiB) 457396

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/243 3967
/proc/meminfo: memFree=31671024/32770624 swapFree=5804/159236
[pid=3828] ppid=3825 vsize=457396 CPUtime=2141.18 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 125157 0 0 0 214093 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918302 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2141.18
Current children cumulated vsize (KiB) 457396

[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.07 3/243 3968
/proc/meminfo: memFree=31669256/32770624 swapFree=5804/159272
[pid=3828] ppid=3825 vsize=457396 CPUtime=2201.16 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 126419 0 0 0 220091 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918562 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2201.16
Current children cumulated vsize (KiB) 457396

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.06 3/243 3976
/proc/meminfo: memFree=31669188/32770624 swapFree=5804/159324
[pid=3828] ppid=3825 vsize=457396 CPUtime=2261.12 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 127698 0 0 0 226087 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918489 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2261.12
Current children cumulated vsize (KiB) 457396

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/243 3999
/proc/meminfo: memFree=31669216/32770624 swapFree=5804/159372
[pid=3828] ppid=3825 vsize=457396 CPUtime=2321.09 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 128960 0 0 0 232084 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918651 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2321.09
Current children cumulated vsize (KiB) 457396

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4000
/proc/meminfo: memFree=31669688/32770624 swapFree=5804/159372
[pid=3828] ppid=3825 vsize=457396 CPUtime=2381.06 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 130222 0 0 0 238081 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918293 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2381.06
Current children cumulated vsize (KiB) 457396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4000
/proc/meminfo: memFree=31669688/32770624 swapFree=5804/159372
[pid=3828] ppid=3825 vsize=457396 CPUtime=2400.06 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 130853 0 0 0 239981 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918293 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 457396

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3828 sig 9
??? kill -3828 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4000
/proc/meminfo: memFree=31669688/32770624 swapFree=5804/159372
[pid=3828] ppid=3825 vsize=457396 CPUtime=2400.06 cores=0-3,8-11
/proc/3828/stat : 3828 (cosoco) R 3825 3828 2454 0 -1 4202496 130853 0 0 0 239981 25 0 0 20 0 1 0 1044661 468373504 77087 33554432000 4194304 5970956 140729799066160 140729799063496 4918293 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23928832 140729799075009 140729799075139 140729799075139 140729799077838 0
/proc/3828/statm: 114349 77087 777 434 0 107713 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 457396

Child status: 1
Real time (s): 2401.31
CPU time (s): 2400.07
CPU user time (s): 2399.81
CPU system time (s): 0.258868
CPU usage (%): 99.9485
Max. virtual memory (cumulated for all children) (KiB): 764892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.81
system time used= 0.258868
maximum resident set size= 481692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130879
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= 28
involuntary context switches= 121875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.18128 second user time and 11.7888 second system time

The end

Launcher Data 

Begin job on node144 at 2017-07-21 19:23:14
IDJOB=4242104
IDBENCH=133263
IDSOLVER=2620
FILE ID=node144/4242104-1500657790
RUNJOBID= node144-1500648174-2485
PBS_JOBID= 20623277
Free space on /tmp= 60992 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-15-mdd.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242104-1500657790/watcher-4242104-1500657790 -o /tmp/evaluation-result-4242104-1500657790/solver-4242104-1500657790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2485 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242104-1500657790.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= eb9d91ed4b70703bb0e2b52375e1b8aa
RANDOM SEED=1265001843

node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30993336 kB
MemAvailable:   31972976 kB
Buffers:           25684 kB
Cached:          1253308 kB
SwapCached:            0 kB
Active:           251076 kB
Inactive:        1085508 kB
Active(anon):      60500 kB
Inactive(anon):     8696 kB
Active(file):     190576 kB
Inactive(file):  1076812 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            563600 kB
Writeback:         80544 kB
AnonPages:         63560 kB
Mapped:            28812 kB
Shmem:              8844 kB
Slab:             133360 kB
SReclaimable:      56176 kB
SUnreclaim:        77184 kB
KernelStack:        4160 kB
PageTables:         4772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61892 MiB
End job on node144 at 2017-07-21 20:03:15